Тарский, Альфред
Альфред Тарский | |
---|---|
пол. Alfred Tarski | |
![]() | |
Имя при рождении | пол. Alfred Tajtelbaum[1] |
Дата рождения | 14 января 1901 |
Место рождения | Варшава, Царство Польское, Российская империя |
Дата смерти | 26 октября 1983 (82 года) |
Место смерти | Беркли, Калифорния, США |
Страна | |
Род деятельности | математик, философ |
Научная сфера | математика, логика |
Место работы | Калифорнийский университет в Беркли |
Альма-матер | Варшавский университет |
Учёная степень | профессор |
Научный руководитель | Станислав Лесьневский |
Ученики | Джулия Робинсон |
Награды и премии | |
![]() | |
![]() |
Альфред Тарский (пол. Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966).
Биография
[править | править код]Альфред Тарский — урождённый Альфред Тайтельбаум — родился в обеспеченной семье польских евреев Игнаца (Исаака) Тайтельбаума (1869—1942) и Розы (Рахили) Пруссак (1879—1942), старшим из двух сыновей.[2] Семье матери принадлежала крупная текстильная мануфактура в Лодзи, а её дед — Абрам Моисей Пруссак — основал первую в городе деревообрабатывающую фабрику. Отец был уроженцем Варшавы, по отцовской линии родственниками Тарского были философ Жанна Эрш и её брат, математик Йозеф Херш (1925—2012).[3][4][5]
Склонность к математике впервые проявилась в школе, однако в 1918 году он поступил в Варшавский университет с намерением изучать биологию. В тот год Польша, остававшаяся до того под властью Российской империи, становится независимым государством, и Варшавский университет приобретает столичный статус. Представленный Яном Лукасевичем, Станиславом Лесьневским и Вацлавом Серпинским, университет быстро выходит в мировые лидеры по логике, основаниям математики, философии математики. Математический талант Тарского был открыт Лесьневским, который отговорил молодого Альфреда от биологии в пользу математики. Позднее под его руководством Тарский пишет диссертацию, и в 1924 году получает степень доктора философии. При этом он становится самым молодым доктором за историю Варшавского университета. В 1923 году по совету Лесьневского Альфред вместе со своим братом Вацлавом (1903—1944) принимают христианство[6][7] и меняют фамилию сначала на «Тайтельбаум-Тарский»,[8][9] а 21 марта 1924 года на «Тарский».
После защиты диссертации Тарский остаётся работать преподавателем в университете, ассистируя Лесьневскому. За это время он публикует серию работ по логике и теории множеств, принёсших ему мировую известность. В 1929 году Тарский женится на Марии Витковской, с которой у них рождается двое детей: Ина и Ян. В августе 1939 года он отбывает в США для участия в научном конгрессе, по счастливой случайности как раз незадолго до вторжения германских войск в Польшу. Это обстоятельство, очевидно, спасло ему жизнь — за время войны почти все члены его семьи, оставшиеся в Польше, включая родителей и брата, погибли от рук нацистов. Не имея иного выбора, кроме как остаться в Соединённых Штатах, Тарский временно устраивается в Гарвардский Университет, затем меняет ещё несколько мест работы в различных университетах Америки, пока не получает наконец в 1948 году профессорскую вакансию в Беркли, где он остаётся работать до самой смерти. Здесь он создаёт свою знаменитую школу и заслуживает среди учеников репутацию строгого и очень требовательного руководителя.
Вклад в математику
[править | править код]Тарскому принадлежит целый ряд результатов относительно разрешимости и неразрешимости формальных теорий в логике первого порядка. Его наиболее известными позитивными результатами в этом направлении являются теоремы о разрешимости действительной линейной арифметики, а также евклидовой геометрии. В первом случае им был разработан и успешно применён метод элиминации кванторов, который стал одним из основных методов доказательства разрешимости теорий первого порядка. Во втором случае Тарскому также пришлось разработать собственную аксиоматизацию евклидовой геометрии, которая оказалась более удачной ранее известной аксиоматизации Гильберта. Негативные результаты по разрешимости были суммированы в 1953 в работе Неразрешимые теории, где среди прочего была показана неразрешимость теории решёток, проективной геометрии и теории алгебр с замыканием.
Большое влияние оказали работы Тарского в теории множеств. Одним из его первых результатов в этой области был открытый в 1924 году совместно с Банахом парадокс Банаха — Тарского. Парадокс в сущности сводился к следующему: из шара в евклидовом пространстве можно путём операций разрезания и склейки получить два шара, по объёму равных исходному. Объяснение парадокса состоит в том, что понятие объёма не может быть адекватно истолковано для произвольных множеств, а именно такие «множества без объёма» временно возникали в процессе построения. Парадокс имел большое значение для развития теории меры.
- Аксиоматика Тарского
- Алгоритм Тарского
- Задача о покрытии полосками
- Задача Тарского по школьной алгебре
- Парадокс Банаха — Тарского
- Теорема Кнастера — Тарского
- Теорема Тарского о невыразимости истины
- Теория конкатенации Тарского
Школа Тарского и влияние в науке
[править | править код]За свою жизнь Тарский подготовил в общей сложности 24 студента, которые защитили степень доктора философии под его руководством. Среди них такие известные имена как Анджей Мостовский, Дж. Робинсон, Соломон Феферман, Ричард Монтегю, Роберт Воут, а также авторы знаменитой книги «Теория моделей» Джером Кейслер и Чан Чэньчун. Кроме своих непосредственных студентов, Тарский поддерживал контакты со многими другими учёными, и оказывал существенное влияние на их деятельность. Среди таких Адольф Линденбаум, Дана Скотт, Леонард Гиллман.
Библиография
[править | править код]- Тарский А. Введение в логику и методологию дедуктивных наук. М.: Иностранная литература, 1948.
- Тарский А. Истина и доказательство // Вопросы философии. 1972. № 8. С. 136—145.
- Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. М.: РОСПЭН, 1999.
- Тарский А. Семантическая концепция истины и основания семантики / Пер. А. Л. Никифорова.
Примечания
[править | править код]- ↑ https://books.google.cat/books?id=wqktlxHo9wkC&pg=PA36 — С. 36.
- ↑ Alfred Tarski: Life and Logic
- ↑ To the memory of Joseph Hersch
- ↑ Anita Burdman Feferman and Solomon Feferman «Alfred Tarski: Life and Logic» . Дата обращения: 2 июня 2014. Архивировано 2 июня 2014 года.
- ↑ The Two Tarskis . Дата обращения: 2 июня 2014. Архивировано 5 июня 2014 года.
- ↑ Тарский Альфред — статья из Электронной еврейской энциклопедии
- ↑ Feferman, 2004, p. 294.
- ↑ The Palgrave Centenary Companion to Principia Mathematica
- ↑ Andrzej Mostowski and Foundational Studies: «Lindenbaum, Presburger, Tarski and Wajsberg were Jews, but Lesniewski and Sobocinski (later also Lukasiewicz) were strongly antisemitic. This later point created various tensions, also concerning academic positions... Lesniewski, his doctoral promoter, advised him to assimilate to have a better chance for an academic promotion».
Литература
[править | править код]- В. Л. Васюков. Тарский // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
- Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Life and Logic. — Cambridge University Press, 2004. — 425 p. — ISBN 9780521802406.
- Та́рский Альфред // Струнино — Тихорецк. — М. : Советская энциклопедия, 1976. — С. 280. — (Большая советская энциклопедия : [в 30 т.] / гл. ред. А. М. Прохоров ; 1969—1978, т. 25).
- Финн В. Та́рский Альфред // Философская энциклопедия: [в 5 т.] — Т. 5. Специальные системы — Яшты / гл. ред. Ф. В. Константинов. — М. : Советская энциклопедия, 1970. — С. 183. — 740 с. с ил., 1 л. порт. — 60 500 экз.
Ссылки
[править | править код]- Родившиеся 14 января
- Родившиеся в 1901 году
- Персоналии по алфавиту
- Родившиеся в Варшаве
- Умершие 26 октября
- Умершие в 1983 году
- Стипендиаты Гуггенхайма
- Учёные по алфавиту
- Философы-аналитики
- Математики XX века
- Математики Польши
- Логики Польши
- Философы Польши
- Математики по алфавиту
- Философы XX века
- Члены-корреспонденты Британской академии
- Члены Национальной академии наук США
- Выпускники Варшавского университета
- Почётные члены Нидерландского королевского математического общества
- Почётные доктора Университета Калгари
- Иммигрировавшие в США из Польши