Анджей Мостовский: Жизнь и научное творчество

Введение

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

Биография

Родился в Лемберге, в Австро-Венгрии, Мостовский поступил в Варшавский университет в 1931 году. На него оказали влияние Куратовский, Линденбаум и Тарский. Он получил степень доктора философии в 1939 году, официально под руководством Куратовского, но фактически под руководством Тарского, который в то время был молодым преподавателем. После немецкого вторжения в Польшу он стал бухгалтером, но продолжал работать в Подпольном Варшавском университете. После Варшавского восстания 1944 года нацисты попытались заключить его в концентрационный лагерь. С помощью польских медсестер он бежал в больницу, выбрав взять с собой хлеб, а не блокнот с его исследованиями. Часть этих исследований он восстановил после войны, однако значительная их часть осталась утерянной. В 1954 году Мостовский был награжден Рыцарским крестом ордена «Полония Реститута», а в 1963 году избран действительным членом Польской академии наук. После Второй мировой войны он руководил как магистерской, так и докторской диссертациями Расиовы по логике и основам математики. Его работы были посвящены в основном теории рекурсии и неразрешимости. С 1946 года и до своей смерти в Ванкувере, Британская Колумбия, Канада, он работал в Варшавском университете. Большая часть его работ в этот период была посвящена логике первого порядка и теории моделей. Его сын Тадеуш также математик, занимающийся дифференциальной геометрией. В 2000 году Тадеуш Мостовский совместно с Кшиштофом Курдыкой и Адамом Парусинским решил гипотезу о градиенте Рене Тома.

Бумаги

