Альфрэд Тарскі

Альфрэд Та́рскі^[11] (польск.: Alfred Tarski; 14 студзеня 1901 — 26 кастрычніка 1983) — польска-амерыканскі матэматык, логік, адзін з заснавальнікаў лагічнай семантыкі^[11]. Прафесар^[11], член-карэспандэнт Брытанскай акадэміі (1966).

Альфрэд Тарскі
польск.: Alfred Tarski
Дата нараджэння	14 студзеня 1901(1901-01-14)[1][2][…]
Месца нараджэння	Варшава, Царства Польскае[3][4][…]
Дата смерці	26 кастрычніка 1983(1983-10-26)[1][5][…] (82 гады)
Месца смерці	Берклі, акруга Аламіда, Каліфорнія, ЗША[6]
Месца пахавання	Берклі
Грамадзянства	Расійская імперыя  Польшча  ЗША
Род дзейнасці	матэматык, філосаф
Навуковая сфера	логіка, тэорыя мадэлей[d] і матэматыка
Месца працы	Каліфарнійскі ўніверсітэт у Берклі[7] Гарвардскі ўніверсітэт[8][7] Гарадскі каледж Нью-Ёрка[8][7] Варшаўскі ўніверсітэт[8][9][…] Zeromski's Lycée[d][7] Інстытут перспектыўных даследаванняў[d][7]
Навуковая ступень	прафесар
Альма-матар	Варшаўскі ўніверсітэт (1924)[8][7] Szkoła Mazowiecka[d] (1918)[7][10]
Навуковы кіраўнік	Stanisław Leśniewski[d]
Вядомыя вучні	Jan Kalicki[d][7]
Член у	Нацыянальная акадэмія навук ЗША Амерыканская акадэмія мастацтваў і навук Нідэрландская каралеўская акадэмія навук Міжнародны саюз гісторыі і філасофіі навукі[d] Асацыяцыя сімвалічнай логікі[d]
Узнагароды	грант Гугенхайма (1941, 1942, 1955) honorary doctorate of the University of the Mediterranean - Aix Marseille II[d] (1977)
Цытаты ў Вікіцытатніку
Медыяфайлы на Вікісховішчы

Біяграфія

Нарадзіўся ў Варшаве. У 1924 годзе скончыў Варшаўскі ўніверсітэт. З 1926 года займаў у ім пасаду дацэнта. З 1939 года ў эміграцыі ў ЗША. З 1942 года працаваў у Гарвардскім універсітэце. Працаваў у Інстытуце вышэйшых даследаванняў у Прынстане^[12]. З 1946 года Альфрэд Тарскі прафесар Каліфарнійскага ўніверсітэта ў Берклі.

Займаў пасаду прэзідэнта Міжнароднага саюза гісторыі і філасофіі навукі, прэзідэнтам Асацыяцыі сімвалічнай логікі, членам Нідэрландскай каралеўскай акадэміі навук і мастацтваў^[12].

Навуковая дзейнасць

Альфрэд Тарскі лічыў логіку асновай ўсіх навук, галоўная задача якой — вызначэнне дакладнага сэнсу тэрмінаў і выяўленне агульных заканамернасцей^[11]. Зрабіў значны ўклад у распрацоўку алгарытмічных метадаў вылічэння прэдыкатаў, тэорый мностваў, мадэлей, матэматычную логіку і логіку выказванняў. Аўтар прац па метадалогіі дэдуктыўных навук. Працы Альфрэда Тарскага па семантыцы і металогіцы аказалі ўплыў на развіццё семіётыкі і паслужылі ўзорам выкарыстання фармальных метадаў пры аналізе змястоўных тэорый і праблем.