польский математик
Анджей Мостовский (1 ноября 1913 – 22 августа 1975) был польским математиком . Он, возможно, наиболее известен по лемме Мостовского о коллапсе .
Биография
Родившийся в Лемберге , Австро-Венгрия , Мостовский поступил в Варшавский университет в 1931 году. На него оказали влияние Куратовский , Линденбаум и Тарский . Его докторская диссертация была защищена в 1939 году, официально руководителем которой был Куратовский , но на практике руководителем которой был Тарский , который в то время был молодым преподавателем.
Он стал бухгалтером после немецкого вторжения в Польшу , но продолжал работать в подпольном Варшавском университете . После Варшавского восстания 1944 года нацисты пытались отправить его в концентрационный лагерь. С помощью нескольких польских медсестер он сбежал в больницу, решив взять с собой хлеб, а не тетрадь со своими исследованиями. Часть этих исследований он реконструировал после войны, однако большая их часть осталась утерянной.
В 1954 году Мостовский был награжден Рыцарским крестом ордена Возрождения Польши , а в 1963 году избран действительным членом PAS . После Второй мировой войны он руководил магистерской и докторской диссертациями Расиовой по логике и основаниям математики.
Его работа в основном была посвящена теории рекурсии и неразрешимости . С 1946 года и до своей смерти в Ванкувере, Британская Колумбия , Канада, он работал в Варшавском университете . Большая часть его работы в то время была посвящена логике первого порядка и теории моделей .
Его сын Тадеуш также является математиком, работающим в области дифференциальной геометрии . [1] Вместе с Кшиштофом Курдыкой и Адамом Парусинским Тадеуш Мостовский в 2000 году решил гипотезу градиента Рене Тома .
Смотрите также
Работы
Книги
- 1968 и 1976: (совместно с Казимежем Куратовским ) Теория множеств. С введением в дескриптивную теорию множеств , Исследования по логике и основам математики #86, Северная Голландия, MR 0485384
- 1952: Предложения, неразрешимые в формализованной арифметике: изложение теории Курта Гёделя , Северная Голландия, Амстердам, ISBN 978-0313231513
- 1969: Конструктивные наборы с приложениями , Северная Голландия, Амстердам.
Статьи
- Анджей Мостовский, «Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip». Fundamenta Mathematicae Vol. 32, №1, сс. 201–252 (1939).
- Анджей Мостовский, «Об определимых множествах положительных целых чисел», Fundamenta Mathematicae, т. 34, № 1, сс. 81-112, (1947).
- Анджей Мостовский, «Теорема о числах, потому что 2πk/n», Colloquium Mathematicae Vol. 1, № 3, сс. 195–196, (1948).
- Казимир Куратовский , Анджей Мостовский, «Sur un problème de la theorie des groupes et son rapport à la topologie», Colloquium Mathematicae Vol. 2, № 3-4, сс. 212–215 (1951).
- Анджей Мостовский, «Группы, связанные с булевыми алгебрами. (Частичное решение проблемы P92)», Colloquium Mathematicae Vol. 2, No. 3-4, ss. 216-219, (1951).
- Анджей Мостовский, «О прямых произведениях теорий», Журнал символической логики , т. 17, № 1, стр. 1-31, (1952).
- Анджей Мостовский, «Модели аксиоматических систем», Fundamenta Mathematicae Vol. 39, № 1, сс. 133–158 (1952).
- Анджей Мостовский, «О системе аксиом, не имеющей рекурсивно перечислимой арифметической модели», Fundamenta Mathematicae Vol. 40, No. 1, ss. 56-61, (1953).
- Анджей Мостовский, «Формула без рекурсивно перечислимой модели», Fundamenta Mathematicae Vol. 42, № 1, сс. 125–140 (1955).
- Анджей Мостовский, «Примеры множеств, определяемых с помощью двух и трех кванторов», Fundamenta Mathematicae Vol. 42, No. 2, ss. 259-270, (1955).
- Анджей Мостовский, «Вклад в теорию определимых множеств и функций», Fundamenta Mathematicae, т. 42, № 2, сс. 271-275, (1955).
- Анджей Эренфойхт , Анджей Мостовский, «Модели аксиоматических теорий, допускающих автоморфизмы», Fundamenta Mathematicae , Vol. 43, № 1, сс. 50-68 (1956).
- Анджей Мостовский, «Научное творчество Яна Лукасевича в области математической логики», Fundamenta Mathematicae Vol. 44, № 1, сс. 1–11 (1957).
- Анджей Мостовский, «Об обобщении кванторов», Fundamenta Mathematicae, т. 44, № 1, сс. 12–36, (1957).
- Анджей Мостовский, «О вычислимых последовательностях», Fundamenta Mathematicae Vol. 44, № 1, сс. 37–51 (1957).
- Анджей Гжегорчик , Анджей Мостовский и Чеслав Рылль-Нардзевский , «Классическая и ω-полная арифметика», Журнал символической логики Vol. 23, № 2, сс. 188–206 (1958).
- Анджей Мостовский, «К проблеме В. Кинны и К. Вагнера», Colloquium Mathematicae Vol. 6, № 1, сс. 207–208, (1958).
- Анджей Мостовский, «Обобщение теоремы о неполноте», Fundamenta Mathematicae Vol. 49, № 2, сс. 205–232 (1961).
- Анджей Мостовский, «Аксиоматизируемость некоторых многозначных исчислений предикатов», Fundamenta Mathematicae Vol. 50, № 2, сс. 165–190 (1961).
- Ёсиндо Судзуки, Анджей Мостовский, «О ω-моделях, которые не являются β-моделями», Fundamenta Mathematicae Vol. 65, № 1, сс. 83–93, (1969).
Ссылки
- ^ "Wydział MIM UW - профессор Тадеуш Мостовский" . Архивировано из оригинала 13 июня 2011 г. Проверено 23 февраля 2010 г.
Внешние ссылки
