Alonzo Church
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.
Alonzo Church | |
|---|---|
| Kapanganakan | 14 Hunyo 1903 Washington, D.C., USA |
| Kamatayan | 11 Agosto 1995 (edad 92) Hudson, Ohio, USA |
| Nasyonalidad | Amerikano |
| Nagtapos | Princeton University |
| Kilala sa | Kalkulong lambda Church–Turing thesis Frege–Church ontology Church–Rosser theorem |
| Karera sa agham | |
| Larangan | Matematika, Lohika |
| Institusyon | Princeton University 1929–67 UCLA 1967–95 |
| Doctoral advisor | Oswald Veblen |
| Doctoral student | 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 |