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 Hudson, Ohio, USA | (edad 92)
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 |
🔥 Top keywords: Bulkang KanlaonUnang PahinaNatatangi:MaghanapGastroenteritisImpeksiyon sa daanan ng ihiSakit sa ibaba ng likodPamamaga ng lalamunanAraw ng KalayaanPulmonyaTuberkulosisJosé RizalKatas ng pukePananakit ng bayagNoli Me Tángere (nobela)Eat Bulaga!Singaw (sakit)AlmuranasLupang HinirangBalisawsawBinibining Pilipinas 2024Efren Reyes (bilyarista)Talaan ng mga kabanata sa Noli Me TangereIkalawang Digmaang PandaigdigWikang TagalogNatatangi:Mga huling binagoIglesia ni CristoGonoreaEl filibusterismoRere MadridPigsaListahan ng mga aktibong bulkan sa PilipinasPilipinasPanitikanBarangayBini (grupo)Aba Ginoong MariaMiss Universe Philippines 2024ApendisitisHentai