Stephen Cole Kleene- Stephen Cole Kleene

Stephen Kleene
Kleene.jpg
Geboren ( 1909-01-05 )5. Januar 1909
Ist gestorben 25. Januar 1994 (1994-01-25)(85 Jahre)
Staatsangehörigkeit amerikanisch
Alma Mater Amherst College
Princeton University
Bekannt für
Auszeichnungen Leroy P. Steele-Preis (1983)
National Medal of Science (1990)
Wissenschaftlicher Werdegang
Felder Mathematik
Institutionen Universität von Wisconsin-Madison
Doktoratsberater Alonzo-Kirche
Doktoranden Robert Constable
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Dick de Jongh

Stephen Cole Kleene ( / k l n i / KLAY -nee , 5. Januar 1909 - 25. Januar 1994) war ein amerikanischer Mathematiker . Einer der Schüler der Alonzo-Kirche , Kleene, ist zusammen mit Rózsa Péter , Alan Turing , Emil Post und anderen am besten als Begründer des Zweiges der mathematischen Logik bekannt, der als Rekursionstheorie bekannt ist , der später dazu beitrug, die Grundlagen der theoretischen Informatik . Kleenes Arbeit begründet das Studium berechenbarer Funktionen . Eine Reihe mathematischer Konzepte sind nach ihm benannt: Kleene-Hierarchie , Kleene-Algebra , der Kleene-Stern (Kleene-Abschluss), Kleenes Rekursionssatz und der Kleene-Fixpunktsatz . Er erfand 1951 auch reguläre Ausdrücke , um McCulloch-Pitts neuronale Netze zu beschreiben , und leistete bedeutende Beiträge zu den Grundlagen des mathematischen Intuitionismus .

Biografie

Kleene erhielt 1930 den BA-Abschluss vom Amherst College . Er erhielt den Ph.D. in Mathematik von der Princeton University im Jahr 1934, wo seine Dissertation mit dem Titel A Theory of Positive Integers in Formal Logic von Alonzo Church betreut wurde . In den 1930er Jahren arbeitete er an der Lambda-Rechnung von Church . Im Jahr 1935 trat er der Fakultät für Mathematik an der University of Wisconsin-Madison bei , wo er fast seine gesamte Karriere verbrachte. Nach zwei Jahren als Dozent wurde er 1937 zum Assistenzprofessor berufen.

Als Gastwissenschaftler am Institute for Advanced Study in Princeton, 1939-1940, legte er den Grundstein für die Rekursionstheorie , ein Gebiet, das sein lebenslanges Forschungsinteresse sein sollte. 1941 kehrte er an das Amherst College zurück, wo er ein Jahr als außerordentlicher Professor für Mathematik verbrachte.

Während des Zweiten Weltkriegs war Kleene Leutnant Commander in der United States Navy . Er war Navigationslehrer an der Midshipmen's School der US Naval Reserve in New York und dann Projektleiter am Naval Research Laboratory in Washington, DC

1946 kehrte Kleene an die University of Wisconsin-Madison zurück und wurde 1948 zum ordentlichen Professor und 1964 zum Cyrus C. MacDuffee Professor für Mathematik ernannt das Institut für Numerische Analysis (später in Institut für Informatik umbenannt). Von 1969 bis 1974 war er Dekan des College of Letters and Science. Während seiner Jahre an der University of Wisconsin war er Doktorvater von 13 Ph.D. Studenten. 1979 ging er von der University of Wisconsin in den Ruhestand. 1999 wurde ihm zu Ehren die Mathematikbibliothek der University of Wisconsin umbenannt.

Kleenes Unterricht in Wisconsin führte zu drei Texten in mathematischer Logik , Kleene (1952, 1967) und Kleene und Vesley (1965). Die ersten beiden werden oft zitiert und sind noch im Druck. Kleene (1952) schrieb alternative Beweise zu den Unvollständigkeitssätzen von Gödel , die ihren kanonischen Status verbesserten und sie leichter zu lehren und zu verstehen machten. Kleene und Vesley (1965) ist die klassische amerikanische Einführung in die intuitive Logik und mathematische Mathematik .

[...] rekursive Funktionentheorie ist von zentraler Bedeutung in der Informatik. Kleene ist für viele grundlegende Ergebnisse auf diesem Gebiet verantwortlich, darunter den Kleene-Normalformsatz (1936), den Kleene-Rekursionssatz (1938), die Entwicklung der arithmetischen und hyperarithmetischen Hierarchien in den 1940er und 1950er Jahren, die Kleene- Posttheorie der Unlösbarkeitsgrade (1954) und Rekursionstheorie höheren Typs. die er in den späten 1950er Jahren begann und in den späten 1970er Jahren zurückkehrte. [...] Ab Ende der 1940er Jahre arbeitete Kleene auch auf einem zweiten Gebiet, dem Intuitionismus Brouwers. Mit Werkzeugen der Rekursionstheorie führte er die rekursive Realisierbarkeit ein, eine wichtige Technik zur Interpretation intuitionistischer Aussagen. Im Sommer 1951 gelang ihm bei der Rand Corporation ein wichtiger Durchbruch auf einem dritten Gebiet, als er eine wichtige Charakterisierung der von einem endlichen Automaten akzeptierten Ereignisse gab.

Kleene war 1956-1958 Präsident der Association for Symbolic Logic und 1961 der International Union of History and Philosophy of Science. Die Bedeutung von Kleenes Werk führte dazu, dass Daniel Clement Dennett den 1978 veröffentlichten Spruch "Kleeneness" ist neben Gödelness." 1990 wurde ihm die National Medal of Science verliehen .

Kleene und seine Frau Nancy Elliott hatten vier Kinder. Er hatte eine lebenslange Hingabe an die Familienfarm in Maine. Als begeisterter Bergsteiger hatte er ein starkes Interesse an Natur und Umwelt und engagierte sich in vielen Naturschutzprojekten .

Vermächtnis

Bei jeder Konferenz des Symposium on Logic in Computer Science wird der Kleene-Preis zu Ehren von Stephen Cole Kleene für die beste studentische Arbeit verliehen.

Ausgewählte Publikationen

Siehe auch

Anmerkungen

Verweise

Externe Links