Sari la conținut

Stephen Cole Kleene

De la Wikipedia, enciclopedia liberă
Stephen Cole Kleene
Stephen Cole Kleene
Date personale
Nume la naștereStephen Cole Kleene Modificați la Wikidata
Născut[1][2][3][4] Modificați la Wikidata
Hartford, SUA[5][6] Modificați la Wikidata
Decedat (85 de ani)[1][2][3][4] Modificați la Wikidata
Madison, SUA[7] Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațiematematician
informatician
filozof
profesor universitar
logician[*][[logician (person specializing in formal logic)|​]] Modificați la Wikidata
Limbi vorbiteengleză[8][9] Modificați la Wikidata
Activitate
Domeniuinformatică teoretică[*]​
teoria calculabilității  Modificați la Wikidata
InstituțieUniversity of Wisconsin–Madison[10]
Universitatea Princeton[10]
Amherst College[10]
Marina Statelor Unite[10]
University of Wisconsin–Madison[10]  Modificați la Wikidata
Alma MaterUniversitatea Princeton[10]
Amherst College[10]  Modificați la Wikidata
OrganizațiiAcademia Națională de Științe a Statelor Unite ale Americii[*]​
Academia Americană de Arte și Științe[*]​  Modificați la Wikidata
Conducător de doctoratAlonzo Church[11]  Modificați la Wikidata
DoctoranziYiannis N. Moschovakis[*][[Yiannis N. Moschovakis (Greek-American logician)|​]][12]
Robert Lee Constable[*]​[12]
Joan Moschovakis[*]​[12]
J. W. Addison[*][[J. W. Addison (Ph.D. University of Wisconsin-Madison 1955)|​]][12]
Dick de Jongh[*]​[12]
Nels David Nelson[*]​[12]
Douglas Clarke[*]​[12]
Gene Fuerst Rose[*]​[12]
Clifford Spector[*]​[12]
Paul Axt[*]​[12]
...încă 3  Modificați la Wikidata
Cunoscut pentruKleene–Brouwer order[*][[Kleene–Brouwer order (Mathematical theory)|​]]
Kleene–Rosser paradox[*][[Kleene–Rosser paradox |​]]
Kleene's O[*][[Kleene's O |​]]
Church–Kleene ordinal[*][[Church–Kleene ordinal (the order type of the set of all recursive ordinals)|​]]
Kleene's recursion theorem[*][[Kleene's recursion theorem (Theorem in computability theory)|​]]
Kleene's T predicate[*][[Kleene's T predicate (concept in computability theory)|​]]
Kleene's theorem[*][[Kleene's theorem (theorem)|​]]
Kleene's algorithm[*][[Kleene's algorithm (Algorithm in theoretical computer science)|​]]
Kleene algebra[*][[Kleene algebra (idempotent semiring endowed with a closure operator)|​]]
închidere Kleene
Kleene fixed-point theorem[*][[Kleene fixed-point theorem (Theorem in order theory)|​]]
calculul lambda[*]​
The foundations of intuitionistic mathematics[*][[The foundations of intuitionistic mathematics |​]]  Modificați la Wikidata
PremiiBursă Guggenheim[*]​ ()[13]
Medalia Națională pentru Știință a Statelor Unite[*]​ ()[10]
Premio Leroy Steele[*][[Premio Leroy Steele (award conferred by the American Mathematical Society)|​]] ()[10][14]  Modificați la Wikidata
Modifică date / text Consultați documentația formatului

Stephen Cole Kleene (pronunțat /ˈkliːniː/; n. , Hartford, SUA – d. , Madison, SUA) a fost un matematician american, elev al lui Alonzo Church, cunoscut, împreună cu Alan Turing, Emil Leon Post și alții, ca fondator al ramurii logicii matematice care poartă numele teoria calculabilității, care ulterior a stat la baza informaticii teoretice. Opera lui Kleene a reprezentat fundamentul studiului chestiunii care funcții sunt calculabile. După el sunt denumite mai multe concepte matematice: ierarhia Kleene⁠(d), algebră Kleene⁠(d), Kleene star (închiderea Kleene), teorema de recursie Kleene⁠(d) și teorema Kleene a punctului fix⁠(d). El a inventat expresiile regulate, și a avut contribuții semnificative la bazele intuiționismului matematic⁠(d).

Deși numele lui de familie este frecvent pronunțat /ˈkliːniː/ sau /ˈkliːn/, Kleene însuși își pronunța numele /ˈkleɪniː/.[15] Fiul său, Ken Kleene, scria: „din câte știu, această pronunție este incorectă în toate limbile cunoscute. Cred că această pronunție nouă fost inventată de tatăl meu.” [16]

Biografie

[modificare | modificare sursă]

Kleene și-a obținut diploma de licență la Amherst College, în 1930. Apoi a obținut un doctorat în matematică la Universitatea Princeton în anul 1934. Teza, intitulată O teorie a numerelor întregi pozitive în logica formală, a fost elaborată sub supravegherea lui Alonzo Church. În 1930, el a efectuat lucrări importante în calculul lambda⁠(d) al lui Church. În 1935, s-a alăturat catedrei de matematică de la Universitatea din Wisconsin–Madison, unde și-a petrecut aproape toată cariera. După doi ani ca instructor, a fost numit profesor asistent în 1937.

