Post Emil Leon (Emilis Leonas Pòstas) 1897 02 11Augustavas 1954 04 21Niujorkas, Jungtinių Amerikos Valstijų logikas, matematikas. Dr. (1920).
Išsilavinimas ir pedagoginė veikla
Nuo 1904 gyveno Jungtinėse Amerikos Valstijose. 1917 baigė matematiką Niujorko miesto, 1918 – Kolumbijos universitete, nuo 1921 dėstė Kolumbijos, nuo 1924 – Cornellio universitete, nuo 1927 – kitose Jungtinių Amerikos Valstijų aukštosiose mokyklose, 1935–54 – Niujorko miesto universitete.
Tyrimų sritys ir idėjos
Nepriklausomai nuo J. Łukasiewicziaus 1921 sukūrė daugiareikšmę logiką. Nepriklausomai nuo Ch. S. Peirce’o sukūrė teisingumo lenteles (matrica). 1936 nepriklausomai nuo A. M. Turingo sukūrė vadinamąją Posto mašiną (analogišką Turingo mašinai, bet paprastesnę). Tyrinėjo formalių sistemų neprieštaringumo ir pilnumo metalogines problemas, plėtojo algoritmų teoriją, išsprendžiamumo klausimus.
Emil Leon Post