Stephen Cole Kleene (am 5. Januar 1909, Hartford, Connecticut, die Vereinigten Staaten - am 25. Januar 1994, Madison, Wisconsin) war ein amerikanischer Mathematiker, der geholfen hat, die Fundamente für die theoretische Informatik zu legen. Einer von vielen ausgezeichneten Studenten der Kirche von Alonzo, Kleene, zusammen mit Alan Turing, Emil Post, und anderen, ist als ein Gründer des Zweigs der mathematischen Logik bekannt als recursion Theorie am besten bekannt. Die Arbeit von Kleene legt die Studie nieder, deren Funktionen berechenbar sind. Mehrere mathematische Konzepte werden nach ihm genannt: Hierarchie von Kleene, Algebra von Kleene, der Stern von Kleene (Verschluss von Kleene), der recursion Lehrsatz von Kleene und der Kleene fixpoint Lehrsatz. Er hat auch regelmäßige Ausdrücke erfunden, und war ein amerikanischer Hauptverfechter von mathematischem intuitionism.

Kleene hat seinen Nachnamen ausgesprochen. Alltägliche falsche Aussprache schließt ein und. (Sein Sohn, Ken Kleene, hat geschrieben: "So weit ich bewusst bin, dass diese Artikulation auf allen bekannten Sprachen falsch ist. Ich glaube, dass diese neuartige Artikulation von meinem Vater erfunden wurde.")

Lebensbeschreibung

Kleene wurde dem BA Grad von der Amherst Universität 1930 zuerkannt. Er wurde dem Dr. in der Mathematik von der Universität von Princeton 1934 zuerkannt. Seine These, betitelt Eine Theorie von Positiven Ganzen Zahlen in der Formalen Logik, wurde von Alonzo Church beaufsichtigt. In den 1930er Jahren hat er wichtige Arbeit an der Lambda-Rechnung von Church getan. 1935 hat er sich der Mathematik-Abteilung an der Universität von Wisconsin-Madison angeschlossen, wo er fast ganze seine Karriere ausgegeben hat. Nach zwei Jahren als ein Lehrer wurde er zu Helfer-Professor 1937 ernannt.

Während ein Besuch-Gelehrter am Institut für die Fortgeschrittene Studie in Princeton, 1939-40, er das Fundament für die recursion Theorie, ein Gebiet gelegt hat, das sein lebenslängliches Forschungsinteresse sein würde. 1941 ist er zur Amherst Universität zurückgekehrt, wo er ein Jahr als ein Mitprofessor der Mathematik ausgegeben hat.

Während des Zweiten Weltkriegs war Kleene ein Korvettenkapitän in der USA-Marine. Er war ein Lehrer der Navigation in der Schule der Seekadetten der amerikanischen Marinereserve in New York, und dann ein Projektdirektor am Marineforschungslabor in Washington, D.C.

1946 ist Kleene zu Wisconsin zurückgekehrt, ein voller Professor 1948 und der Professor von Cyrus C. MacDuffee der Mathematik 1964 werdend. Er war Vorsitzende der Abteilung der Mathematik und der Informatik, 1962-63, und des Dekans der Universität von Briefen und Wissenschaft von 1969 bis 1974. Die letzte Ernennung hat er trotz der beträchtlichen Studentenunruhe des Tages übernommen, vom Krieg von Vietnam stammend. Er hat sich von der Universität von Wisconsin 1979 zurückgezogen. Die Mathematik-Bibliothek an der Universität von Wisconsin wurde in seiner Ehre umbenannt.

An Wisconsin lehrender Kleene ist auf drei Texte auf die mathematische Logik, Kleene (1952, 1967) und Kleene und Vesley (1965), häufig zitiert und noch im Druck hinausgelaufen. Kleene (1952) hat alternative Beweise den Unvollständigkeitslehrsätzen von Gödel geschrieben, die ihren kanonischen Status erhöht haben und sie leichter gemacht haben, zu unterrichten und zu verstehen. Kleene und Vesley (1965) sind die klassische amerikanische Einführung in die intuitionist Logik und Mathematik.

Kleene hat als Präsident der Vereinigung für die Symbolische Logik, 1956-58, und von der Internationalen Vereinigung der Geschichte und Philosophie der Wissenschaft, 1961 gedient. 1990 wurde ihm dem Nationalen Orden der Wissenschaft verliehen.

Kleene und seine Frau Nancy Elliott hatten vier Kinder. Er hatte eine lebenslängliche Hingabe zur Familienfarm in Maine. Ein begieriger Bergsteiger und Kanufahrer, er hatte ein starkes Interesse an der Natur und der Umgebung, und war in vielen Bewahrungsursachen energisch.

Wichtige Veröffentlichungen

• 1952. Einführung in Metamathematics. Ishi Press International.
• 1956. "Darstellung von Ereignissen in Nervennetzen und Begrenzten Automaten" in Automaten-Studien. Claude Shannon und John McCarthy, Hrsg.
• 1965 (mit Richard Eugene Vesley). Die Fundamente der Intuitionistic Mathematik. Nordholland.
• 1967. Mathematische Logik. John Wiley. Nachdruck von Dover, 2001. Internationale Standardbuchnummer 0486425339.
• 1981. "Ursprünge der Rekursiven Funktionstheorie" in Annalen der Geschichte, 3, Nr. 1 Zu rechnen.

Siehe auch

• Stern von Kleene
• Hierarchie von Kleene
• Der s-m-n Lehrsatz von Kleene
• Durchführbarkeit
• Intuitionism
• Kleene-Rosser Paradox

Links

• Biografische Biografie - durch Saunders Mac Lane
• Bibliografie von Kleene.

• Interview mit Kleene und John Barkley Rosser über ihre Erfahrungen an Princeton