Вы здесьАльфред Тарский
Биография
Альфред Тарский — урожденный Альфред Тайтельбаум — родился в обеспеченной семье польских евреев. Склонность к математике впервые проявилась в школе, однако в 1918 году он поступил в Варшавский университет с намерением изучать биологию. В тот год Польша, остававшаяся до того под властью Российской империи, становится независимым государством, и Варшавский университет приобретает столичный статус. Представленный Яном Лукасевичем, Станиславом Лесневским и Вацлавом Серпинским, университет быстро выходит в мировые лидеры по логике, основаниям математики, философии математики. Математический талант Тарского был открыт Лесневским, который отговорил молодого Альфреда от биологии в пользу математики. Позднее под его руководством Тарский пишет диссертацию, и в 1924 году получает степень доктора философии. При этом он становится самым молодым доктором за историю Варшавского университета. В 1923 Альфред вместе со своим братом Вацлавом меняют фамилию на "Тарский". Эта фамилия была выбрана, потому что была простой, не очень распространенной и звучала по-польски. Тарский старался не афишировать свое еврейское происхождение, так как идентифицировал себя как поляк, и стремился быть воспринятым таковым. После защиты диссертации Тарский остается работать преподавателем в университете, ассистируя Лесневскому. За это время он публикует серию работ по логике и теории множеств, принесших ему мировую известность. В 1929 Тарский женится на Марии Витковской, с которой у них рождается двое детей: Ина и Ян. В августе 1939 он отбывает в США для участия в научном конгрессе, по счастливой случайности как раз незадолго до вторжения германских войск в Польшу. Это обстоятельство, очевидно, спасло ему жизнь — за время войны почти все члены его семьи, оставшиеся в Польше, погибли от рук нацистов. Не имея иного выбора, кроме как остаться в Соединенных Штатах, Тарский временно устраивается в Гарвардский Университет, затем меняет еще несколько мест работы в различных университетах Америки, пока не получает наконец в 1948 профессорскую вакансию в Беркли, где он остается работать до самой смерти. Здесь он создает свою знаменитую школу и заслуживает среди учеников репутацию строгого и очень требовательного руководителя. арскому принадлежит целый ряд результатов относительно разрешимости и неразрешимости формальных теорий в логике первого порядка. Его наиболее известными позитивными результатами в этом направлении являются теоремы о разрешимости действительной линейной арифметики а также евклидовой геометрии. В первом случае им был разработан и успешно применен метод элиминации кванторов, который стал одним из основных методов доказательства разрешимости теорий первого порядка. Во втором случае Тарскому также пришлось разработать собственную аксиоматизацию евклидовой геометрии, которая оказалась более удачной раннее известной аксиоматизации Гильберта. Негативные результаты по разрешимости были суммированы в 1953 в работе Неразрешимые теории, где среди прочего была показана неразрешимость теории решёток, проективной геометрии и теории алгебр с замыканием. Большое влияние оказали работы Тарского в теории множеств. Одним из его первых результатов в этой области был открытый 1924 году совместно с Банахом парадокс Банаха-Тарского. Парадокс по сути свеой сводился к следующему: из шара в евклидовом пространстве, можно путем операций разрезания, и склейки получить два шара по объему равных исходному. Объяснение парадокса состоит в том, что понятие объема не может может быть адекватно истолковано для произвольньных множеств, а именно такие "множества без объема" временно возникали в процессе построения. Парадокс имел большое значение для развития теории меры. За свою жизнь Тарский подготовил в общей сложности 24 студента, которые защитили степень доктора философии под его руководством. Среди них такие известные имена как Андрей Мостовский, Юлия Робинсон, Соломон Феферман, Ричард Монтегю, Роберт Воут а также авторы знаменитой Теории Моделей Джером Кейслер и Чен-Чунь Чен. Кроме своих непосредственных студентов Тарский поддерживал контакты со многими другими учеными, и оказывл существенное влияние на их деятельность. Среди таких Альфред Линденбаум, Дана Скотт, Леонард Гиллман. Научные результаты, полученные Тарским, представляют собой одно из высших достижений в области математической логики и оснований математики 20 в. Он оставил глубокий след во многих разделах этих наук — в теории множеств, булевой алгебре, теории моделей, в алгебрах с замыканием, в теории цилиндрических алгебр и ряде других. В исследовании общих свойств дедуктивных теорий, названном Тарским методологией дедуктивных наук, ему принадлежит одна из центральных теорем математической логики — теорема Тарского, или теорема дедукции. В работе «Семантическая концепция истины и основания семантики» (1944) Тарский заложил основы логической семантики: введя в логику понятие семантической определимости, он показал, что появление в мышлении парадоксов типа «лжец» («Критянин говорит: все критяне — лжецы») связано с тем, что такие семантические понятия, как истина, логически определимы лишь в более богатом формализованном метаязыке и неопределимы в том, где они фигурируют. Полученные Тарским в формальной семантике результаты прямо примыкают к проблематике полноты формализованных языков, связанной с теоремой К. Гёделя о неполноте. Среди областей науки, в которых вклад Тарского стал решающим, — теория многозначных логик, общая теория логических исчислений, семиотика, возникшая на основе идей Тарского в области семантики и металогики, модальная логика и другие. Среди произведений Тарского, переведенных на русский язык, — «Введение в логику и методологию дедуктивных наук» (М., 1948), «Истина и доказательство» («Вопросы философии», 1972, №8). Признанием выдающихся научных заслуг Тарского было его избрание в 1944 г. президентом Всемирного союза истории и философии науки, а в 1959 г. — президентом Международной ассоциации символической логики. Он был также членом Нидерландской королевской академии наук и искусств и многих других научных обществ и организаций. Wiki: Сортировать по: Показывать: |
Вход на сайтПоиск по блогам и форумамUser menuПоследние комментарии
Саша из Киева RE:Соха и Пятикнижие 17 часов
нэнси RE:Подайте бедному копеечку на книжку с литреса... 1 день Саша из Киева RE:Этот контрастный мир 1 день sibkron RE:Международная Букеровская премия (лауреаты) 2 дня Саша из Киева RE:Братья родные 2 дня nehug@cheaphub.net RE:не открывается книга 4 дня nehug@cheaphub.net RE:Доступ 1 неделя sibkron RE:«Македонский роман XXI века 1 неделя sem14 RE:Рассказы Южных морей 1 неделя weis RE:Прошу переформатировать, распознать, etc... 1 неделя arkadybi RE:Абонемент 2 недели babajga RE:Комната в башне 2 недели Саша из Киева RE:Герои Израиля 2 недели babajga RE:сиреневая звезда 2 недели babajga RE:Сказки Папоротникового Леса 2 недели sem14 RE:вопрос 2 недели sem14 RE:Премия «Небьюла» (Nebula Award) 3 недели Isais RE:Maxima-library - переезд 3 недели Впечатления о книгах
Aleks_Sim про Дубнов: Книга жизни [воспоминания и размышления] (Биографии и Мемуары)
08 07 offe00 про Дубнов: Книга жизни [воспоминания и размышления] - Просьба перевести эту книгу в другой, читаемый формат - ЕСЛИ возьметесь за вычитку fb-формата то я дам ссылку на файл
Стармех про Осадчук: Поход [СИ] (Боевая фантастика, Героическая фантастика, Фэнтези, Самиздат, сетевая литература)
08 07 Хорошая серия, буду ждать продолжения Оценка: отлично!
Добила про Андрей Вичурин
07 07 Не читаемо. Не осилил даже первой части! Автор скачет по двум героям,а сам сюжет ни в одной из линий не развивается,нудятина ни о чём,читать невозможно!
alexk про Еленец: Равновесие [litres] (Боевая фантастика, Детективная фантастика)
07 07 Контробандист " ? Правда чтоле? так прям и издали?
decim про Щепетнёв: Освобождение (Альтернативная история, Социальная фантастика, Рассказ)
07 07 Потыкали ботву носом в нелёгкую реальность, ботва пищит: "мы не ср*м!". Не подозревают убогие, что именно оно за реальность считают и в том признались. Оценка: хорошо
decim про Волина: Точное будущее. Лучшая фантастика – 2024 [сборник litres] (Боевая фантастика, Космическая фантастика, Социальная фантастика, Научная фантастика)
07 07 Сборник хороший, за двумя исключениями. Лукьяненко - исписался в край и уже не может работать даже приманкой. Казаков - нечто, похожее на эссе "про всё хорошее" из далёких 60-х. Остальное хорошо. Социальный пессимизм ……… Оценка: хорошо
polyn про Ивлиева: Триггер убийства [litres] (Полицейский детектив, Триллер)
07 07 Очень удачное знакомство с новым автором. Ивлиева, прежде известная своими сказками, теперь представляет детективы. Ее дебют в этом жанре оказался удачным. Книга увлекательная, легкая и быстро читается. Особенно выделяется ……… Оценка: отлично!
Старший про Поселягин: Док [litres] (Фэнтези, Попаданцы)
06 07 Сказка с очень большими роялями.Оценка неплохо.
udrees про Михайлов: Инфер-9 [СИ] (Боевая фантастика, Киберпанк, Постапокалипсис, Самиздат, сетевая литература)
06 07 Написано хорошо, значительно отличаясь от предыдущих книг серии. По идее, 8-я книга могла стать последней в серии, но добавилась 9-я, где все опять вернулось к истокам. Гоблин Оди снова один, без своих компаньонов, и снова ……… Оценка: отлично!
udrees про Михайлов: Инфер-8 [СИ] (Боевая фантастика, Киберпанк, Постапокалипсис, Самиздат, сетевая литература)
06 07 По идее это была бы достойной завершения серии книга. Вроде бы все сюжетные задания выполнены, плюс самому герою тоже изрядно подрезали крылья, сообщив пакостную весть об его здоровье. Описаний кровавых сцен хватает, как ……… Оценка: отлично!
obivatel про Прозоров: Слово воина (Фэнтези, Попаданцы)
06 07 Не понимаю, как он мог набрать такое кол-во положительных отзывов. До финиша добраться не смог, насиловать себя не стану. Оценка: плохо
Oleg68 про Туомайнен: Фактор кролика [litres] (Иронический детектив, Детективы: прочее)
04 07 Книга понравилась. Действительно не обычно. Присутствует и юмор, и криминал, и любовь. Оценка: отлично! |