teza Church-Turing Church–Turing–Deutsch principle[*][[Church–Turing–Deutsch principle (stronger, physical form of the Church–Turing thesis, that a universal Turing machine can simulate every physical process)|]] Frege–Church ontology[*][[Frege–Church ontology |]] Church–Rosser theorem[*][[Church–Rosser theorem (theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result)|]] Church–Turing theorem[*][[Church–Turing theorem |]] calculul lambda[*]
Alonzo Church s-a născut în 14 iunie 1903, la Washington, D.C., unde tatăl său, Samuel Robbins Church, era judecător la Tribunalul Municipal pentru Districtul Columbia. Familia s-a mutat în Virginia după ce tatăl său a pierdut acest post din cauza problemelor de vedere. Cu ajutor de la unchiul său, pe care îl chema tot Alonzo Church, el a reușit să studieze la Ridgefield School for Boys din Ridgefield(d).[17] După absolvirea școlii Ridgefield în 1920, Church a studiat la Universitatea Princeton, unde a fost un elev excepțional, publicând prima sa lucrare, despre transformările Lorentz, și absolvind în 1924, cu o diplomă în matematică. El a rămas la Princeton, obținând un doctorat în matematică în trei ani sub îndrumarea lui Oswald Veblen.
S-a căsătorit cu Mary Julia Kuczinski în 1925, cei doi având trei copii, Alonzo Church, Jr. (1929), Mary Ann (1933) și Mildred (1938).
Calculul lambda, apărut în lucrarea sa din 1936 demonstrează nerezolvabilitatea problemei deciziei. Acest rezultat a precedat munca lui Alan Turing pe tema problemei opririi, care a dus și ea la demonstrarea existenței unei probleme de nerezolvat prin mijloace mecanice. Church și Turing au demonstrat apoi că calculul lambda și mașina Turing utilizată în problema opririi a lui Turing sunt echivalente în capabilități, și, ulterior, a demonstrat o varietate de „procese mecanice de calcul” alternative. Acest lucru a dus la teza Church–Turing.
Multe dintre doctoranzii lui Church au avut cariere distinse, între care C. Anthony Anderson, Peter B. Andrews, George A. Barnard, David Berlinski, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L ' abbé, Isaac Malitz, Gary R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, Jr., J. Barkley Rosser, Dana Scott, Raymond Smullyan, și Alan Turing.[24] O listă mai completă a studenților lui Church este disponibilă prin intermediul Mathematics Genealogy Project.
^„Introduction Alonzo Church: Life and Work”(PDF). p. 4. Arhivat din original(PDF) la . Accesat în . A deeply religious person, he was a lifelong member of the Presbyterian church.Mai multe valori specificate pentru |pagină= și |page= (ajutor)
Alonzo Church intervievat de către William Aspray la 17 mai 1984. Princeton Mathematics Community in the 1930s: An Oral-History Project, stenograma nr.5.