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)
Columbia University (A.M. 1918, Ph.D. 1920)
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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.