Alonzo Church (*14. Juni1903 inWashington, D.C.; †11. August1995 inHudson,Ohio) war ein US-amerikanischerMathematiker, Logiker und Philosoph und einer der Begründer dertheoretischen Informatik.

Church studierte an derPrinceton University und schloss dort 1927 in Mathematik mit dem Doktorgrad ab. Nach Aufenthalten an derUniversity of Chicago, derGeorg-August-Universität Göttingen und der Universität Amsterdam wurde er 1929 in Princeton Professor für Mathematik. Church blieb nahezu vier Jahrzehnte Professor in Princeton, bis 1967. Danach wechselte er an dieUniversity of California, Los Angeles (UCLA), wo er bis 1990 Professor für Mathematik und Philosophie war.

Zu den seinen Doktoranden gehören u. a.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 undAlan Turing.^[1]

Bei seinen mathematisch-logischen Fachkollegen wurde er in den 1930er Jahren bekannt mit einem universellen formalen Modell für Berechnungen, demLambda-Kalkül, den er im Rahmen seiner Forschungen zu denGrundlagen der Mathematik und denGödelschen Unvollständigkeitssätzen entwickelte. Daten und Operatoren werden durch dieChurch-Kodierung in den Lambda-Kalkül eingebettet, natürliche Zahlen durchChurch-Numerale repräsentiert. Church demonstrierte 1936,^[2] dass es für zwei gegebene Ausdrücke im Lambda-Kalkül keineberechenbare Funktion gibt, um zu entscheiden, ob sie äquivalent sind oder nicht, also mit zahlentheoretischen Mitteln unentscheidbare Probleme (Church-Theorem); zwei einander äquivalente Ausdrücke sind ineinander zu überführen oder zu reduzieren auf die gleiche Normalform (Church-Rosser-Theorem). Dies regte Überlegungen seines StudentenAlan Turing zumHalteproblem einer Rechenoperationen ausführenden Maschine an. Church und Turing fanden dann heraus, dass der Lambda-Kalkül und dieTuringmaschine hinsichtlich desEntscheidungsproblems ebenbürtige Modelle sind; ein hiervon abgeleiteter Berechenbarkeitsbegriff ist alsChurch-Turing-These bekannt.

Im Bereich Philosophie ist er durch seine auf hohem Argumentationsniveau verteidigteplatonische Position im modernenUniversalienstreit bekannt geworden.^[3]

• Introduction to Mathematical Logic,ISBN 978-0-691-02906-1
• The Calculi of Lambda-Conversion,ISBN 978-0-691-08394-0
• A Bibliography of Symbolic Logic, 1666–1935,ISBN 978-0-8218-0084-3

• C. Anthony Anderson, Michael Zelëny (Hrsg.):Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Synthese Library, Bd. 305, 2002,ISBN 978-1-4020-0141-3

• John J. O’Connor,Edmund F. Robertson: Alonzo Church. In:MacTutor History of Mathematics archive (englisch).

1. ↑Mathematics Genealogy Project. Abgerufen am 12. August 2010. 
2. ↑Alonzo Church: „An unsolvable Problem of Elementary Number Theory“, American Journal of Mathematics, Band 58, Nr. 2, April 1936, S. 345–363.
3. ↑Joseph Maria Bocheński, Alonso Church,Nelson Goodman:The Problem of Universals. A Symposium, Notre Dame, Ind., 1956, 33-57

• Mathematischer Logiker (20. Jahrhundert)
• Informatiker
• Hochschullehrer (University of California, Los Angeles)
• Hochschullehrer (Princeton University)
• Mitglied der American Academy of Arts and Sciences
• Mitglied der National Academy of Sciences
• Mitglied der British Academy
• US-Amerikaner
• Geboren 1903
• Gestorben 1995
• Mann

• Wikipedia:Vorlagenfehler/Vorlage:Cite web/temporär