Stephen Cole Kleene
aus Wikipedia, der freien Enzyklopädie
Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der Automatentheorie (siehe zum Beispiel Kleenesche Hülle, Lambda-Kalkül, Fixpunktsatz von Kleene).
Kleene erlangte 1934 unter der Anleitung von Alonzo Church seinen Doktortitel in Mathematik an der Princeton University. 1983 erhielt er den Leroy P. Steele Prize der American Mathematical Society.
| Personendaten | |
|---|---|
| NAME | Kleene, Stephen Cole |
| KURZBESCHREIBUNG | US-amerikanischer Mathematiker und Logiker |
| GEBURTSDATUM | 5. Januar 1909 |
| GEBURTSORT | Hartford, Connecticut |
| STERBEDATUM | 25. Januar 1994 |
| STERBEORT | Madison, Wisconsin |
