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

А́нджей Станіслав Мосто́вський (пол. Andrzej Mostowski. Andrzej Mostowski, 1913—1975) — польський математик і логік, член Польської академії наук (1956). Труди присвячені основам математики, математичної логіки, теорії безлічі, теорії моделей, питанням розв'язання рекурентних формул, застосуванню алгебраїчних і топологічних методів у математичній логіці. Президент секції логіки, методології і філософії наук Міжнародного союзу історії і філософії науки (1971—1975). Кавалер ордена Відродження Польщі (1954), лауреат Державної премії Польської Народної Республіки (1966)[5].

Мостовський Анджей
пол. Andrzej Mostowski
Ім'я при народженні	пол. Andrzej Stanisław Mostowski
Народився	1 листопада 1913(1913-11-01)[[d:Track:Q27302]][[d:Track:Q36578]]-1">[1][…] Львів, Австро-Угорщина[[d:Track:Q27302]][[d:Track:Q36578]]-1">[1]
Помер	22 серпня 1975(1975-08-22)[[d:Track:Q27302]][[d:Track:Q36578]]-1">[1][…] (61 рік) Ванкувер, Метро-Ванкувер, Британська Колумбія, Канада[[d:Track:Q27302]][[d:Track:Q36578]]-1">[1]
Країна	Республіка Польща
Діяльність	математик, філософ, викладач університету
Alma mater	Варшавський університет (1938)[[d:Track:Q547473]]-3">[3] Stefan Batory Gymnasium and Lyceumd (1931)[[d:Track:Q547473]]-3">[3]
Галузь	математика, логіка і Основи математики
Заклад	Варшавський університет[[d:Track:Q547473]]-3">[3] Ягеллонський університет[[d:Track:Q547473]]-3">[3] Лодзький університет[[d:Track:Q547473]]-3">[3] Інститут перспективних досліджень-4">[4]
Науковий керівник	Альфред Тарський і Казимир Куратовський[[d:Track:Q829984]]-5">[5]
Відомі учні	Jerzy Pogonowskid Jan Kalickid-6">[6]
Аспіранти, докторанти	Victor W. Marekd[[d:Track:Q829984]]-5">[5] Гелена Расіова[[d:Track:Q829984]]-5">[5] Moshé Machoverd[[d:Track:Q829984]]-5">[5] Andrzej Ehrenfeuchtd-7">[7] Krzysztof R. Aptd-8">[8] Andrzej Grzegorczykd[[d:Track:Q829984]]-5">[5] Wojciech Guzickid[[d:Track:Q829984]]-5">[5] Andrzej Janiczakd[[d:Track:Q829984]]-5">[5] Maciej Brynskid[[d:Track:Q829984]]-5">[5] Kazimierz Wisniewskid[[d:Track:Q829984]]-5">[5] Pawel Zbierskid[[d:Track:Q829984]]-5">[5] Michał Krynickid[[d:Track:Q829984]]-5">[5] Stanisław Krajewskid[[d:Track:Q829984]]-5">[5] Zofia Adamowiczd[[d:Track:Q829984]]-5">[5] Andrzej Zarachd[[d:Track:Q829984]]-5">[5] Michael Makkaid[[d:Track:Q829984]]-5">[5] Януш Онишкевич[[d:Track:Q829984]]-5">[5] Роман Сікорськийd[[d:Track:Q829984]]-5">[5]
Членство	Польська академія наук
Діти	Tadeusz Mostowskid
Родичі	Marcin Mostowskid
Нагороди	Державна премія Польської Народної Республікиd (1953, 1966) Jurzykowski Prized (1972)
Мостовський Анджей у Вікісховищі

Біографія і наукова діяльність

Народився у Львові, тоді Австро-Угорщина. 1931 вступив у Варшавський університет. Великий вплив на нього мали Куратовський, Лінденбаум і Тарський. У 1939 році Мостовський захистив дисертацію; офіційно його керівником був Куратовський, але фактично — Тарський.

Після вторгнення вермахта в Польщу Мостовський влаштувався на роботу бухгалтера, але таємно продовжував працювати у підпільнім Варшавськім університеті. Після Варшавського повстання у 1944 році нацисти намагались відправити його у концтабір, але з допомогою польських медсестер йому вдалось сховатись у лікарні. Значна частина його неопублікованих математичних робіт при цьому безповоротно пропала. У вересні 1944 року Мостовський одружився з Марією Матушевською.

