Church

Church
 [], Alonzo, amerikanischer Mathematiker und Logiker, *Washington (District of Columbia) 14.6. 1903, Hudson (Ohio) 11.8. 1995; ab 1939 Professor an der Princeton University, ab 1967 an der University of California in Los Angeles; wesentliche Beiträge zur mathematischen Logik. Als churchsche Hypothese bekannt ist seine 1936 aufgestellte Annahme, dass jede berechenbare Funktion rekursiv sei.

© Bibliographisches Institut & F. A. Brockhaus AG, Mannheim 2001