Post Emil Leon (Emilis Leonas Pòstas) 1897 02 11Augustavas 1954 04 21Niujorkas, Jungtinių Amerikos Valstijų logikas, matematikas. Dr. (1920).
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.
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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.