Emil Leon Post
Emil Leon Post (/poʊst/; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory.
Emil Leon Post | |
|---|---|
| Born | February 11, 1897 |
| Died | April 21, 1954 (aged 57) New York City, U.S. |
| Alma mater | City College of New York (B.S., 1917) Columbia University (A.M. 1918, Ph.D. 1920) |
| Known for | Formulation 1 Post correspondence problem Completeness-proof of Principia's propositional calculus Post's inversion formula Post's lattice Post's theorem |
| Scientific career | |
| Fields | Mathematics, logic |
| Institutions | Princeton University |
| Thesis | Introduction to a General Theory of Elementary Propositions (1920) |
| Doctoral advisor | Cassius Jackson Keyser |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.