Вы здесьАльфред Тарский
Биография
Альфред Тарский — урожденный Альфред Тайтельбаум — родился в обеспеченной семье польских евреев. Склонность к математике впервые проявилась в школе, однако в 1918 году он поступил в Варшавский университет с намерением изучать биологию. В тот год Польша, остававшаяся до того под властью Российской империи, становится независимым государством, и Варшавский университет приобретает столичный статус. Представленный Яном Лукасевичем, Станиславом Лесневским и Вацлавом Серпинским, университет быстро выходит в мировые лидеры по логике, основаниям математики, философии математики. Математический талант Тарского был открыт Лесневским, который отговорил молодого Альфреда от биологии в пользу математики. Позднее под его руководством Тарский пишет диссертацию, и в 1924 году получает степень доктора философии. При этом он становится самым молодым доктором за историю Варшавского университета. В 1923 Альфред вместе со своим братом Вацлавом меняют фамилию на "Тарский". Эта фамилия была выбрана, потому что была простой, не очень распространенной и звучала по-польски. Тарский старался не афишировать свое еврейское происхождение, так как идентифицировал себя как поляк, и стремился быть воспринятым таковым. После защиты диссертации Тарский остается работать преподавателем в университете, ассистируя Лесневскому. За это время он публикует серию работ по логике и теории множеств, принесших ему мировую известность. В 1929 Тарский женится на Марии Витковской, с которой у них рождается двое детей: Ина и Ян. В августе 1939 он отбывает в США для участия в научном конгрессе, по счастливой случайности как раз незадолго до вторжения германских войск в Польшу. Это обстоятельство, очевидно, спасло ему жизнь — за время войны почти все члены его семьи, оставшиеся в Польше, погибли от рук нацистов. Не имея иного выбора, кроме как остаться в Соединенных Штатах, Тарский временно устраивается в Гарвардский Университет, затем меняет еще несколько мест работы в различных университетах Америки, пока не получает наконец в 1948 профессорскую вакансию в Беркли, где он остается работать до самой смерти. Здесь он создает свою знаменитую школу и заслуживает среди учеников репутацию строгого и очень требовательного руководителя. арскому принадлежит целый ряд результатов относительно разрешимости и неразрешимости формальных теорий в логике первого порядка. Его наиболее известными позитивными результатами в этом направлении являются теоремы о разрешимости действительной линейной арифметики а также евклидовой геометрии. В первом случае им был разработан и успешно применен метод элиминации кванторов, который стал одним из основных методов доказательства разрешимости теорий первого порядка. Во втором случае Тарскому также пришлось разработать собственную аксиоматизацию евклидовой геометрии, которая оказалась более удачной раннее известной аксиоматизации Гильберта. Негативные результаты по разрешимости были суммированы в 1953 в работе Неразрешимые теории, где среди прочего была показана неразрешимость теории решёток, проективной геометрии и теории алгебр с замыканием. Большое влияние оказали работы Тарского в теории множеств. Одним из его первых результатов в этой области был открытый 1924 году совместно с Банахом парадокс Банаха-Тарского. Парадокс по сути свеой сводился к следующему: из шара в евклидовом пространстве, можно путем операций разрезания, и склейки получить два шара по объему равных исходному. Объяснение парадокса состоит в том, что понятие объема не может может быть адекватно истолковано для произвольньных множеств, а именно такие "множества без объема" временно возникали в процессе построения. Парадокс имел большое значение для развития теории меры. За свою жизнь Тарский подготовил в общей сложности 24 студента, которые защитили степень доктора философии под его руководством. Среди них такие известные имена как Андрей Мостовский, Юлия Робинсон, Соломон Феферман, Ричард Монтегю, Роберт Воут а также авторы знаменитой Теории Моделей Джером Кейслер и Чен-Чунь Чен. Кроме своих непосредственных студентов Тарский поддерживал контакты со многими другими учеными, и оказывл существенное влияние на их деятельность. Среди таких Альфред Линденбаум, Дана Скотт, Леонард Гиллман. Научные результаты, полученные Тарским, представляют собой одно из высших достижений в области математической логики и оснований математики 20 в. Он оставил глубокий след во многих разделах этих наук — в теории множеств, булевой алгебре, теории моделей, в алгебрах с замыканием, в теории цилиндрических алгебр и ряде других. В исследовании общих свойств дедуктивных теорий, названном Тарским методологией дедуктивных наук, ему принадлежит одна из центральных теорем математической логики — теорема Тарского, или теорема дедукции. В работе «Семантическая концепция истины и основания семантики» (1944) Тарский заложил основы логической семантики: введя в логику понятие семантической определимости, он показал, что появление в мышлении парадоксов типа «лжец» («Критянин говорит: все критяне — лжецы») связано с тем, что такие семантические понятия, как истина, логически определимы лишь в более богатом формализованном метаязыке и неопределимы в том, где они фигурируют. Полученные Тарским в формальной семантике результаты прямо примыкают к проблематике полноты формализованных языков, связанной с теоремой К. Гёделя о неполноте. Среди областей науки, в которых вклад Тарского стал решающим, — теория многозначных логик, общая теория логических исчислений, семиотика, возникшая на основе идей Тарского в области семантики и металогики, модальная логика и другие. Среди произведений Тарского, переведенных на русский язык, — «Введение в логику и методологию дедуктивных наук» (М., 1948), «Истина и доказательство» («Вопросы философии», 1972, №8). Признанием выдающихся научных заслуг Тарского было его избрание в 1944 г. президентом Всемирного союза истории и философии науки, а в 1959 г. — президентом Международной ассоциации символической логики. Он был также членом Нидерландской королевской академии наук и искусств и многих других научных обществ и организаций. Wiki: Сортировать по: Показывать: |
Вход на сайтПоиск по блогам и форумамUser menuПоследние комментарии
nehug@cheaphub.net RE:Беженцы с Флибусты 7 часов
mig2009 RE:Подайте бедному копеечку на книжку с литреса... 19 часов Isais RE:Обновление FictionBook Editor 2 дня Alex_61 RE:Windows 7 безопасна благодаря помощи NSA??? 2 дня Саша из Киева RE:Лимонные дольки 2 дня Trinki RE:Любительские переводы 2 дня nehug@cheaphub.net RE:Подробнее о правилах, если можно? 4 дня Isais RE:Семейственность в литературе 5 дней kopak RE:Небольшой тест. 1 неделя kopak RE: День рождения человечества 1 неделя nehug@cheaphub.net RE:Как тут читать и скачивать книги? 1 неделя nehug@cheaphub.net RE:Домен и сертификаты 1 неделя Впечатления о книгах
ikravtso про Пронченко: Ален Делон (Биографии и Мемуары)
06 10 Книга не скачивается, зависает на 22-25%, а потом пишет: ошибка сети
Дей про Очень Страшный Властелин
06 10 Чёткое ощущение, что у автора шизофрения, ну или он попытался описать шизофрению у ГГ. Категорически не понравилось.
Wik@Tor про Мусаниф: Принцесса где-то там 2 [СИ] (Городское фэнтези, Самиздат, сетевая литература)
06 10 Третий раз попробовал читать автора. Не мое. Б/о
Masterion про Бубела: Адепт. Том 2. Каникулы [HL] (Фэнтези)
05 10 С изощренным мазохизмом прочел всю серию. Из говна пулю не слепишь. Когда читал как ГГ - какой-то бывший сантехник (или кто он там был в прошлой жизни - не помню уже) учит жизни королей, а драконов трахаться, несколько раз мышку стошнило. Оценка: нечитаемо
Masterion про Дашко: Враг всего сущего [Litres] (Боевая фантастика, Детективная фантастика)
05 10 Не пошло. Для настоящего детектива слишком примитивно, для фэнтези - скучно.
Masterion про Гавриленко: Теплая Птица [СИ] (Научная фантастика, Боевик, Самиздат, сетевая литература)
05 10 Книга для любителей показать окружающим свой псевдоглубокий "внутренний мир". К прочтению, страдающим терминальной стадией СПГС. Оценка: плохо
Masterion про Ротфусс: Страхи мудреца [Книга 1] [The Wise Man's Fear ru] (Фэнтези)
05 10 Это уже не фентэзи. Суд, который вошел в легенду о Квоуте он в своем рассказе обходит как несущесвенный эпизод, о чандрианах упоминиет лишь мимоходом, зато моральная маструбация вокруг Дени, которая вообще никаким боком к сюжету...
Masterion про Тихомиров: Чрезвычайный и полномочный (Фэнтези)
05 10 Рваное изложение, убогие диалоги, чукотская интрига (что вижу, то пою). Названия, с претензией на «оригинальность» - дикие земли - Диккария, и т.д. А уж речевые обороты из серии «однако диалектная картина этой страны до сих ……… Оценка: нечитаемо
Лысенко Владимир Андреевич про Берг: Господин штабс-капитан (Боевая фантастика, Исторические приключения, Самиздат, сетевая литература)
05 10 Книга понравилась, читается легко. Оценка: отлично!
udrees про Ленотр: Повседневная жизнь Парижа во времена Великой революции [Paris Revolutionnaire] (История, Культурология)
05 10 Для любителей истории Великой французской революции. Автор много места уделяет топографии, описывает место размещения домов, квартир, где жили главные персонажи, основных достопримечательностей. Описывает убранство комнат, ……… Оценка: плохо
udrees про Атаманов: Искажающие Реальность - 11 [СИ] (Боевая фантастика, Самиздат, сетевая литература)
05 10 В общем то увлекательная книга продолжение про приключения героя в виртуальном мире игры Искажающей реальность. Это уже 11-я книга, любителям серии наверняка тоже понравится. Написана легким языком, читается и воспринимается ……… Оценка: отлично!
udrees про Чалдини: Психология влияния [4-е издание] (Психология)
05 10 Полезная популярная книга по психологии о 6 орудиях влияния на человека. Книга будет полезна как для начинающих, так и опытных читателей. Возможно даже, какие-то приведенные примеры и описания окажутся для вас новыми и вы ……… Оценка: неплохо |