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

Анджей Мостовский
Мостовский в 1973 году
Рожденный	( 1913-11-01 ) 1 ноября 1913 г. Лемберг , Австро-Венгрия
Умер	22 августа 1975 г. ) ( 1975-08-22 ) ( 61 год Ванкувер , Британская Колумбия , Канада
Национальность	Польский
Альма-матер	Варшавский университет
Известный	Арифметическая иерархия Лемма о коллапсе Мостовского Модель Мостовского
Научная карьера
Поля	Математика
Учреждения	Варшавский университет
Докторские консультанты	Казимеж Куратовский Альфред Тарский
Докторанты	Анджей Эренфойхт Моше Мачовер Хелена Расёва Роман Сикорский Виктор В. Марк

Анджей Мостовский (1 ноября 1913 — 22 августа 1975) — польский математик . Пожалуй, больше всего его помнят благодаря лемме о коллапсе Мостовского .

Биография

Мостовский родился в Лемберге , Австро-Венгрия , и поступил в Варшавский университет в 1931 году. Он находился под влиянием Куратовского , Линденбаума и Тарского . Его доктор философии. вышел в 1939 году, официально руководил Куратовский, но на практике руководил Тарский, который в то время был молодым лектором.

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

В 1954 году Мостовский был награжден Рыцарским крестом ордена Возрождения Польши и в 1963 году избран действительным членом ПАС . После Второй мировой войны он руководил магистерскими и докторскими диссертациями Расёвы по логике и основам математики.

Его работа была в основном посвящена теории рекурсии и неразрешимости . С 1946 года и до своей смерти в Ванкувере, Британская Колумбия , Канада, он работал в Варшавском университете . Большая часть его работы в то время была посвящена логике первого порядка и теории моделей .

Его сын Тадеуш также является математиком, занимающимся дифференциальной геометрией . Вместе с Кшиштофом Курдикой и Адамом Парусински Тадеуш Мостовский решил Рене Тома в градиентную гипотезу 2000 году.

См. также

• Список польских математиков
• Модель Мостовского

Работает

Книги

• 1968 и 1976: (совместно с Казимежем Куратовским ) Теория множеств. С введением в описательную теорию множеств , исследованиями по логике и основам математики № 86, Северная Голландия, MR 0485384
• 1952: Неразрешимые предложения в формализованной арифметике: изложение теории Курта Геделя , Северная Голландия, Амстердам, ISBN   978-0313231513
• 1969: Конструкторы с аппликациями , Северная Голландия, Амстердам.

Документы

• Анджей Мостовский, «О независимости принципа упорядоченности от принципа упорядочения». Fundamenta Mathematicae Том 32, № 1, сс. 201–252, (1939).
• Анджей Мостовский, «Об определимых множествах натуральных чисел» , Fundamenta Mathematicae Vol. 34, № 1, сс. 81-112, (1947).
• Анджей Мостовский, «Un theorème sur les nombres cos 2πk/n» , Colloquium Mathematicae Vol. 1, нет. 3, сс. 195–196, (1948).
• Казимир Куратовский , Анджей Мостовский, «Об одной проблеме теории групп и ее связи с топологией» , Colloquium Mathematicae Vol. 2, № 3-4, сл. 212–215, (1951).
• Анджей Мостовский, «Группы, связанные с булевыми алгебрами. (Частичное решение проблемы P92)» , Colloquium Mathematicae Vol. 2, № 3-4, сс. 216–219 (1951).
• Анджей Мостовский, «О прямых произведениях теорий» , Журнал символической логики , Vol. 17, № 1, сс. 1–31 (1952).
• Анджей Мостовский, «Модели аксиоматических систем» , Fundamenta Mathematicae Vol. 39, № 1, сс. 133–158 (1952).
• Анджей Мостовский, «О системе аксиом, не имеющей рекурсивно перечислимой арифметической модели» , Fundamenta Mathematicae Vol. 40, № 1, сс. 56–61 (1953).
• Анджей Мостовский, «Формула без рекурсивно перечислимой модели» , Fundamenta Mathematicae Vol. 42, № 1, сс. 125–140 (1955).
• Анджей Мостовский, «Примеры множеств, определяемых с помощью двух и трех кванторов» , Fundamenta Mathematicae Vol. 42, № 2, сс. 259–270 (1955).
• Анджей Мостовский, «Вклад в теорию определимых множеств и функций» , Fundamenta Mathematicae Vol. 42, № 2, сс. 271–275 (1955).
• Анджей Эренфойхт , Анджей Мостовский, «Модели аксиоматических теорий, допускающих автоморфизмы» , Fundamenta Mathematicae , Vol. 43, № 1, сс. 50-68 (1956).
• Анджей Мостовский, «Научная работа Яна Лукасевича в области математической логики» , Fundamenta Mathematicae Vol. 44, № 1, сл. 1–11 (1957).
• Анджей Мостовский, «Об одном обобщении кванторов» , Fundamenta Mathematicae Vol. 44, № 1, сс. 12–36 (1957).
• Анджей Мостовский, «О вычислимых последовательностях» , Основы математики Том. 44, нет. 1, сс. 37–51 (1957).
• Анджей Гжегорчик , Анджей Мостовский и Чеслав Рылль-Нардзевский , «Классическая и ω-полная арифметика» , Журнал символической логики , том 23, №. 2, стр. 188–206 (1958).
• Анджей Мостовский, «К проблеме В. Кинны и К. Вагнера» , Colloquium Mathematicae Vol 6, No. 1, стр. 207–208 (1958).
• Анджей Мостовский, «Обобщение теоремы о неполноте» , Fundamenta Mathematicae Vol. 49, № 2, сс. 205–232 (1961).
• Анджей Мостовский, «Аксиоматизируемость некоторых многозначных исчислений предикатов» , Fundamenta Mathematicae Vol. 50, № 2, сс. 165–190 (1961).
• Ёсиндо Судзуки, Анджей Мостовский, «О ω-моделях, которые не являются β-моделями» , Fundamenta Mathematicae Vol 65, No. 1, стр. 83–93 (1969).

Внешние ссылки

• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Анджей Мостовский» , Архив истории математики MacTutor , Университет Сент-Эндрюс
• Станислав Креевский и Мариан Сребрный о жизни и творчестве Анджека Мостовского