Alonzo Church
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 |
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.
Kategorya:
- Articles with FAST identifiers
- Pages with authority control identifiers needing attention
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with ICCU identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with Libris identifiers
- Articles with NKC identifiers
- Articles with NLA identifiers
- Articles with NSK identifiers
- Articles with NTA identifiers
- Articles with PLWABN identifiers
- Articles with ACM-DL identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with Trove identifiers
- Articles with SNAC-ID identifiers
- Articles with SUDOC identifiers
- Ipinanganak noong 1903
- Namatay noong 1995
- Mga Amerikanong siyentipiko ng kompyuter
- Mga matematikong Amerikano