Alonzo Church
Church [tʃəːtʃ], Alonzo, amerikanischer Mathematiker und Logiker, * Washington (D. C.) 14. 6. 1903, † Hudson (Ohio) 11. 8. 1995;
seit 1939 Professor an der Princeton University, seit 1967 an der University of California in Los Angeles; bewies 1936 die Unentscheidbarkeit (Entscheidung) der Kalküle der Quantorenlogik. 1936 schlug er auch die churchsche These vor, als er bei der Untersuchung von Algorithmen feststellte, dass die intuitiv berechenbaren Funktionen allgemein rekursiv sind
Informationen zum Artikel
Quellenangabe