Альфред Тарский
Биография
Альфред Тарский, настоящее имя Альфред Тайтельбаум, родился 14 января 1901 года в Варшаве, Польша. Он стал одним из самых выдающихся математиков и логиков своего времени.
Детство и образование
Альфред родился в обеспеченной польско-еврейской семье. Его отец, Игнац, был уроженцем Варшавы, а мать, Роза, была наследницей крупной текстильной мануфактуры. Уже в школе проявилась склонность Альфреда к математике, и в 1918 году он поступил в Варшавский университет с намерением изучать биологию. Однако его наставники университета узнали о его математическом таланте и убедили его сменить направление. В 1924 году он получил докторскую степень философии, став самым молодым доктором в истории университета.
Карьера и достижения
После защиты диссертации Тарский остался преподавать в Варшавском университете и публиковать свои работы по логике и теории множеств. В 1929 году он женился на Марии Витковской, и у них в браке родились двое детей. В 1939 году Тарский поехал в США для участия в научном конгрессе, и по счастливой случайности оказался вне Польши во время вторжения нацистов. Оставшись в Соединенных Штатах, он временно работал в Гарвардском университете, а затем перешел в Беркли, где провел большую часть своей карьеры.
Тарский принес огромный вклад в развитие формальной теории истинности и логики первого порядка. Среди его наиболее известных результатов - разработка метода элиминации кванторов и доказательство разрешимости действительной линейной арифметики и евклидовой геометрии. Он также занимался исследованиями в области теории меры, где он вместе с Банахом открыл парадокс, связанный с объемом множества в евклидовом пространстве.
Ученики и научное наследие
За свою жизнь Тарский подготовил 24 студента, которые защитили докторскую степень под его руководством. Среди них такие известные имена, как Анджей Мостовский, Дж. Робинсон, Соломон Феферман и Ричард Монтегю. Он также поддерживал контакты и оказывал влияние на многих других ученых, включая Адольфа Линденбаума и Дану Скотта. Его работа исследователя и наставника оказала значительное влияние на математику и логику, и его научное наследие продолжается до сегодняшнего дня.