Emil Leon Post

Emil Leon Post
BornFebruary 11, 1897
Augustów, Suwałki Governorate, Congress Poland, Russian Empire
(now Poland)
DiedApril 21, 1954(1954-04-21) (aged 57)
New York City, U.S.
Alma materCity College of New York (B.S., 1917)[1]
Columbia University (A.M. 1918, Ph.D. 1920)[2]
Known forFormulation 1
Post correspondence problem
Completeness-proof of Principia's propositional calculus
Post's inversion formula
Post's lattice
Post's theorem
Scientific career
FieldsMathematics, logic
InstitutionsPrinceton University
Thesis Introduction to a General Theory of Elementary Propositions  (1920)
Doctoral advisorCassius 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.

  1. ^ Urquhart (2008)
  2. ^ Cite error: The named reference MacTutor was invoked but never defined (see the help page).