Stephen Cole Kleene

Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein 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).

Kleene machte 1934 unter der Anleitung von Alonzo Church seinen Doktortitel für Mathematik an der Princeton University.

See also: Stephen Cole Kleene, 1909, 1934, 1994, 25. Januar, 5. Januar, Alonzo Church, Automatentheorie, Connecticut