Alonzo Church

Mula sa Wikipedia, ang malayang ensiklopedya
Jump to navigation Jump to search
Alonzo Church
Kapanganakan14 Hunyo 1903(1903-06-14)
Namatay11 Agosto 1995(1995-08-11) (edad 92)
NasyonalidadAmerikano
NagtaposPrinceton University
Nakilala saKalkulong lambda
Church–Turing thesis
Frege–Church ontology
Church–Rosser theorem
Karera sa agham
LaranganMatematika, Lohika
InstitusyonPrinceton University 1929–67
UCLA 1967–95
Doctoral advisorOswald Veblen
Doctoral studentC. 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

Si Alonzo Church (14 Hunyo 1903 – 11 Agosto 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.