Ալֆրեդ Տարսկի

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Picto Info sciences exactes.png
Ալֆրեդ Տարսկի
Alfred Tarski
Alfred Tarski.jpeg
Ծնվել է հունվարի 14, 1901({{padleft:1901|4|0}}-{{padleft:1|2|0}}-{{padleft:14|2|0}})[1][2][3][4]
Վարշավա, Ռուսական կայսրություն[1]
Մահացել է հոկտեմբերի 26, 1983({{padleft:1983|4|0}}-{{padleft:10|2|0}}-{{padleft:26|2|0}})[1][2][3][4] (82 տարեկանում)
Բերկլի, Ալամեդա շրջան, Կալիֆոռնիա, Ամերիկայի Միացյալ Նահանգներ[1]
Գերեզման Բերկլի
Քաղաքացիություն Flag of Poland.svg Լեհաստան
Դավանանք կաթոլիկություն
Մասնագիտություն մաթեմատիկոս և փիլիսոփա
Հաստատություն(ներ) Կալիֆորնիայի համալսարան, Բերքլի և Հարվարդի համալսարան
Գործունեության ոլորտ Տրամաբանություն և մոդելների տեսություն
Անդամակցություն ԱՄՆ-ի Գիտությունների ազգային ակադեմիա, Արվեստների և գիտությունների ամերիկյան ակադեմիա, Լեհական գիտությունների ակադեմիա և Նիդեռլանդական արվեստների և գիտությունների թագավորական ակադեմիա
Ալմա մատեր Վարշավայի համալսարան
Տիրապետում է լեզուներին անգլերեն[5]
Գիտական ղեկավար Ստանիսլավ Լեսնիեվսկի
Եղել է գիտական ղեկավար Սոլոմոն Ֆեֆերման, Հաիմ Գաիֆման, Բյարնի Յոնսոն, Հոուարդ Կեյսլեր, Ռոժե Մադու, Ռիչարդ Մոնտեգյու, Անդժեյ Մոստովսկի, Ջուլիա Ռոբինսոն և Ռոբերտ Լոուսոն Վոութ
Հայտնի աշակերտներ Ջուլիա Ռոբինսոն
Պարգևներ
Alfred Tarski Վիքիպահեստում

Ալֆրեդ Տարսկի (հունվարի 14, 1901({{padleft:1901|4|0}}-{{padleft:1|2|0}}-{{padleft:14|2|0}})[1][2][3][4], Վարշավա, Ռուսական կայսրություն[1] - հոկտեմբերի 26, 1983({{padleft:1983|4|0}}-{{padleft:10|2|0}}-{{padleft:26|2|0}})[1][2][3][4], Բերկլի, Ալամեդա շրջան, Կալիֆոռնիա, Ամերիկայի Միացյալ Նահանգներ[1]), լեհ փիլիսոփա, պատմաբան և մաթեմատիկոս, Լվով-Վարշավյան դպրոցի գլխավոր ներկայացուցիչներից։

Գործունեություն[խմբագրել | խմբագրել կոդը]

1939 թվականից ապրել է ԱՄՆ-ում։ Նշանակալի ավանդ ունի մոդելների տեսության, հասկացությունների որոշարկելիության տեսության, պրեդիկատների հաշվի հետազոտման հանրահաշվական մեթոդների զարգացման, անվերջ երկարության բանաձևերով տրամաբանությունների տեսության, բազմարժեք տրամաբանության բնագավառում և մաթեմատիկական տրամաբանության ու մաթեմատիկայի հիմունքների այլ բաժիններում։ Ձևական իմաստաբանության հիմնադիրն է։ «Ճշմարտության հասկացությունը ձևայնացված լեզուներում» աշխատության մեշ սահմանել է ճշմարտության դասական հասկացությունը ձևայնացված լեզուների մեծ խմբի համար։ Տարսկիի մի շարք ուսումնասիրություններ ունի դեդուկտիվ գիտությունների մեթոդաբանության բնագավառում։ Իմաստաբանությանը և մետատրամաբանությանը նվիրված նրա աշխատությունները մեծ ազդեցություն են ունեցել նշանագիտության զարգացման վրա և բովանդակային պրոբլեմների ու տեսությունների վերլուծության մեջ ձևական մեթոդներ կիրառելու օրինակ ծառայել։

Ծանոթագրություններ[խմբագրել | խմբագրել կոդը]


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