Emil Leon Post
Filozof, logik, matematyk
- Urodzony
- 11 lutego 1897, Augustów
- Zmarł
- 21 kwietnia 1954, Nowy Jork
- Zawody
- filozof, logik, matematyk
Emil Leon Post był matematykiem i logikiem, urodzonym 11 lutego 1897 roku w Augustowie, na terenie dzisiejszej Polski. W 1904 roku przybył z matką i dwiema siostrami do Stanów Zjednoczonych; rodzina zamieszkała w Harlemie. W 1920 roku uzyskał doktorat z matematyki na Uniwersytecie Columbia, a następnie podjął studia podoktoranckie w Princeton. Później pracował jako nauczyciel matematyki w szkole średniej w Nowym Jorku. Od 1936 roku do śmierci był związany z City College of New York.
W pracy doktorskiej wykazał, że rachunek zdań przedstawiony w Principia mathematica jest zupełny. Niezależnie od Wittgensteina i Charlesa Sandersa Peirce’a opracował i stosował tablice prawdy. Zajmował się teorią rekursji; w 1936 roku, niezależnie od Alana Turinga, zaproponował abstrakcyjny model obliczeń nazwany maszyną Posta. Sformułował także problem odpowiedniości Posta i problem Posta. Był członkiem American Mathematical Society oraz Association for Symbolic Logic. Zmarł 21 kwietnia 1954 roku w Nowym Jorku.
Na podstawie artykułu „Emil Leon Post” z polskiej Wikipedii, licencja CC BY-SA 4.0. Opis udostępniamy na tej samej licencji.