Ալֆրեդ Տարսկի
Ալֆրեդ Տարսկի (հունվարի 14, 1901[1][2][3][…], Վարշավա, Լեհական թագավորություն[4][5] - հոկտեմբերի 26, 1983[1][2][6][…], Բերկլի, Ալամեդա շրջան, Կալիֆոռնիա, ԱՄՆ[7]), լեհ փիլիսոփա, պատմաբան և մաթեմատիկոս, Լվով-Վարշավյան դպրոցի գլխավոր ներկայացուցիչներից։
Գործունեություն
խմբագրել1939 թվականից ապրել է ԱՄՆ-ում։ Նշանակալի ավանդ ունի մոդելների տեսության, հասկացությունների որոշարկելիության տեսության, պրեդիկատների հաշվի հետազոտման հանրահաշվական մեթոդների զարգացման, անվերջ երկարության բանաձևերով տրամաբանությունների տեսության, բազմարժեք տրամաբանության բնագավառում և մաթեմատիկական տրամաբանության ու մաթեմատիկայի հիմունքների այլ բաժիններում։ Ձևական իմաստաբանության հիմնադիրն է։ «Ճշմարտության հասկացությունը ձևայնացված լեզուներում» աշխատության մեշ սահմանել է ճշմարտության դասական հասկացությունը ձևայնացված լեզուների մեծ խմբի համար։ Տարսկիի մի շարք ուսումնասիրություններ ունի դեդուկտիվ գիտությունների մեթոդաբանության բնագավառում։ Իմաստաբանությանը և մետատրամաբանությանը նվիրված նրա աշխատությունները մեծ ազդեցություն են ունեցել նշանագիտության զարգացման վրա և բովանդակային պրոբլեմների ու տեսությունների վերլուծության մեջ ձևական մեթոդներ կիրառելու օրինակ ծառայել։
Ծանոթագրություններ
խմբագրել- ↑ 1,0 1,1 1,2 1,3 1,4 1,5 Bibliothèque nationale de France data.bnf.fr (ֆր.): տվյալների բաց շտեմարան — 2011.
- ↑ 2,00 2,01 2,02 2,03 2,04 2,05 2,06 2,07 2,08 2,09 2,10 2,11 2,12 2,13 2,14 Մակտյուտոր մաթեմատիկայի պատմության արխիվ — 1994.
- ↑ 3,0 3,1 Սոլոմոն Գուգենհայմի թանգարան — 1937.
- ↑ 4,0 4,1 4,2 https://history.computer.org/pioneers/tarski.html
- ↑ 5,0 5,1 5,2 http://texts.cdlib.org/view?docId=hb4d5nb20m&doc.view=frames&chunk.id=div00159&toc.depth=1&toc.id=
- ↑ 6,0 6,1 6,2 Բրոքհաուզի հանրագիտարան (գերմ.)
- ↑ 7,0 7,1 7,2 Deutsche Nationalbibliothek Record #118620851 // Gemeinsame Normdatei (գերմ.) — 2012—2016.
- ↑ 8,0 8,1 8,2 8,3 8,4 Guggenheim Fellows-ի տվյալների բազա
- ↑ Notable Names Database — 2002.
- ↑ Google Books(բազմ․) — 2005. — P. 4.
- ↑ 11,0 11,1 11,2 CONOR.Sl
- ↑ 12,00 12,01 12,02 12,03 12,04 12,05 12,06 12,07 12,08 12,09 12,10 12,11 12,12 12,13 12,14 12,15 12,16 12,17 12,18 12,19 12,20 12,21 12,22 12,23 12,24 12,25 Mathematics Genealogy Project — 1997.
Վիքիպահեստն ունի նյութեր, որոնք վերաբերում են «Ալֆրեդ Տարսկի» հոդվածին։ |
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից (հ․ 11, էջ 619)։ |