Meyers Großes Taschenlexikon in 25 Bänden
Church
Church[tʃə:tʃ], Alonzo, amerikan. Mathematiker und Logiker, * Washington (D. C.) 14. 6. 1903, ✝ Princeton (N. J.) 11. 8. 1995; ab 1939 Prof. an der Princeton University, ab 1967 an der University of California in Los Angeles; wesentl. Beiträge zur mathemat. Logik. Als churchsche Hypothese bekannt ist seine 1936 aufgestellte Annahme, dass jede berechenbare Funktion rekursiv sei.
Church[tʃə:tʃ], Alonzo, amerikan. Mathematiker und Logiker, * Washington (D. C.) 14. 6. 1903, ✝ Princeton (N. J.) 11. 8. 1995; ab 1939 Prof. an der Princeton University, ab 1967 an der University of California in Los Angeles; wesentl. Beiträge zur mathemat. Logik. Als churchsche Hypothese bekannt ist seine 1936 aufgestellte Annahme, dass jede berechenbare Funktion rekursiv sei.