Emil Leon Post (ur.11 lutego1897 wAugustowie, zm.21 kwietnia1954 wNowym Jorku) – amerykański matematyk ilogik pochodzenia żydowskiego pochodzący z terenów dzisiejszej Polski.
Post urodził się wżydowskiej rodzinie[1]. Ojciec, Arnold J. Post w 1897 na zaproszenie brata wyjechał do Stanów Zjednoczonych. W maju 1904 roku do Ameryki wraz z synem Emilem i dwoma córkami, Anną i Ethel, przybyła żona Arnolda, Pear. Zamieszkali w Harlemie. Emil Post jako dwunastolatek stracił lewą rękę[2].
Po obronie doktoratu z matematyki naUniwersytecie Columbia w 1920 roku, poszedł na studia podoktoranckie naUniwersytecie w Princeton. Podczas pobytu w Princeton był bardzo bliski odkrycia, że system przedstawiony wPrincipia mathematicaRussella iWhiteheada jestniezupełny, co zostało udowodnione dopiero przezKurta Gödla w 1931. Post pracował później w Nowym Jorku jako nauczyciel matematyki w szkole średniej. Od 1936 aż do śmierci pracował wCity College of New York.
W 1921 roku objawiła się u niego choroba maniakalno-depresyjna. Po drugim ataku choroby przestał nauczać na Cornell University i w latach dwudziestych XX w. utrzymywał się nauczając w George Washington High School w Nowym Jorku[2].
W 1929 roku ożenił się z Gertrudą Singer. Żona wspomagała go przy maszynopisaniu artykułów i listów oraz zajęła się stroną materialną życia. Ich jedyne dziecko to córka Phyllis Goodman.
W swojej pracy doktorskiej pisanej naColumbia University Post udowodnił, że rachunek zdań zPrincipia mathemathica jestzupełny, to znaczy, że w systemie złożonym z aksjomatów podanych wPrincipiach oraz reguł podstawiania imodus ponens wszystkietautologie są twierdzeniami. Niezależnie odWittgensteina iCharlesa Sandersa Peirce’a Post wymyślił i wykorzystywałtablice prawdy[3]. Najbardziej jest jednak znany ze swoich osiągnięć wteorii rekursji.
Cały czas zmagał się ze swoją maniakalno-depresyjną chorobą. W 1954 roku uległ ponownie nawrotom ataków. W kwietniu 1954 roku umarł na atak serca po leczeniu elektrowstrząsami w szpitalu dla umysłowo chorych w Nowym Jorku. Jego żona Gertrude Singer Post (ur. 1900) zmarła w dwa lata później.
Od 1918 roku Post był członkiemAmerican Mathematical Society, a od 1936 roku członkiem Association for Symbolic Logic[2].
W 1936, niezależnie odAlana Turinga (twórcymaszyny Turinga), zaproponował abstrakcyjny model obliczeń, nazwany „maszyną Posta”.
Sformułował tzw.problem odpowiedniości Posta oraz tzw.problem Posta (czy istnieje nieobliczalny,rekurencyjnie przeliczalny zbiór ostopniu Turinga mniejszym niż stopieńproblemu stopu). Problem Posta znalazł pozytywne rozwiązanie w latach 50.
John J. O’Connor; Edmund F. Robertson:Emil Leon Post wMacTutor History of Mathematics archive(ang.)