Stephen Cole Kleene- Stephen Cole Kleene
Stephen Kleene | |
---|---|
Geboren |
Hartford, Connecticut , USA
|
5. Januar 1909
Ist gestorben | 25. Januar 1994
Madison, Wisconsin , USA
|
(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 eɪ 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
- 1935. Stephen Cole Kleene (Januar 1935). "Eine Theorie der positiven ganzen Zahlen in der formalen Logik. Teil I" . Amerikanische Zeitschrift für Mathematik . 57 (1): 153–173. doi : 10.2307/2372027 . JSTOR 2372027 .
- 1935. Stephen Cole Kleene (April 1935). "Eine Theorie der positiven ganzen Zahlen in der formalen Logik. Teil II" . Amerikanische Zeitschrift für Mathematik . 57 (2): 219–244. doi : 10.2307/2371199 . JSTOR 2371199 .
- 1935. Stephen Cole Kleene; JB Rosser (Juli 1935). „Die Inkonsistenz bestimmter formaler Logiken“. Annalen der Mathematik . 2. Serie. 36 (3): 630–636. doi : 10.2307/1968646 . JSTOR 1968646 .
- 1936. "Allgemeine rekursive Funktionen natürlicher Zahlen" . Mathematische Annalen (112): 727–742. 1936.
- 1936. " -Definierbarkeit und Rekursivität" . Herzog Mathematische Zeitschrift . 2 (2): 340–352. 1936.
- 1938. "Über Notationen für Ordnungszahlen" (PDF) . Zeitschrift für symbolische Logik . 3 (4): 150–155. 1938. doi : 10.2307/2267778 . JSTOR 2267778 .
- 1943. "Rekursive Prädikate und Quantoren" . Transaktionen der American Mathematical Society . 53 (1): 41–73. Januar 1943. doi : 10.1090/S0002-9947-1943-0007371-8 .
- 1951. Kleene, Stephen Cole (15. Dezember 1951). "Darstellung von Ereignissen in Nervennetzen und endlichen Automaten" (PDF) . Rand Research Memorandum der US-Luftwaffe (RM-704). Die RAND-Corporation .
- 1952. Einführung in die Metamathematik. New York: Van Nostrand. (Ishi Press: Nachdruck 2009).
- 1956. Kleene, Stephen Cole (1956). Shannon, Claude ; McCarthy, John (Hrsg.). Darstellung von Ereignissen in Nervennetzen und endlichen Automaten . Automatenstudien . OCLC 564148 .
- 1965 (mit Richard Eugene Vesley). Die Grundlagen der Intuitionistischen Mathematik . Nordholland.
- 1967. Mathematische Logik. John Wiley & Söhne . Dover-Nachdruck, 2002. ISBN 0-486-42533-9 .
- 1981. "Origins of Recursive Function Theory" in Annals of the History of Computing 3 , Nr. 1.
- 1987. "Reflexionen über die Thesen der Kirche" . Notre-Dame-Journal für formale Logik . 28 (4): 490–498. Okt. 1987. doi : 10.1305/ndjfl/1093637645 .
Siehe auch
Anmerkungen
Verweise
Externe Links
- O'Connor, John J .; Robertson, Edmund F. , "Stephen Cole Kleene" , MacTutor History of Mathematics Archiv , University of St Andrews
- Biografische Memoiren – von Saunders Mac Lane
- Kleene-Bibliographie
- „The Princeton Mathematics Community in the 1930s: Transcript Number 23 (PMC23): Stephen C. Kleene and J. Barkley Rosser“ . Archiviert vom Original am 10. März 2015.– Interview mit Kleene und John Barkley Rosser über ihre Erfahrungen in Princeton
- Stephen Cole Kleene bei DBLP Bibliographie Server