Kirche von Alonzo (am 14. Juni 1903 - am 11. August 1995) war ein amerikanischer Mathematiker und Logiker, der Hauptbeiträge zur mathematischen Logik und den Fundamenten der theoretischen Informatik geleistet hat. Er ist für die Lambda-Rechnung, Kirch-Turing-These am besten bekannt, Entscheidungsproblem, Frege-Kirchontologie und den Kirch-Rosser-Lehrsatz lösend.

Leben

Kirche von Alonzo ist am 14. Juni 1903 in Washington, D.C. geboren gewesen, wo sein Vater, Kirche von Samuel Robbins, der Richter des Selbstverwaltungsgerichtes für den Bezirk Columbias war. Die Familie hat sich später Virginia bewegt, nachdem sein Vater diese Position wegen des Mangels Sehkraft verloren hat. Mit der Hilfe von seinem Onkel, auch genannt Kirche von Alonzo, ist er im Stande gewesen, die Ridgefield Schule für Jungen in Ridgefield, Connecticut zu besuchen. Nach dem Absolvieren von Ridgefield 1920 hat Kirche Universität von Princeton aufgewartet, wo er ein außergewöhnlicher Student war, sein erstes Papier auf Transformationen von Lorentz veröffentlichend, und 1924 mit einem Grad in der Mathematik graduierend. Er ist an Princeton geblieben, einen Dr. in der Mathematik in drei Jahren unter Oswald Veblen verdienend.

Er hat Mary Julia Kuczinski 1925 geheiratet, und das Paar hatte drei Kinder, Alonzo kirchlich, II. (1929), Mary Ann (1933) und Mildred (1938).

Nach dem Empfangen seines Dr. hat er kurz als ein Lehrer an der Universität Chicagos unterrichtet und hat dann eine zweijährige Nationale Forschungskameradschaft empfangen. Das hat ihm erlaubt, Universität von Harvard in 1927-1928 und dann sowohl Universität von Göttingen als auch Universität Amsterdams im nächsten Jahr aufzuwarten. Er hat an Princeton, 1929-1967, und an der Universität Kaliforniens, Los Angeles, 1967-1990 unterrichtet. 1990 hat er den Arzt Honoris Causa von der Staatlichen Universität New Yorks an Büffel im Zusammenhang mit einem internationalen Symposium in seiner von John Corcoran organisierten Ehre empfangen. Er hatte vorher Ehrendoktorate vom Fall Westreserveuniversität (1969) und Universität von Princeton (1985) erhalten.

Er ist 1995 gestorben und wurde im Friedhof Princeton begraben.

Mathematische Arbeit

Kirche ist für die folgenden Ausführungen am besten bekannt:

• Sein Beweis dass Entscheidungsproblem, der um ein Entscheidungsverfahren bittet, um die Wahrheit von willkürlichen Vorschlägen in einer mathematischen Theorie zu bestimmen, ist für die Theorie der Arithmetik von Peano unentscheidbar. Das ist als der Lehrsatz der Kirche bekannt.
• Seine Aussprache was ist gekommen, um als die Kirch-Turing-These bekannt zu sein.
• Er war der Gründungsredakteur der Zeitschrift der Symbolischen Logik, seine Rezensionsabteilung bis 1979 editierend.
• Seine Entwicklung der Lambda-Rechnung.

Die Lambda-Rechnung ist in seiner berühmten 1936-Zeitung erschienen, die Unlösbarkeit von Entscheidungsproblem zeigend. Dieses Ergebnis ist der berühmten Arbeit von Alan Turing am stockenden Problem vorangegangen, das auch die Existenz eines durch mechanische Mittel unlösbaren Problems demonstriert hat. Kirche und Turing haben dann gezeigt, dass die Lambda-Rechnung und die im stockenden Problem von Turing verwendete Maschine von Turing in Fähigkeiten gleichwertig waren, und nachher eine Vielfalt von alternativen "mechanischen Prozessen für die Berechnung demonstriert haben." Das ist auf die Kirch-Turing-These hinausgelaufen.

Die Lambda-Rechnung hat das Design der LISPELN-Programmiersprache und funktionellen Programmiersprachen im Allgemeinen beeinflusst. Die Kirchverschlüsselung wird in seiner Ehre genannt.

Studenten

Viele Doktorstudenten der Kirche haben bemerkenswerte Karrieren, einschließlich C. Anthony Andersons, Peter B. Andrews, George A. Barnards, William W. Boones, Martin Davis, Alfred L. Fosters, Leon Henkins, John G. Kemenys, Stephen C. Kleenes, Simon B. Kochens, Maurice L'Abbés, Isaac Malitz, Gary R. Mars, Michael O. Rabins, Nicholas Reschers, Hartley Rogers des Jüngeren geführt. J. Barkley Rosser, Dana Scott, Raymond Smullyan und Alan Turing. Eine mehr ganze Liste der Studenten der Kirche ist über das Mathematik-Genealogie-Projekt verfügbar.

Bücher

• Kirche von Alonzo, Einführung in die Mathematische Logik (internationale Standardbuchnummer 978-0-691-02906-1)
• Kirche von Alonzo, Die Rechnungen der Lambda-Konvertierung (internationale Standardbuchnummer 978-0-691-08394-0)
• Kirche von Alonzo, Eine Bibliografie der Symbolischen Logik, 1666-1935 (internationale Standardbuchnummer 978-0-8218-0084-3)
• C. Anthony Anderson und Michael Zelëny, Redakteure, Logik, Bedeutung und Berechnung: Aufsätze im Gedächtnis der Kirche von Alonzo (internationale Standardbuchnummer 978-1-4020-0141-3)

Siehe auch

• Church-Turing-Deutsch-Grundsatz
• Höherwertige Logik
• Universaler Satz

Referenzen

• Kirche von Alonzo: Leben und Arbeit. Die Einführung in die Gesammelten Arbeiten der Kirche von Alonzo, MIT Presse, noch nicht veröffentlicht.

• In memoriam: Kirche von Alonzo, Die Meldung der Symbolischen Logik, vol. 1, Nr. 4 (Dez 1995), Seiten 486-488.

• Kirche von Alonzo, 92, Theoretiker der Grenzen der Mathematik (Todesanzeige), Die New York Times, am 5. September 1995, p. B6.

• Todesanzeige: Alonzo Church, der Unabhängige (London), am 14. September 1995.
• Kirche von Alonzo, die von William Aspray am 17. Mai 1984 interviewt ist. Die Mathematik-Gemeinschaft von Princeton in den 1930er Jahren: Ein Projekt der Mündlichen Geschichte, Abschrift Nummer 5.

• Feiner Saal in seinem Goldenen Zeitalter: Erinnerungen des Princeton am Anfang der fünfziger Jahre. In Einem Jahrhundert der Mathematik in Amerika, zweitem Teil, der von Peter Duren, AMS Geschichte der Mathematik, vol 2, amerikanische Mathematische Gesellschaft, 1989, Seiten 223-226 editiert ist. Auch verfügbar hier.

Links

• Universität von Princeton Bibliothek, Manuskript-Abteilung, Die Kirche von Alonzo Papiere, 1924-1995: Entdeckung der Hilfe.
• Eine Bibliografie der Rezensionen der Kirche für Die Zeitschrift der Symbolischen Logik, mit einer Verbindung zu jedem