Stephen Cole Kleene
Stephen Cole Kleene | ||
---|---|---|
![]() | ||
Algemene informatie | ||
Land | Verenigde Staten van Amerika | |
Geboortenaam | Stephen Cole Kleene | |
Geboortedatum | 5 januari 1909 | |
Geboorteplaats | Hartford | |
Overlijdensdatum | 25 januari 1994 | |
Overlijdensplaats | Madison | |
Werk | ||
Beroep | wiskundige, informaticus, filosoof, academisch docent | |
Werkveld | theoretische informatica, theorie van de berekeningen | |
Werkgever(s) | Universiteit van Wisconsin-Madison, Princeton-universiteit, Amherst College, United States Navy, Universiteit van Wisconsin-Madison | |
Bekende werken | Kleene–Brouwer order, Kleene–Rosser paradox, Kleene's O, Church–Kleene ordinal, Kleene's recursion theorem, Kleene's T predicate, Kleene's theorem, Kleene's algorithm, Kleene algebra, Kleene-ster, Kleene fixed-point theorem, lambdacalculus, The foundations of intuitionistic mathematics | |
Promovendi | Yiannis N. Moschovakis, Robert Lee Constable, Joan Moschovakis, John West Addison, Jr., Dick de Jongh, Nels David Nelson, Douglas Clarke, Gene Fuerst Rose, Clifford Spector, Paul Axt, Richard Vesley, Shih-Chao Liu, David Philip Kierstead | |
Studie | ||
School/ | Princeton-universiteit, Amherst College | |
Promotor | Alonzo Church | |
Kunst | ||
Stroming | intuïtionisme | |
Militair | ||
Rang | lieutenant commander | |
Legeronderdeel | United States Navy | |
Conflict | Tweede Wereldoorlog | |
Persoonlijk | ||
Talen | Engels | |
Diversen | ||
Lid van | National Academy of Sciences, American Academy of Arts and Sciences | |
Prijzen en onderscheidingen | Guggenheim Fellowship (1949), National Medal of Science (1990),[1] Steele Prijs (1983)[1][2] | |
De informatie in deze infobox is afkomstig van Wikidata. U kunt die informatie hier bewerken. |
Stephen Cole Kleene (Hatford, 5 januari 1909 – Madison, 25 januari 1994) was een Amerikaans wiskundige en theoretisch informaticus. Hij was een student van Alonzo Church en was een van de eersten die zich bezighield met berekenbaarheidstheorie. Hij bedacht reguliere expressies. Verschillende concepten binnen de theoretische informatica zijn naar hem genoemd, zoals de Kleene-ster.
Biografie
Kleene werd geboren in Hatford, Connecticut in 1909. Zijn vader, Gustav Adolph Kleene, was hoogleraar in de economie op de plaatselijke universiteit. Zijn moeder, Alice Lena Cole, was dichteres en toneelschrijfster.
In 1930 behaalde Kleene summa cum laude zijn bachelor-graad in wijsbegeerte en wiskunde aan Amherst College. Op voorspraak van Oswald Veblen verhuisde hij daarna naar de Princeton-universiteit, waar hij in 1934 promoveerde onder Alonzo Church, met een proefschrift getiteld A Theory of Positive Integers in Formal Logic. In 1935 kreeg hij een baan op de Universiteit van Wisconsin-Madison. Toen hij in 1941 een promotie misliep, vertrok hij en werd hij hoofddocent in Amherst. Van 1942 tot 1946 had hij onderwijs- en onderzoekstaken bij de Amerikaanse marine, maar daarna keerde hij terug bij de Universiteit van Wisconsin-Madison, waar tot zijn pensioen in 1979 bleef werken.
In 1942 trouwde hij met zijn vrouw Nancy, met wie hij vier kinderen kreeg. In 1970 stierf zijn vrouw, maar hij hertrouwde in 1978. In 1994 stierf hij op 85-jarige leeftijd aan een longontsteking.
Onderzoek
Kleene deed onderzoek naar de theorie van formele talen en algoritmen en naar recursietheorie, een discipline waarvan hij met Alonzo Church, Alan Turing en Kurt Gödel de grondslagen ontwikkelde. Bovendien was hij zeer geïnteresseerd in het intuïtionisme, een wiskundige grondslagenstroming ontwikkeld door L.E.J. Brouwer. Hij was een belangrijke Amerikaanse aanhanger van deze theorie.
Externe links
- (en) Stephen Cole Kleene op www-history.mcs.st-andrews.ac.uk
- (en) Interview met Stephen C. Kleene en J. Barkley Rosser over hun tijd in Princeton
- ↑ a b MacTutor History of Mathematics archive.
- ↑ https://www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28.