Էմիլ Լեոն Պոստ (փետրվարի 11, 1897(1897-02-11)[1][2][3][…], Ավգուստով, Ռուսական կայսրություն[1] - ապրիլի 21, 1954(1954-04-21)[1][2][3][…], Նյու Յորք, Նյու Յորք, ԱՄՆ[1]), ամերիկացի մաթեմատիկոս և տրամաբան։ Պոստի հետազոտությունները նպաստել են մաթեմատիկական տրամաբանության և ալգորիթմների տեսության ձևավորմանը։

Էմիլ Լեոն Պոստ
Emil Leon Post
Emil Leon Post.jpg
Ծնվել էփետրվարի 11, 1897(1897-02-11)[1][2][3][…]
Ավգուստով, Ռուսական կայսրություն[1]
Մահացել էապրիլի 21, 1954(1954-04-21)[1][2][3][…] (57 տարեկան)
Նյու Յորք, Նյու Յորք, ԱՄՆ[1]
ԳերեզմանMount Hebron Cemetery[4][5]
ՔաղաքացիությունFlag of the United States (1912-1959).svg ԱՄՆ
Մասնագիտությունմաթեմատիկոս, փիլիսոփա, տրամաբան և համալսարանի դասախոս
Հաստատություն(ներ)Նյու Յորք քաղաքի քոլեջ[2], Փրինսթոնի համալսարան[2], Կոլումբիայի համալսարան[2], Կոռնելի համալսարան[2] և George Washington Educational Campus?[2][6]
Գործունեության ոլորտմաթեմատիկա
Ալմա մատերԿոլումբիայի համալսարան (1920)[6], Թաունսենդ Հարիսի ավագ դպրոց (1913)[6] և Նյու Յորք քաղաքի քոլեջ (1917)[6]
Տիրապետում է լեզուներինանգլերեն[7]
Գիտական ղեկավարCassius Jackson Keyser?[8]

1920-ական թվականներին․ ձևակերպել է տրամաբանական հաշիվների անհակասականության և լրիվության գաղափարները, հետազոտել բազմարժեք տրամաբանությունը, ֆունկցիաների դասերի լրիվ և փակ լինելու հատկանիշները տարբեր տրամաբանություններում։

1930-ական թվականներին առաջադրել է ձևայնացված հաշվի և ալգորիթմի (Ա․ Մ․ Թյուրինգից անկախ) մաթեմատիկորեն ճշգրտված ընդհանուր գաղափարները, 1940-ական թվականներին ապացուցել (Ա․ Ա․ Մարկովից անկախ) կիսախմբերում նույնության պրոբլեմի ալգորիթմական անլուծելիությունը և դրանով առաջին անգամ տվել ալգորիթմորեն անլուծելի հանրահաշվական խնդրի օրինակ։

ԾանոթագրություններԽմբագրել

Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 9, էջ 383