Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

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.

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