Анджей Мостовски - Andrzej Mostowski
Анджей Мостовски | |
---|---|
Мостовский в 1973 г. | |
Родился | |
Умер | 22 августа 1975 г. | (61 год)
Национальность | Польша |
Альма-матер | Варшавский университет |
Известен | Арифметическая иерархия Лемма Мостовского о коллапсе |
Научная карьера | |
Поля | Математика |
Учреждения | Варшавский университет |
Докторант | Казимеж Куратовски Альфред Тарский |
Докторанты | Анджей Эренфойхт Моше Мачовер Хелена Расёва Роман Сикорский |
Анджей Мостовски (1 ноября 1913 г. - 22 августа 1975 г.) Польский математик. Его, пожалуй, больше всего помнят за Лемма Мостовского о коллапсе.
биография
Рожден в Лемберг, Австро-Венгрия, Мостовский вошел Варшавский университет в 1931 году. На него повлияли Куратовски, Lindenbaum, и Тарский. Его доктор философии. прибыл в 1939 году, официально руководил Куратовски но на практике под руководством Тарский который в то время был молодым преподавателем.
Бухгалтером стал после немецкого вторжение в Польшу но продолжал работать в Подземный Варшавский университет. После Варшавское восстание 1944 г. Нацисты пытался отправить его в концлагерь. С помощью нескольких польских медсестер он сбежал в больницу, решив взять с собой хлеб, а не записную книжку с его исследованиями. Некоторые из этих исследований он реконструировал после войны, однако большая их часть осталась утерянной.
Его работа была в основном на теория рекурсии и неразрешимость. С 1946 г. до его смерти в г. Ванкувер, Британская Колумбия, Канада, он работал в Варшавский университет. В то время большая часть его работы была на первом месте. логика и теория моделей.
Его сын Тадеуш также математик, работающий над дифференциальная геометрия.[1] С участием Кшиштоф Курдыка и Адам Парусинский, Тадеуш Мостовски решил Рене Том с гипотеза градиента в 2000 г.
Смотрите также
использованная литература
- ^ «Архивная копия». Архивировано из оригинал на 2011-06-13. Получено 2010-02-23.CS1 maint: заархивированная копия как заголовок (ссылка на сайт)
Список используемой литературы
Книги Мостовского
- Куратовски, Казимеж; Мостовский, Анджей (1976) [1968], Теория множеств. С введением в описательную теорию множеств, Исследования по логике и основам математики, 86 (Второе изд.), Амстердам-Нью-Йорк-Оксфорд: North-Holland Publishing Co., Г-Н 0485384
- Анджей Мостовский, Предложения, неразрешимые в формализованной арифметике: изложение теории Курта Гёделя, Северная Голландия, Амстердам, 1952 г., ISBN 978-0313231513
- Андрей Мостовский, Конструируемые наборы с приложениями, Северная Голландия, Амстердам, 1969 г.
Статьи Мостовского
- Анджей Мостовский, "Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip". Fundamenta Mathematicae Vol. 32, №1, сс. 201-252, (1939).
- Анджей Мостовский, «Об определимых наборах натуральных чисел», Fundamenta Mathematicae Vol. 34, № 1, сс. 81-112, (1947).
- Анджей Мостовский, "Теорема сюр ле номбров cos 2πk / n", Математический коллоквиум Vol. 1, № 3, сс. 195–196, (1948).
- Казимир Куратовски, Анджей Мостовски, "Sur un problème de la théorie des groupes et son rapport à la topologie", Математический коллоквиум Vol. 2, № 3-4, сс. 212-215, (1951).
- Анджей Мостовский, «Группы, связанные с булевыми алгебрами. (Частичное решение проблемы P92)», Математический коллоквиум 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).
- Анджей Мостовский, «О вычислимых последовательностях», Fundamenta Mathematicae Vol. 44, № 1, сс. 37-51, (1957).
- Анджей Гжегорчик, Анджей Мостовски и Чеслав Рылль-Нардзевский, «Классическая и ω-полная арифметика», Журнал символической логики Vol. 23, № 2, сс. 188-206, (1958).
- Анджей Мостовский, «К проблеме В. Кинны и К. Вагнера», Математический коллоквиум 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).