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

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

(1.Х1 1913-1975)                                                                                                                                                                                 Польский математик и логик, член Польской АН (с 1956). Родился во Львове. Окончил Варшавский университет (1936). В период оккупации Польши гитлеровцами преподавал в нелегальных польских учебных заведениях, в 1946 работал в Краковском университете, с 1947 — профессор Варшавского университета.

Член Парижской АН, президент общества корабельных архитекторов Англии. Исследования посвящены основаниям математики и математической логике, теории множеств, вопросам разрешимости рекуррентных формул, применению алгебраических и топологических методов к математической логике. Доказал независимость аксиомы выбора от других аксиом теории множеств. Независимо от С. С. Клийна предложил способ классификации логических построений (классификация Клийна — Мостовского). Одним из первых исследовал основания анализа. В соавторстве со своими учениками предложил (1958—1960) со-модели арифметики и р-модели анализа. Пытался создать общую теорию моделей.

Президент секции логики, методологии и философии наук Международного союза по истории и философии наук (1971 —1975).

Государственная премия ПНР (1966).