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

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

Биография [ править ]

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

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

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

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

См. Также [ править ]

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

Ссылки [ править ]

  1. ^ "Архивная копия" . Архивировано из оригинала на 2011-06-13 . Проверено 23 февраля 2010 .CS1 maint: заархивированная копия как заголовок ( ссылка )

Библиография [ править ]

Книги Мостовского [ править ]

  • Куратовски, Казимеж; Мостовский, Анджей (1976) [1968], Теория множеств. С введением в описательную теорию множеств , Исследования в области логики и основ математики, 86 (второе издание), Амстердам-Нью-Йорк-Оксфорд: North-Holland Publishing Co., MR  0485384
  • Анджей Мостовски, Предложения, неразрешимые в формализованной арифметике: изложение теории Курта Гёделя , Северная Голландия, Амстердам, 1952, ISBN 978-0313231513 
  • Андрей Мостовски, Конструируемые множества с приложениями , Северная Голландия, Амстердам, 1969.

Статьи Мостовского [ править ]

  • Анджей Мостовски, "Убер умирают Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip". Fundamenta Mathematicae Vol. 32, №1, сс. 201-252, (1939).
  • Анджей Мостовский, "Об определимых наборах натуральных чисел" , Fundamenta Mathematicae Vol. 34, № 1, сс. 81-112, (1947).
  • Анджей Мостовски, "Теория о числах, cos 2πk / n" , Colloquium Mathematicae Vol. 1, № 3, сс. 195–196, (1948).
  • Казимир Куратовски , Анджей Мостовски, "Sur un Problem de la theory des groupes et son rapport à la topologie" , Colloquium Mathematicae Vol. 2, № 3-4, сс. 212-215, (1951).
  • Анджей Мостовский, "Группы, связанные с булевыми алгебрами. (Частичное решение проблемы P92)" , Colloquium Mathematicae Vol. 2, № 3-4, сс. 216-219, (1951).
  • Анджей Мостовски, "О прямых продуктах теорий" , Journal of Symbolic Logic , 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).
  • Анджей Мостовский, "О вычислимых последовательностях" , Fundamenta Mathematicae Vol. 44, № 1, сс. 37-51, (1957).
  • Анджей Гжегорчик , Анджей Мостовский и Чеслав Рылль-Нардзевский , «Классическая и ω-полная арифметика» , Journal of Symbolic Logic 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).


Внешние ссылки [ править ]

  • О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Анджей Мостовски" , архив истории математики MacTutor , Сент-Эндрюсский университет.