Анджей Мостовский, "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, No.1, сс. 201–252, (1939). Анджей Мостовский, "On definable sets of positive integers", Fundamenta Mathematicae Vol. 34, No. 1, сс. 81–112, (1947). Анджей Мостовский, "Un théorème sur les nombres cos 2πk/n", Colloquium Mathematicae Vol. 1, No. 3, сс. 195–196, (1948). Казимир Куратовский, Анджей Мостовский, "Sur un problème de la théorie des groupes et son rapport à la topologie", Colloquium Mathematicae Vol. 2, No. 3–4, сс. 212–215, (1951). Анджей Мостовский, "Groups connected with Boolean algebras. (Partial solution of the problem P92)", Colloquium Mathematicae Vol. 2, No. 3–4, сс. 216–219, (1951). Анджей Мостовский, "On direct products of theories", Journal of Symbolic Logic, Vol. 17, No. 1, сс. 1–31, (1952). Анджей Мостовский, "Models of axiomatic systems", Fundamenta Mathematicae Vol. 39, No. 1, сс. 133–158, (1952). Анджей Мостовский, "On a system of axioms which has no recursively enumerable arithmetic model", Fundamenta Mathematicae Vol. 40, No. 1, сс. 56–61, (1953). Анджей Мостовский, "A formula with no recursively enumerable model", Fundamenta Mathematicae Vol. 42, No. 1, сс. 125–140, (1955). Анджей Мостовский, "Examples of sets definable by means of two and three quantifiers", Fundamenta Mathematicae Vol. 42, No. 2, сс. 259–270, (1955). Анджей Мостовский, "Contributions to the theory of definable sets and functions", Fundamenta Mathematicae Vol. 42, No. 2, сс. 271–275, (1955). Анджей Эренфехт, Анджей Мостовский, "Models of Axiomatic Theories Admitting Automorphisms", Fundamenta Mathematicae, Vol. 43, No. 1, сс. 50–68 (1956). Анджей Мостовский, "L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique", Fundamenta Mathematicae Vol. 44, No. 1, сс. 1–11, (1957). Анджей Мостовский, "On a generalization of quantifiers", Fundamenta Mathematicae Vol. 44, No. 1, сс. 12–36, (1957). Анджей Мостовский, "On computable sequences", Fundamenta Mathematicae Vol. 44, No. 1, сс. 37–51, (1957). Анджей Грегорчик, Анджей Мостовский и Чеслав Рылл-Нардzewski, "The classical and ω complete arithmetic", Journal of Symbolic Logic Vol. 23, No. 2, сс. 188–206, (1958). Анджей Мостовский, "On a problem of W. Kinna and K. Wagner", Colloquium Mathematicae Vol. 6, No. 1, сс. 207–208, (1958). Анджей Мостовский, "A generalization of the incompleteness theorem", Fundamenta Mathematicae Vol. 49, No. 2, сс. 205–232, (1961). Анджей Мостовский, "Axiomatizability of some many valued predicate calculi", Fundamenta Mathematicae Vol. 50, No. 2, сс. 165–190, (1961). Ёсииндо Сузуки, Анджей Мостовский, "On ω models which are not β models", Fundamenta Mathematicae Vol. 65, No. 1, сс. 83–93, (1969).

Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, No.1, ss. 201 252, (1939). Andrzej Mostowski, "On definable sets of positive integers", Fundamenta Mathematicae Vol. 34, No. 1, ss. 81 112, (1947). Andrzej Mostowski, "Un théorème sur les nombres cos 2πk/n", Colloquium Mathematicae Vol. 1, No. 3, ss. 195 196, (1948). Casimir Kuratowski, Andrzej Mostowski, "Sur un problème de la théorie des groupes et son rapport à la topologie", Colloquium Mathematicae Vol. 2, No. 3 4, ss. 212 215, (1951). Andrzej Mostowski, "Groups connected with Boolean algebras. (Partial solution of the problem P92)", Colloquium Mathematicae Vol. 2, No. 3 4, ss. 216 219, (1951). Andrzej Mostowski, "On direct products of theories", Journal of Symbolic Logic, Vol. 17, No. 1, ss. 1 31, (1952). Andrzej Mostowski, "Models of axiomatic systems", Fundamenta Mathematicae Vol. 39, No. 1, ss. 133 158, (1952). Andrzej Mostowski, "On a system of axioms which has no recursively enumerable arithmetic model", Fundamenta Mathematicae Vol. 40, No. 1, ss. 56 61, (1953). Andrzej Mostowski, "A formula with no recursively enumerable model", Fundamenta Mathematicae Vol. 42, No. 1, ss. 125 140, (1955). Andrzej Mostowski, "Examples of sets definable by means of two and three quantifiers", Fundamenta Mathematicae Vol. 42, No. 2, ss. 259 270, (1955). Andrzej Mostowski, "Contributions to the theory of definable sets and functions", Fundamenta Mathematicae Vol. 42, No. 2, ss. 271 275, (1955). Andrzej Ehrenfeucht, Andrzej Mostowski, "Models of Axiomatic Theories Admitting Automorphisms", Fundamenta Mathematicae, Vol. 43, No. 1, ss. 50 68 (1956). Andrzej Mostowski, "L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique", Fundamenta Mathematicae Vol. 44, No. 1, ss. 1 11, (1957). Andrzej Mostowski, "On a generalization of quantifiers", Fundamenta Mathematicae Vol. 44, No. 1, ss. 12 36, (1957). Andrzej Mostowski, "On computable sequences", Fundamenta Mathematicae Vol. 44, No. 1, ss. 37 51, (1957). Andrzej Grzegorczyk, Andrzej Mostowski and Czesław Ryll Nardzewski, "The classical and ω complete arithmetic", Journal of Symbolic Logic Vol. 23, No. 2, ss. 188 206, (1958). Andrzej Mostowski, "On a problem of W. Kinna and K. Wagner", Colloquium Mathematicae Vol. 6, No. 1, ss. 207 208, (1958). Andrzej Mostowski, "A generalization of the incompleteness theorem", Fundamenta Mathematicae Vol. 49, No. 2, ss. 205 232, (1961). Andrzej Mostowski, "Axiomatizability of some many valued predicate calculi", Fundamenta Mathematicae Vol. 50, No. 2, ss. 165 190, (1961). Yoshindo Suzuki, Andrzej Mostowski, "On ω models which are not β models", Fundamenta Mathematicae Vol. 65, No. 1, ss. 83 93, (1969).