Alonzo Church

Mula sa Wikipediang Tagalog, ang malayang ensiklopedya
Tumalon sa: nabigasyon, hanapin
Alonzo Church
Kapanganakan 14 Hunyo 1903(1903-06-14)
Washington, D.C., USA
Kamatayan 11 Agosto 1995 (edad 92)
Hudson, Ohio, USA
Tirahan United States
Kabansaan American
Larangan Mathematics, Logic
Institusyon Princeton University 1929–67
UCLA 1967–95
Alma mater Princeton University
Tagapayo sa pagkaduktor Oswald Veblen
Mga estudyante sa pagkaduktor C. Anthony Anderson
Peter Andrews
George Alfred Barnard
Martin Davis
Leon Henkin
David Kaplan
John George Kemeny
Stephen Kleene
Michael O. Rabin
Hartley Rogers, Jr
J. Barkley Rosser
Nathan Salmon
Dana Scott
Raymond Smullyan
Alan Turing
Kinikilala dahil sa Lambda calculus
Church–Turing thesis
Frege–Church ontology
Church–Rosser theorem

Si Alonzo Church (Hunyo 14, 1903 – Agosto 11, 1995) ay isang Amerikanong matematiko at lohisyano na nagkagawa ng malalaking pag-aambag sa lohikang matematikal at sa mga pundasyon ng teoretikal na agham pangkompyuter. Siya ay naging tanyag dahil sa kalkulong lambda, tesis na Church-Turing, ontolohiyang Frege-Church at teoremang Church–Rosser.