Тарский, Альфред: различия между версиями

| Дата смерти = 26.10.1983

| Место смерти = [[Беркли (Калифорния)|Беркли]], [[Калифорния]], [[США]]

| Гражданство =

| Научная сфера = [[математика]], [[логика]]

| Место работы =

| Альма-матер =

| Научный руководитель =

| Награды и премии =

Альфред Тарский  — урожденный Альфред Тайтельбаум  — родился в обеспеченной семье польских евреев Игнаца Тайтельбаума и Розы Пруссак. Склонность к математике впервые проявилась в школе, однако в [[1918 год]] годуу он поступил в [[Варшавский университет]] с намерением изучать [[биология|биологию]]. В тот год [[Польша]], остававшаяся до того под властью [[Российская империя|Российской империи]], становится независимым государством, и Варшавский университет приобретает столичный статус. Представленный [[Лукасевич, Ян|Яном Лукасевичем]], [[Лесневский, Станислав|Станиславом Лесневским]] и [[Вацлав Серпинский|Вацлавом Серпинским]], университет быстро выходит в мировые лидеры по логике, основаниям математики, философии математики. Математический талант Тарского был открыт Лесневским, который отговорил молодого Альфреда от биологии в пользу математики. Позднее под его руководством Тарский пишет диссертацию, и в [[1924 год]] годуу получает степень [[PhD|доктора философии]]. При этом он становится самым молодым доктором за историю Варшавского университета. В [[1923]] Альфред вместе со своим братом Вацлавом принимают христианство<ref>{{ЭЕЭ|14047|Тарский Альфред}}</ref><ref>{{cite book

}}, p.294</ref> и меняют фамилию на "«Тарский"». Эта фамилия была выбрана, потому что была простой, не очень распространённой и звучала по-польски. Тарский старался не афишировать своё еврейское происхождение, так как идентифицировал себя как поляк, и стремился быть воспринятым таковым. После защиты диссертации Тарский остаётся работать преподавателем в университете, ассистируя Лесневскому. За это время он публикует серию работ по логике и теории множеств, принёсших ему мировую известность. В [[1929]] Тарский женится на Марии Витковской, с которой у них рождается двое детей: Ина и Ян. В августе [[1939]] он отбывает в США для участия в научном конгрессе, по счастливой случайности как раз незадолго до [[Польская кампания (1939)|вторжения германских войск в Польшу]]. Это обстоятельство, очевидно, спасло ему жизнь  — за время войны почти все члены его семьи, оставшиеся в Польше, погибли от рук нацистов. Не имея иного выбора, кроме как остаться в Соединённых Штатах, Тарский временно устраивается в [[Гарвардский Университет]], затем меняет ещё несколько мест работы в различных университетах Америки, пока не получает наконец в [[1948]] профессорскую вакансию в [[Калифорнийский университет в Беркли|Беркли]], где он остаётся работать до самой смерти. Здесь он создаёт свою знаменитую школу и заслуживает среди учеников репутацию строгого и очень требовательного руководителя.

Тарскому принадлежит целый ряд результатов относительно [[разрешимость|разрешимости]] и неразрешимости [[формальная теория|формальных теорий]] в [[логика первого порядка|логике первого порядка]]. Его наиболее известными позитивными результатами в этом направлении являются теоремы о разрешимости [[действительная линейная арифметика|действительной линейной арифметики]] а также [[Евклидова геометрия|евклидовой геометрии]]. В первом случае им был разработан и успешно применён [[элиминация кванторов|метод элиминации кванторов]], который стал одним из основных методов доказательства разрешимости теорий первого порядка. Во втором случае Тарскому также пришлось разработать собственную [[аксиоматизация|аксиоматизацию]] евклидовой геометрии, которая оказалась более удачной раннее известной аксиоматизации [[Гильберт, Давид|Гильберта]]. Негативные результаты по разрешимости были суммированы в 1953 в работе ''Неразрешимые теории'', где среди прочего была показана неразрешимость [[теория решёток|теории решёток]], [[Проективная геометрия|проективной геометрии]] и теории [[алгебра с замыканием|алгебр с замыканием]].

Большое влияние оказали работы Тарского в [[Теория множеств|теории множеств]]. Одним из его первых результатов в этой области был открытый 1924 году совместно с [[Банах, Стефан|Банахом]] [[Парадокс Банаха — Тарского]]. Парадокс по сути своей сводился к следующему: из шара в евклидовом пространстве можно путём операций разрезания и склейки получить два шара, по объёму равных исходному. Объяснение парадокса состоит в том, что понятие объёма не может быть адекватно истолковано для произвольных множеств, а именно такие "«множества без объёма"» временно возникали в процессе построения. Парадокс имел большое значение для развития [[Теория меры|теории меры]].

* ''Тарский А.'' [http://antakov.ru/tarsky-truth/ Истина и доказательство] // Вопросы философии. 1972. №  8. С. 136—145.

* ''Тарский А.'' [http://khazarzar.skeptik.net/books/tarski01.htm Семантическая концепция истины и основания семантики] / Пер. А.  Л.  Никифорова.