Известные люди

»

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

Альфред Тарский Alfred Tarskiy Карьера: Математик
Рождение: США, 14.1.1902
Выдающийся польскo-aмериканский математик, логик основатель формальной теории истинности.

Альфред Тарский урожденный Альфред Тайтельбаум родился в обеспеченной семье польских евреев. Склонность к математике впервой проявилась в школе, и все-таки в 1918 году он поступил в Варшавский вуз с намерением постигать биологию. В тот год Польша, остававшаяся до того под властью Российской Империи, становится независимым государством, и Варшавский вуз приобретает столичный статус. Представленный Яном Лукасевичем, Станиславом Лесневским и Вацлавом Серпинским, вуз стремительно выходит в мировые лидеры по логике, основаниям математики, философии математики. Математический дар Тарского был открыт Лесневским, тот, что отговорил молодого Альфреда от биологии в пользу математики. Позднее под его руководством Тарский пишет диссертацию, и в 1924 году получает уровень доктора философии. При этом он становится самым молодым доктором за историю Варшавского университета. В 1923 Альфред вкупе со своим братом Вацлавом меняют фамилию на "Тарский". Эта фамилия была выбрана, оттого что была элементарный, не крайне распространенной и звучала по-польски. Тарский старался не афишировать близкое еврейское происхождение, так как идентифицировал себя как поляк, и стремился быть воспринятым таковым. После защиты диссертации Тарский остается трудиться преподавателем в университете, ассистируя Лесневскому. За это время он публикует серию работ по логике и теории множеств, принесших ему народную известность. В 1929 Тарский женится на Марии Витковской, с которой у них рождается двое детей: Ина и Ян. В августе 1939 он отбывает в США для участия в научном конгрессе, по счастливой случайности как раз незадолго до вторжения германских войск в Польшу. Это положение, явственно, спасло ему существование за время войны без малого все члены его семьи, оставшиеся в Польше, погибли от рук нацистов. Не имея иного выбора, помимо как остаться в Соединенных Штатах, Тарский временно устраивается в Гарвардский Университет, после этого меняет ещё немного мест работы в различных университетах Америки, в то время как не получает в конце концов в 1948 профессорскую вакансию в Беркли, где он остается вкалывать до самой смерти. Здесь он создает свою знаменитую школу и заслуживает посреди учеников репутацию строгого и крайне требовательного руководителя.

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

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

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

Так же читайте биографии известных людей:
Альфред Джулс Айер Alfred Jules Ayer

Альфред Джулс Айер - английский философ-неопозитивист. Родился 29 октября 1910 года.Альфред Джулс Айер получил образование в Итоне и..
читать далее

Альфред Бине Alfred Binet

Вместе с Т.Симоном занимался проблемами социальной и педагогической психологии, обращая особое внимание на измерение интеллекта человека.
читать далее

Альфред Кинси Alfred Kinsey

В последнее время биографические фильмы стали особенно популярны - "Фрида", "Рэй", "Че Гевара". На наших глазах рождаются мифы - реальная личность..
читать далее

Альфред Кастлер Alfred Kastler

Альфред Кастлер - выдающийся французский физик. Родился 3 мая 1902 года в Германии.Альфред Кастлер является лауреатом Нобелевской премии мира по..
читать далее

Ваши комментарии
добавить комментарий