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.
Snelle feiten Algemene informatie, Land ...
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 |
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/universiteit |
Princeton-universiteit, Amherst College |
Promotor |
Alonzo Church |
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. |
Sluiten