Die mathematische Logik erreichte 1951 einen großen Wendepunkt, als Stephen Cole Kleene die Operationen endlicher Automaten beschrieb und damit eine grundlegende Brücke zwischen neuronalen Netzen und digitaler Berechnung schlug. Diese Entwicklung erfolgte parallel zu seiner lebenslangen Erforschung der rekursiven Funktionstheorie, wodurch er zu einer zentralen Figur bei der Entstehung der theoretischen Informatik im zwanzigsten Jahrhundert wurde.
Akademischer Werdegang
Kleene wurde 1909 in Hartford geboren und absolvierte sein Frühstudium am Amherst College, wo er 1930 seinen Abschluss machte. Für seine Promotion wechselte er an die Princeton University und schloss sein Studium 1934 unter der Betreuung von Alonzo Church ab. Seine Dissertation A Theory of Positive Integers in Formal Logic markierte den Beginn einer produktiven Phase mit Schwerpunkt auf dem Lambda-Kalkül. Während dieser prägenden Jahre trat er 1935 der University of Wisconsin–Madison bei, einer Institution, an der der Großteil seiner akademischen Karriere stattfinden sollte.
Grundlagen der Berechenbarkeit
Kleene wird die Formalisierung der Rekursionstheorie zugeschrieben, einem Gebiet, das die Untersuchung berechenbarer Funktionen begründet. Während der 1930er und 1940er Jahre verfasste er grundlegende Beweise, darunter den Rekursionssatz und den NormalformSatz. Diese Beiträge ermöglichten eine präzise mathematische Beschreibung von Rechenprozessen. Seine Arbeit in den späten 1940er und 1950er Jahren dehnte sich auf die arithmetischen und hyperarithmetischen Hierarchien aus, während sein Memorandum von 1951 für die RAND Corporation reguläre Ausdrücke einführte, um Ereignisse in endlichen Automaten zu kategorisieren.
Dienst und Intuitionismus
Während des Zweiten Weltkriegs diente Kleene in der Reserve der United States Navy und stieg zwischen 1942 und 1946 zum Lieutenant Commander auf. Nach seiner Rückkehr ins zivile Leben an der University of Wisconsin–Madison verband er administrative Aufgaben als Abteilungsvorsitzender und Dekan des College of Letters and Science mit seiner Forschung zur intuitionistischen Mathematik. Seine Texte, insbesondere die gemeinsam mit Richard Vesley verfassten, etablierten einen amerikanischen Standard für die Interpretation intuitionistischer Aussagen durch rekursive Realisierbarkeit.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berumtes Erbe
Kleene trat 1979 von seiner Position als Cyrus C. MacDuffee Professor für Mathematik zurück. Über vier Jahrzehnte hinweg betreute er 13 Doktoranden und prägte Generationen durch Lehrbücher, die die Gödelsche Unvollständigkeitssätze verdeutlichten. Zu seiner professionellen Führung gehörten Amtszeiten als Präsident der Association for Symbolic Logic und der International Union of History and Philosophy of Science. 1900 erhielt er für seine Leistungen die National Medal of Science.
Steckbrief
- Geboren: 1909, Hartford - Gestorben: 1994, Madison - Ausbildung: Amherst College, Princeton University - Wichtiger militärischer Dienstgrad: Lieutenant Commander - Hauptfachgebiet: Theoretische Informatik - Wichtigste Auszeichnung: National Medal of Science (1990) - Professionelle Mitgliedschaft: National Academy of Sciences
Fragen von Lesern
### Was ist der Kleene-Stern?
Es handelt sich um eine mathematische Operation, auch bekannt als Kleene-Hülle, die nach ihm aufgrund ihrer Rolle in der formalen Sprachtheorie und der theoretischen Informatik benannt wurde.
### Hat Kleene zur Erforschung neuronaler Netze beigetragen?
Ja, 1951 entwickelte er eine Methode zur Charakterisierung von Ereignissen, die von endlichen Automaten akzeptiert werden, und wandte sie auf das Studium der McCulloch-Pitts-neuronalen Netze an.