По закінченню війни деякий час працював у Краківськім університеті, з 1946 і до кінця життя — у Варшавськім університеті (доцент з 1947 року, професор з 1951). У 1948—1949 навчальному році працював у Інституті перспективних досліджень у Принстоні, у 1958—1959 роках читав лекції у Каліфорнійськім університеті у Берклі.

Багато результатів Мостовського увійшли в підручники. Він провів глибокі дослідження системи аксіом Цермело — Френкеля, моделей арифметики другого порядку, вивчав проблеми розв'язання математичних теорій, алгебраїчну інтерпретацію логіки і багатозначної логіки. Багато займався питаннями освіти й розвитку польської математичної школи, був керівником дисертацій десятків молодих учених. Серед його учнів — Януш Онишкевич.

Основні труди

На лекції (1973)

Книги

• Kuratowski, Kazimierz; Mostowski, Andrzej (1976) [1968], Set theory. With an introduction to descriptive set theory, Studies in Logic and the Foundations of Mathematics, т. 86 (вид. Second), Amsterdam-New York-Oxford: North-Holland Publishing Co., MR 0485384
• Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel, North-Holland, Amsterdam, 1952, 
• Andrzej Mostowski, Constructible Sets with Applications, North-Holland, Amsterdam, 1969.

Статті

• Andrzej Mostowski, «Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip [Архівовано 13 серпня 2020 у Wayback Machine.].» Fundamenta Mathematicae Vol. 32, No.1, ss. 201—252, (1939).
• Andrzej Mostowski, «On definable sets of positive integers [Архівовано 13 серпня 2020 у Wayback Machine.]», 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 [Архівовано 13 серпня 2020 у Wayback Machine.]», Colloquium Mathematicae Vol. 2, No. 3-4, ss. 212—215, (1951).
• Andrzej Mostowski, «Groups connected with Boolean algebras [Архівовано 13 серпня 2020 у Wayback Machine.]. (Partial solution of the problem P92 [Архівовано 13 серпня 2020 у Wayback Machine.])», Colloquium Mathematicae Vol. 2, No. 3-4, ss. 216—219, (1951).
• Andrzej Mostowski, «On direct products of theories [Архівовано 29 січня 2020 у Wayback Machine.]», Journal of Symbolic Logic, Vol. 17, No. 1, ss. 1-31, (1952).
• Andrzej Mostowski, «Models of axiomatic systems [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 39, No. 1, ss. 133—158, (1952).
• Andrzej Mostowski, «On a system of axioms which has no recursively enumerable arithmetic model [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 40, No. 1, ss. 56-61, (1953).
• Andrzej Mostowski, «A formula with no recursively enumerable model [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 42, No. 1, ss. 125—140, (1955).
• Andrzej Mostowski, «Examples of sets definable by means of two and three quantifiers [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 42, No. 2, ss. 259—270, (1955).
• Andrzej Mostowski, «Contributions to the theory of definable sets and functions [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 42, No. 2, ss. 271—275, (1955).
• Andrzej Ehrenfeucht, Andrzej Mostowski, «Models of Axiomatic Theories Admitting Automorphisms [Архівовано 13 серпня 2020 у Wayback Machine.]», 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 [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 44, No. 1, ss. 1-11, (1957).
• Andrzej Mostowski, «On a generalization of quantifiers [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 44, No. 1, ss. 12-36, (1957).
• Andrzej Mostowski, «On computable sequences [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 44, No. 1, ss. 37-51, (1957).
• Andrzej Grzegorczyk, Andrzej Mostowski and Czesław Ryll-Nardzewski, «The classical and ω-complete arithmetic [Архівовано 29 січня 2020 у Wayback Machine.]», 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 [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 49, No. 2, ss. 205—232, (1961).
• Andrzej Mostowski, «Axiomatizability of some many valued predicate calculi [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 50, No. 2, ss. 165—190, (1961).
• Yoshindo Suzuki, Andrzej Mostowski, «On ω-models which are not β-models [Архівовано 13 серпня 2020 у Wayback Machine.]», Fundamenta Mathematicae Vol. 65, No. 1, ss. 83-93, (1969).

Примітки

_1-1">^б [[:Німецька_національна_бібліотека|Deutsche_Nationalbibliothek]]_[http://d-nb.info/gnd/118584510/_Record_#118584510]_//_Gemeinsame_Normdatei_—_2012—2016.[[d:Track:Q27302]][[d:Track:Q36578]]