Alonzo Church

Alonzo Church

Alonzo Church (* 14. Juni 1903 in Washington; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.

Werdegang

Church studierte an der Princeton University und schloss dort mit dem Doktorgrad ab. Nach Aufenthalten an der University of Chicago, der Georg-August-Universität Göttingen und der Universität Amsterdam wurde er 1929 in Princeton Professor für Mathematik.

Bei seinen mathematisch-logischen Fachkollegen bekannt geworden ist er für seine Entwicklung des Lambda-Kalküls, zu dem er in einem 1936 (Satz von Church-Rosser) veröffentlichten Bericht schrieb, in dem er demonstrierte, dass es unentscheidbare Probleme gibt (d. h. die Antwort auf eine Fragestellung ist nicht mathematisch berechenbar). Dieses Resultat regte seinen Studenten Alan Turing zu Überlegungen zum Halteproblem an, das auch unentscheidbar ist.

Church und Turing fanden dann heraus, dass der Lambda-Kalkül und die Turingmaschine ebenbürtig in der Ausdruckskraft sind, und konnten noch einige weitere äquivalente Mechanismen zum Berechnen von Funktionen angeben. Eine hieraus abgeleitete These für den intuitiven Berechenbarkeitsbegriff ist unter dem Namen Church-Turing-These bekannt.

Neben Turing waren weitere bekannte Doktoranden von Church beispielsweise Stephen Kleene, Hartley Rogers jr. und Michael O. Rabin. Church blieb Mathematikprofessor in Princeton bis 1967. Danach wechselte er an die University of California (UCLA). Dort war er Professor für Mathematik und Philosophie.

Im Bereich Philosophie ist er durch seine auf hohem Argumentationsniveau verteidigte platonische Position im modernen Universalienstreit bekannt geworden.

1960 wurde Church in die American Academy of Arts and Sciences gewählt, 1978 in die National Academy of Sciences. 1962 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Stockholm (Logic, Arithmetic and Automata).

Werke

• 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)

Literatur

• 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

Weblinks

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