Editing Emil Leon Post (section)

{{Short description|American mathematician and logician (1897 – 1954)}}
{{Infobox scientist
| name = Emil Leon Post
| image = Emil Leon Post.jpg
| birth_date = February 11, 1897
| birth_place = [[Augustów]], [[Suwałki Governorate]], [[Congress Poland]], [[Russian Empire]]<br>(now Poland)
| death_date = {{death date and age|1954|4|21|1897|2|11}}
| death_place = New York City, U.S.
| residence = 
| nationality =
| field = [[Mathematics]], [[logic]]
| work_institution = [[Princeton University]]
| alma_mater        = [[City College of New York]] (B.S., 1917)<ref name="Urquhart">Urquhart (2008)</ref><br>[[Columbia University]] (A.M. 1918, Ph.D. 1920)<ref name="MacTutor"/>
| thesis_title      = Introduction to a General Theory of Elementary Propositions
| thesis_url        = <!--(or  | thesis1_url  =   and  | thesis2_url  =  )-->
| thesis_year       = 1920
| doctoral_advisor  = [[Cassius Jackson Keyser]]
| doctoral_students =
| known_for  = [[Post–Turing machine|Formulation 1]]<br>[[Post correspondence problem]]<br>Completeness-proof of ''[[Principia Mathematica|Principia]]''{{'s}} [[propositional calculus]]<br>[[Post's inversion formula]]<br>[[Post's lattice]]<br>[[Post's theorem]]
}}

'''Emil Leon Post''' ({{IPAc-en|p|oʊ|s|t}}; 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]].