Emil Leon Post
Biografia
Emil Leon Post urodził się 11 lutego 1897 roku w Augustowie na terenie dzisiejszej Polski, w żydowskiej rodzinie. Jego ojciec, Arnold J. Post, wyjechał do Stanów Zjednoczonych w 1897 roku na zaproszenie brata, a w maju 1904 roku dołączyła do niego żona Pear z dziećmi: Emilem oraz córkami Anną i Ethel. Rodzina zamieszkała w Harlemie w Nowym Jorku. W wieku dwunastu lat Emil Post stracił lewą rękę w wyniku wypadku.
Post ukończył studia matematyczne na Uniwersytecie Columbia, gdzie w 1920 roku obronił doktorat. Następnie odbył studia podoktoranckie na Uniwersytecie w Princeton, gdzie był bliski odkrycia niezupełności systemu Principia mathematica Russella i Whiteheada, zanim uczynił to Kurt Gödel w 1931 roku. Po Princeton pracował jako nauczyciel matematyki w szkole średniej w Nowym Jorku, a od 1936 roku aż do śmierci związany był z City College of New York.
W 1921 roku ujawniła się u niego choroba maniakalno-depresyjna, która towarzyszyła mu przez całe życie. Po drugim ataku choroby przerwał pracę na Cornell University i w latach dwudziestych utrzymywał się z nauczania w George Washington High School. W 1929 roku ożenił się z Gertrudą Singer, która wspierała go w pracy naukowej i pomagała przy maszynopisaniu artykułów. Mieli jedną córkę, Phyllis Goodman.
Post wniósł ogromny wkład w logikę i teorię rekursji. W swojej pracy doktorskiej udowodnił zupełność rachunku zdań z Principia mathematica, a niezależnie od Wittgensteina i Charlesa Peirce'a opracował tablice prawdy. W 1936 roku, niezależnie od Alana Turinga, zaproponował abstrakcyjny model obliczeń znany jako maszyna Posta. Sformułował również problem odpowiedniości Posta oraz problem Posta, dotyczący stopni Turinga.
Emil Leon Post zmagał się z nawrotami choroby psychicznej przez całe życie. W kwietniu 1954 roku, po kolejnym ataku, przeszedł leczenie elektrowstrząsami i zmarł na atak serca w szpitalu dla umysłowo chorych w Nowym Jorku. Jego żona Gertrude zmarła dwa lata później.