Alonzo-Kirche - Alonzo Church
Alonzo Church (14. Juni 1903 - 11. August 1995) war ein US-amerikanischer Mathematiker und Logiker , der wesentliche Beiträge zur mathematischen Logik und den Grundlagen der theoretischen Informatik leistete . Er ist am besten bekannt für den Lambda-Kalkül , die Church-Turing-These , die die Unlösbarkeit des Entscheidungsproblems , die Frege-Church-Ontologie und das Church-Rosser-Theorem beweist . Er arbeitete auch an der Sprachphilosophie (siehe zB Church 1970). Church gilt neben Alan Turing als einer der Begründer der Informatik .
Leben
Alonzo Church wurde am 14. Juni 1903 in Washington, DC, geboren , wo sein Vater Samuel Robbins Church Richter am Stadtgericht des District of Columbia war. Die Familie zog später nach Virginia, nachdem sein Vater diese Position aufgrund von Sehschwäche verloren hatte. Mit Hilfe seines Onkels, auch Alonzo Church genannt, besuchte der Sohn die private Ridgefield School for Boys in Ridgefield, Connecticut . Nach seinem Abschluss in Ridgefield im Jahr 1920 besuchte Church die Princeton University , wo er ein außergewöhnlicher Student war. Er veröffentlichte seine erste Arbeit über Lorentz-Transformationen und schloss sein Studium 1924 mit einem Abschluss in Mathematik ab. Er blieb in Princeton, um seinen Abschluss zu machen, wo er einen Ph.D. in Mathematik in drei Jahren bei Oswald Veblen .
1925 heiratete er Mary Julia Kuczinski. Das Paar hatte drei Kinder, Alonzo Church Jr. (1929), Mary Ann (1933) und Mildred (1938).
Nach seiner Promotion lehrte er kurzzeitig als Dozent an der University of Chicago . Er erhielt ein zweijähriges National Research Fellowship , das es ihm ermöglichte, von 1927 bis 1928 die Harvard University und im folgenden Jahr die Universitäten Göttingen und Amsterdam zu besuchen.
Von 1929 bis 1967 lehrte er fast vier Jahrzehnte lang Philosophie und Mathematik in Princeton. Von 1967 bis 1990 lehrte er an der University of California, Los Angeles . 1962 war er Plenarsprecher des ICM in Stockholm.
Er erhielt die Ehrendoktorwürde der Case Western Reserve University im Jahr 1969, der Princeton University im Jahr 1985 und der University at Buffalo, der State University of New York im Jahr 1990 im Zusammenhang mit einem internationalen Symposium zu seinen Ehren, das von John Corcoran organisiert wurde .
Als tief religiöser Mensch war Church ein lebenslanges Mitglied der Presbyterianischen Kirche. Er starb am 11. August 1995 im Alter von 92 Jahren. Er ist auf dem Princeton Cemetery begraben .
Mathematische Arbeit
Church ist für folgende bedeutende Leistungen bekannt:
- Sein Beweis, dass das Entscheidungsproblem , das in einer mathematischen Theorie erster Ordnung nach einem Entscheidungsverfahren fragt , um die Wahrheit beliebiger Aussagen zu bestimmen , ist unentscheidbar . Dies ist als Theorem von Church bekannt .
- Sein Beweis, dass Peano-Arithmetik unentscheidbar ist.
- Seine Artikulation dessen, was als Church-Turing-These bekannt wurde .
- Er war der Gründungsherausgeber des Journal of Symbolic Logic und gab bis 1979 dessen Rezensionsteil heraus.
- Seine Erfindung der Lambda-Kalküle .
Der Lambda-Kalkül tauchte in seiner Arbeit von 1936 auf, die die Unlösbarkeit des Entscheidungsproblems zeigte. Dieses Ergebnis ging Alan Turings Arbeiten zum Halteproblem voraus , die auch die Existenz eines mechanisch unlösbaren Problems demonstrierten. Church und Turing zeigten dann, dass der Lambda-Kalkül und die Turing-Maschine, die in Turings Halteproblem verwendet wurden, in ihren Fähigkeiten gleichwertig waren, und demonstrierten anschließend eine Vielzahl alternativer "mechanischer Prozesse für die Berechnung". Daraus entstand die Church-Turing-These.
Aus seinen Ideen stammen die Bemühungen, aus Spezifikationen automatisch eine Controller-Implementierung zu generieren.
Der Lambda-Kalkül beeinflusste das Design der LISP-Programmiersprache und der funktionalen Programmiersprachen im Allgemeinen. Die kirchliche Kodierung ist ihm zu Ehren benannt.
Ihm zu Ehren wurde 2015 der Alonzo Church Award for Outstanding Contributions to Logic and Computation von der Association for Computing Machinery Special Interest Group for Logic and Computation ( ACM SIGLOG ), der European Association for Theoretical Computer Science (EATCS), der European Association . ins Leben gerufen für Informatiklogik ( EACSL ) und der Kurt Gödel Gesellschaft (KGS). Der Preis ist für einen herausragenden Beitrag auf dem Gebiet, der in den letzten 25 Jahren veröffentlicht wurde, und darf noch nicht durch einen anderen großen Preis, wie den Turing-Preis , den Paris-Kanellakis-Preis oder den Gödel-Preis, gewürdigt worden sein .
Philosophisches Werk
Churchs Ausarbeitung einer Methodik, die die logistische Methode einbezieht, seine philosophische Kritik am Nominalismus und seine Verteidigung des Realismus, seine Argumentation, die zu Schlussfolgerungen über die Bedeutungstheorie führt, und die detaillierte Konstruktion der Fregeschen und Russellschen Intensionallogiken sind mehr als ausreichend, um zu platzieren ihn hoch unter den bedeutendsten Philosophen dieses Jahrhunderts.
Studenten
Viele Doktoranden der Church haben eine herausragende Karriere hinter sich, darunter C. Anthony Anderson , Peter B. Andrews , George A. Barnard , David Berlinski , William W. Boone , Martin Davis , Alfred L. Foster , Leon Henkin , John G. Kemeny , Stephen C. Kleene , Simon B. Kochen , Maurice L'Abbé , Isaac Malitz , Gary R. Mar , Michael O. Rabin , Nicholas Rescher , Hartley Rogers Jr. , J. Barkley Rosser , Dana Scott , Raymond Smullyan und Alan Turing . Eine vollständigere Liste der Studenten der Kirche ist über das Mathematics Genealogy Project erhältlich .
Bücher
- Alonzo Church, Einführung in die mathematische Logik ( ISBN 978-0-691-02906-1 )
- Alonzo Church, The Calculi of Lambda-Conversion ( ISBN 978-0-691-08394-0 )
- Alonzo Church, A Bibliography of Symbolic Logic, 1666-1935 ( ISBN 978-0-8218-0084-3 )
- C. Anthony Anderson und Michael Zelëny, (Hrsg.), Logik, Bedeutung und Berechnung: Essays in Memory of Alonzo Church ( ISBN 978-1-4020-0141-3 )
Siehe auch
- Kirche–Turing–Deutsch-Prinzip
- Logik höherer Ordnung
- Liste der Pioniere der Informatik
- Moderner Platonismus
- universelles Set
Anmerkungen
Verweise
- Enderton, Herbert B. , Alonzo Church: Leben und Werk . Introduction to the Collected Works of Alonzo Church , MIT Press, noch nicht veröffentlicht.
- Enderton, Herbert B., In memoriam: Alonzo Church , The Bulletin of Symbolic Logic , vol. 1, nein. 4 (Dez. 1995), S. 486–488.
- Wade, Nicholas, Alonzo Church, 92, Theorist of the Limits of Mathematics (Nachruf), The New York Times , 5. September 1995, p. B6.
- Hodges, Wilfred , Nachruf: Alonzo Church , The Independent (London) , 14. September 1995.
- Alonzo Church interviewt von William Aspray am 17. Mai 1984. The Princeton Mathematics Community in the 1930s: An Oral-History Project , Transkript Nummer 5.
- Rota, Gian-Carlo , Fine Hall in seinem goldenen Zeitalter: Erinnerungen an Princeton in den frühen fünfziger Jahren . In A Century of Mathematics in America, Teil II , herausgegeben von Peter Duren, AMS History of Mathematics, Bd. 2, American Mathematical Society, 1989, S. 223–226. Auch hier erhältlich .
- Kirche, A. (1950). „Über Carnaps Analyse von Behauptungen und Überzeugungen“. Die Zeitschrift für symbolische Logik . 10 (5): 97–99. doi : 10.2307/3326684 . JSTOR 3326684 .
- Anderson, C. Anthony (1998). „Beiträge der Alonzo-Kirche zur Philosophie und intensionalen Logik“. Das Bulletin der symbolischen Logik . 4 (2): 129–171. CiteSeerX 10.1.1.26.7389 . doi : 10.2307/421020 . JSTOR 421020 .
Externe Links
- O'Connor, John J .; Robertson, Edmund F. , "Alonzo Church" , MacTutor History of Mathematics Archiv , University of St Andrews
- Princeton University Library, Manuscripts Division, The Alonzo Church Papers, 1924–1995: Findmittel.
- Eine Bibliographie der Rezensionen der Kirche für The Journal of Symbolic Logic, mit einem Link zu jedem
- Alonzo-Kirche bei Find a Grave
- Alonzo Church, 92, Theoretiker der Grenzen der Mathematik Nachruf der New York Times
- NACHRUF: Alonzo-Kirche von The Independent
- In memoriam: Alonzo Church (1903–1995) von Irving H. Anellis , Modern Logic Vol. 5, Nr. 4 (1995).
- In memoriam: Alonzo Church 1903–1995 von HB Enderton, The Bulletin of Symbolic Logic Vol. 1, Nr. 5 (1995).