Alonzo Church
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Death | 28 years ago |
| Date of birth | June 14,1903 |
| Zodiac sign | Gemini |
| Born | Washington |
| D.C. | |
| United States | |
| Date of died | August 11,1995 |
| Died | Hudson |
| Ohio | |
| United States | |
| Thesis | Alternatives to Zermelo's Assumption (1927) |
| Notable students | Alan Turing |
| Stephen Cole Kleene | |
| Martin Davis | |
| Known for | Lambda calculus |
| Church–Turing thesis | |
| Frege–Church ontology | |
| Church–Rosser theorem | |
| Job | Philosopher |
| Mathematician | |
| Education | Harvard University |
| Princeton University | |
| Department of Mathematics | |
| Books | The Collected Works of Alonzo Church |
| A Bibliography of Symbolic Logic | |
| A Discourse Delivered Before the Georgia Historical Society. . | |
| Presidential Addresses of the American Philosophical Association 1971-1980 | |
| The calculi of lambda‑conversion | |
| Introduction to Mathematical Logic | |
| The calculi of lambda-conversion | |
| A Bibliography of Symbolic Logic, 1666-1935 | |
| Alonzo Church's Logic of Sense and Denotation: Writings on the Church-Frege Theory | |
| A Discourse Delivered Before the Georgia Historical Society: On the Occasion of Its 6th Anniversary, on Wednesday, 12th February, 1845 | |
| Notable student | Alan Turing |
| Stephen Cole Kleene | |
| Martin Davis | |
| Influencees | Alan Turing |
| Stephen Cole Kleene | |
| Emil Leon Post | |
| Alma mater | Princeton University |
| Interests | Symbolic Logic |
| Lambda Calculus | |
| Publications | scholar.google.com |
| Date of Reg. | |
| Date of Upd. | |
| ID | 520659 |
Alonzo Church Life story
Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.
Alonzo Church Photos
