Alonzo Church

Alonzo Church (* 14. Juni 1903 in Washington D.C., † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik. Er studierte an der Princeton University und schloss dort mit dem Doktorgrad ab. 1929 wurde er dort Professor für Mathematik.Bei seinen mathematisch-logischen Fachkollegen bekannt geworden ist er für seine Entwicklung des Lambda-Kalküls, zu dem er 1936 einen 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.
Mehr unter Wikipedia.org...