Pumunta sa nilalaman

Alonzo Church

Mula sa Wikipedia, ang malayang ensiklopedya
Alonzo Church
Kapanganakan14 Hunyo 1903(1903-06-14)
Kamatayan11 Agosto 1995(1995-08-11) (edad 92)
NasyonalidadAmerikano
NagtaposPrinceton University
Kilala 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.