Emil Leon Post

Emil Leon Post
Born	February 11, 1897 Augustów, Suwałki Governorate, Congress Poland, Russian Empire (now Poland)
Died	April 21, 1954(1954-04-21) (aged 57) New York City, U.S.
Alma mater	City College of New York (B.S., 1917)[1] Columbia University (A.M. 1918, Ph.D. 1920)[2]
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

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.