Էմիլ Լեոն Պոստ
Էմիլ Լեոն Պոստ (անգլ.՝ Emil Leon Post, փետրվարի 11, 1897[1][2][3][…], Ավգուստով, Ռուսական կայսրություն[1] - ապրիլի 21, 1954[1][2][3][…], Նյու Յորք, Նյու Յորք, ԱՄՆ[1]), ամերիկացի մաթեմատիկոս և տրամաբան։ Պոստի հետազոտությունները նպաստել են մաթեմատիկական տրամաբանության և ալգորիթմների տեսության ձևավորմանը։
Էմիլ Լեոն Պոստ Emil Leon Post | |
---|---|
![]() | |
Ծնվել է | փետրվարի 11, 1897[1][2][3][…] Ավգուստով, Ռուսական կայսրություն[1] |
Մահացել է | ապրիլի 21, 1954[1][2][3][…] (57 տարեկան) Նյու Յորք, Նյու Յորք, ԱՄՆ[1] |
Գերեզման | Մաունթ Հեբրոն[4] |
Քաղաքացիություն | ![]() |
Մասնագիտություն | մաթեմատիկոս, փիլիսոփա, տրամաբան և համալսարանի դասախոս |
Հաստատություն(ներ) | Նյու Յորք քաղաքի քոլեջ[2], Փրինսթոնի համալսարան[2], Կոլումբիայի համալսարան[2], Կոռնելի համալսարան[2] և George Washington Educational Campus?[2][5] |
Գործունեության ոլորտ | մաթեմատիկա |
Ալմա մատեր | Կոլումբիայի համալսարան (1920)[5], Թաունսենդ Հարիսի ավագ դպրոց (1913)[5] և Նյու Յորք քաղաքի քոլեջ (1917)[5] |
Տիրապետում է լեզուներին | անգլերեն[6] |
Գիտական ղեկավար | Cassius Jackson Keyser?[7] |
![]() |
1920-ական թվականներին․ ձևակերպել է տրամաբանական հաշիվների անհակասականության և լրիվության գաղափարները, հետազոտել բազմարժեք տրամաբանությունը, ֆունկցիաների դասերի լրիվ և փակ լինելու հատկանիշները տարբեր տրամաբանություններում։
1930-ական թվականներին առաջադրել է ձևայնացված հաշվի և ալգորիթմի (Ա․ Մ․ Թյուրինգից անկախ) մաթեմատիկորեն ճշգրտված ընդհանուր գաղափարները, 1940-ական թվականներին ապացուցել (Անդրեյ Մարկովից անկախ) կիսախմբերում նույնության պրոբլեմի ալգորիթմական անլուծելիությունը և դրանով առաջին անգամ տվել ալգորիթմորեն անլուծելի հանրահաշվական խնդրի օրինակ։
Ծանոթագրություններ
խմբագրել- ↑ 1,00 1,01 1,02 1,03 1,04 1,05 1,06 1,07 1,08 1,09 1,10 http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Post.html
- ↑ 2,00 2,01 2,02 2,03 2,04 2,05 2,06 2,07 2,08 2,09 Մակտյուտոր մաթեմատիկայի պատմության արխիվ — 1994.
- ↑ 3,0 3,1 3,2 3,3 3,4 Bibliothèque nationale de France data.bnf.fr (ֆր.): տվյալների բաց շտեմարան — 2011.
- ↑ https://www.mounthebroncemetery.com/interment/?id=106466#details
- ↑ 5,0 5,1 5,2 5,3 https://books.google.cat/books?id=IMgg0Uc00I4C&pg=PA617 — P. 618.
- ↑ Identifiants et Référentiels (ֆր.) — ABES, 2011.
- ↑ Mathematics Genealogy Project — 1997.
Վիքիպահեստն ունի նյութեր, որոնք վերաբերում են «Էմիլ Լեոն Պոստ» հոդվածին։ |
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից (հ․ 9, էջ 383)։ |