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

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

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

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

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

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

  1. 1,00 1,01 1,02 1,03 1,04 1,05 1,06 1,07 1,08 1,09 1,10 German National Library, Berlin State Library, Bavarian State Library et al. Record #118620851 // Gemeinsame Normdatei — 2012—2016.
  2. 2,0 2,1 2,2 2,3 2,4 2,5 data.bnf.fr: տվյալների բաց շտեմարան — 2011.
  3. 3,0 3,1 3,2 3,3 3,4 Մակտյուտոր մաթեմատիկայի պատմության արխիվ
  4. 4,0 4,1 4,2 4,3 4,4 SNAC
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 11, էջ 619 CC-BY-SA-icon-80x15.png