În timp ce era profesor vizitator la Institute for Advanced Study de la Princeton, în 1939-40, el a pus bazele teoriei recursivității, domeniu a cărei cercetări avea să-i capteze interesul toată viața. În 1941, el a revenit la Amherst College, unde a petrecut un an ca profesor de matematică.

În timpul celui de al Doilea Război Mondial, Kleene a fost locotenent-comandor în Marina Statelor Unite. El a fost instructor de navigație la U. S. Naval Reserve Midshipmen School din New York, și apoi director de proiect la Naval Research Laboratory din Washington, D.C.

În 1946, Kleene a revenit în Wisconsin, devenind profesor titular în 1948 și profesor de matematică Cyrus C. MacDuffee în 1964. El a fost președinte al Catedrei de Matematică și Informatică, 1962-63, și decanul al Facultății de Litere și Științe din 1969 până în 1974. El a primit acestă din urmă numire în ciuda considerabilei agitații studențești din acea vreme, cauzată de Războiul din Vietnam. S-a pensionat de la Universitatea din Wisconsin în 1979. În 1999, biblioteca de matematică de la Universitatea din Wisconsin a fost botezată în onoarea lui.[17]

Activitatea de predare a lui Kleene din Wisconsin a condus la elaborarea a trei texte de logica matematică, Kleene (1952, 1967) și Kleene și Vesley (1965), adesea citate și încă reeditate. Kleene (1952) a scris demonstrații alternative la teoremele de incompletitudine ale lui Gödel⁠(d), demonstrații care le-au consolidat acestora statutul canonic și le-au făcut mai ușor de predat și de înțeles. Kleene și Vesley (1965) este un manual clasic de introducere în logica intuiționistă⁠(d) și matematică⁠(d) în Statele Unite.

Kleene a fost președinte al Association for Symbolic Logic, 1956-58, și al Uniunii Internaționale de Istoria și Filosofia Științei,[18] 1961. În 1990, el a fost distins cu Medalia Națională de Știință⁠(d).

Kleene și soția lui, Nancy Elliott, au avut patru copii. El a fost devotat toată viața fermei din Maine a familiei. Alpinist pasionat, avea un interes puternic pentru natură și mediu⁠(d), și a activat în folosul mai multor mișcări pentru conservarea mediului⁠(d).

Publicații importante

[modificare | modificare sursă]

Referințe

[modificare | modificare sursă]
  1. 1 2 „Stephen Cole Kleene”. MacTutor History of Mathematics archive. Wikidata Q547473. Accesat în .
  2. 1 2 Andrew Bell. „Stephen Cole Kleene” (în engleză). Ilustrator: Andrew Bell. Enciclopedia Britannica Online[*]. OCLC 71783328. OL 15859174W. Wikidata Q5375741. Accesat în .
  3. 1 2 „Stephen Cole Kleene” (în engleză). SNAC. Wikidata Q29861311. Accesat în .
  4. 1 2 „Muzeul Solomon R. Guggenheim”. Wikidata Q201469. Accesat în .
  5. ↑ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
  6. ↑ Otto Schmidt; Serghei Ivanovici Vavilov; Boris Vvedensky; Alexandr Mihailovici Prohorov, ed. (), Клини Стивен Коул (în rusă) (ed. 3), Moscova: Marea Enciclopedie Rusă, OCLC 14476314, Wikidata Q17378135
  7. ↑ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
  8. ↑ „Stephen Cole Kleene” (în franceză). idRef[*]. Wikidata Q47757534. Accesat în .
  9. ↑ „Stephen Cole Kleene”. CONOR.SI[*]. Wikidata Q16744133.
  10. 1 2 3 4 5 6 7 8 9 „Stephen Cole Kleene”. MacTutor History of Mathematics archive. Wikidata Q547473.
  11. ↑ „Stephen Cole Kleene” (în engleză). Genealogia matematicienilor. Wikidata Q829984. Accesat în .
  12. 1 2 3 4 5 6 7 8 9 10 „Stephen Cole Kleene” (în engleză). Genealogia matematicienilor. Wikidata Q829984.
  13. ↑ „Stephen Cole Kleene”. Guggenheim Fellows database[*].
  14. ↑ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28. Lipsește sau este vid: |title= (ajutor)
  15. ↑ Pace, Eric (). „Stephen C. Kleene Is Dead at 85; Was Leader in Computer Science”. The New York Times.
  16. ↑ În articolul „Stephen Kleene” la Dicționarul Online Gratuit de Calculatoare.
  17. ↑ „About S.C. Kleene”. University of Wisconsin—Madison Libraries. Accesat în .
  18. ↑ IUHPS-ul Arhivat în , la Wayback Machine.; de asemenea, cunoscut sub numele de "Uniunea Internațională de Istoria și Filosofia Științei".
  19. ↑ „WorldCat: editions for 'Introduction to metamathematics.'”. Accesat în .
  20. ↑ Bishop, Errett (). „Review: The foundations of intuitionistic mathematics, by Stephen Cole Kleene and Richard Eugene Vesley”. Bull. Amer. Math. Soc. 71 (6): 850–852. doi:10.1090/s0002-9904-1965-11412-4. Arhivat din original la . Accesat în . Mai multe valori specificate pentru |DOI= și |doi= (ajutor)
Adus de la https://ro.wikipedia.org/w/index.php?title=Stephen_Cole_Kleene&oldid=17767572