Stephen Cole Kleene
Kleene [kliːn], Stephen Cole, amerikanischer Mathematiker und Logiker, * Hartford (Connecticut) 5. 1. 1909, † Madison (Wisconsin) 25. 1. 1994;
Professor in Amherst (Massachusetts) und an der Universität von Wisconsin; wichtige Beiträge zur Rekursionstheorie, zur Automatentheorie und zu anderen Gebieten der mathematischen Grundlagenforschung. Seine Lehrbücher »Introduction to metamathematics« (1952) und »Mathematical logic« (1967) fanden weite Verbreitung.
Informationen zum Artikel
Quellenangabe