Открыть главное меню

Мостовский, Анджей

А́нджей Стани́слав Мосто́вский (польск. Andrzej Mostowski, 1913–1975) — польский математик и логик, член Польской академии наук (1956). Труды посвящены основаниям математики, математической логике, теории множеств, теории моделей, вопросам разрешимости рекуррентных формул, применению алгебраических и топологических методов в математической логике. Президент секции логики, методологии и философии наук Международного союза истории и философии науки (1971—1975). Кавалер Ордена Возрождения Польши[4] (1954), лауреат Государственной премии Польской народной республики (1966)[5].

Анджей Мостовский
польск. Andrzej Mostowski
Andrzej Mostowski.jpg
Дата рождения 1 ноября 1913(1913-11-01)[1][2][3]
Место рождения
Дата смерти 22 августа 1975(1975-08-22)[1][2][3] (61 год)
Место смерти
Страна
Научная сфера математика
Место работы
Альма-матер
Научный руководитель Альфред Тарский
Известные ученики Онышкевич, Януш и Jerzy Pogonowski[d]
Commons-logo.svg Медиафайлы на Викискладе

Биография и научная деятельностьПравить

Родился в Лемберге (Австро-Венгрия, ныне Львов, Украина). В 1931 году поступил в Варшавский университет. Большое влияние на него оказали Куратовский, Линденбаум и Тарский. В 1939 году Мостовский защитил диссертацию; официально его руководителем был Куратовский, но фактически — Тарский.

После вторжения вермахта в Польшу Мостовский устроился на работу бухгалтера, но тайно продолжал работать в подпольном Варшавском университете. После Варшавского восстания в 1944 году нацисты попытались отправить его в концлагерь, но с помощью польских медсестёр ему удалось скрыться в больнице. Значительная часть его неопубликованных математических работ при этом безвозвратно пропала. В сентябре 1944 года Мостовский женился на Марии Матушевской.

По окончании войны некоторое время работал в Краковском университете, с 1946 и до конца жизни — в Варшавском университете (доцент с 1947 года, профессор с 1951). В 1948—1949 учебном году работал в Институте перспективных исследований в Принстоне, в 1958—1959 годах читал лекции в Калифорнийском университете в Беркли.

Многие результаты Мостовского вошли в учебники. Он провёл глубокие исследований системы аксиом Цермело-Френкеля, моделей арифметики второго порядка, изучал проблемы разрешимости математических теорий, алгебраическую интерпретацию логики и многозначной логики. Много занимался вопросами образования и развития польской математической школы, был руководителем диссертаций десятков молодых учёных. Среди его учеников — Януш Онышкевич.

Основные трудыПравить

 
На лекции (1973)
Книги
  • Kuratowski, Kazimierz & Mostowski, Andrzej (1976), Set theory. With an introduction to descriptive set theory, vol. 86 (Second ed.), Studies in Logic and the Foundations of Mathematics, Amsterdam-New York-Oxford: North-Holland Publishing Co. 
  • Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel, North-Holland, Amsterdam, 1952,
  • Andrzej Mostowski, Constructible Sets with Applications, North-Holland, Amsterdam, 1969.
Статьи

Русские переводыПравить

ЛитератураПравить

СсылкиПравить

ПримечанияПравить