Альфред Тарский

Альфред Тарский

Выдающийся польскo-aмериканский математик, логик основатель формальной теории истинности.
Дата рождения: 14.01.1902
Страна: США

Биография Альфреда Тарского

Альфред Тарский, выдающийся польско-американский математик и логик, известен как основатель формальной теории истинности. Он родился под именем Альфред Тайтельбаум в обеспеченной семье польских евреев. Склонность к математике проявилась в школе, но после окончания среднего образования он поступил в Варшавский университет с намерением изучать биологию. В университете Тарский был представлен Яном Лукасевичем, Станиславом Лесневским и Вацлавом Серпинским, ведущими учеными в области логики и математики. Это стало решающим моментом в его карьере, так как Лесневский отговорил молодого Альфреда от биологии и убедил его выбрать математику как основную область исследований. Под руководством Лесневского Тарский написал свою диссертацию и в 1924 году получил степень доктора философии, став самым молодым доктором в истории Варшавского университета.

В 1923 году Альфред и его брат Вацлав сменили фамилию на "Тарский". Они выбрали эту фамилию, потому что она была простой, не очень распространенной и звучала по-польски. Тарский стремился скрыть свое еврейское происхождение и идентифицировал себя как поляк.

После защиты диссертации Тарский остался работать в Варшавском университете, где преподавал и ассистировал Лесневскому. За это время он опубликовал ряд работ по логике и теории множеств, которые принесли ему мировую известность. В 1929 году Тарский женился на Марии Витковской, и у них родились двое детей.

В августе 1939 года, незадолго до вторжения германских войск в Польшу, Тарский отправился в США на научный конгресс. Это случайно спасло ему жизнь, так как почти все его родственники, оставшиеся в Польше, погибли во время войны. Оставшись без другого выбора, кроме как остаться в Соединенных Штатах, Тарский временно присоединился к Гарвардскому университету, а затем работал в нескольких университетах по всей Америке, прежде чем получить профессорскую вакансию в Беркли в 1948 году. Здесь он организовал свою знаменитую школу и стал уважаемым руководителем.

Тарский внес значительный вклад в развитие разрешимости и неразрешимости формальных теорий в логике первого порядка. Он разработал успешный метод элиминации кванторов, который стал одним из основных методов доказательства разрешимости теорий первого порядка. Он также разработал аксиоматизацию евклидовой геометрии, которая оказалась более удачной, чем ранее известная аксиоматика Гильберта.

Тарским был также известен его вклад в теорию множеств. В 1924 году он совместно с Банахом открыл парадокс Банаха-Тарского, который показал, что из одного шара в евклидовом пространстве можно получить два шара равного объема путем операций разрезания и склеивания. Этот парадокс имел большое значение для развития теории меры.

В течение своей жизни Тарский подготовил 24 студента, которые защитили степень доктора философии под его руководством. Он также оказал значительное влияние на многих других ученых, включая Альфреда Линденбаума, Дану Скотта и Леонарда Гиллмана.

© BIOGRAPHS