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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Мостовський Анджей
пол. Andrzej Mostowski
Andrzej Mostowski.jpg
Народився 1 листопада 1913(1913-11-01)[1][2][…]
Львів, Цислейтанія, Австро-Угорщина[1]
Помер 22 серпня 1975(1975-08-22)[1][2][…] (61 рік)
Ванкувер, Метро-Ванкувер, Британська Колумбія, Канада[1]
Громадянство
(підданство)
Flag of Poland (1928–1980).svg Польща
Діяльність математик, філософ
Alma mater Варшавський університет
Сфера інтересів математика
Заклад Варшавський університет і Ягеллонський університет
Науковий керівник Альфред Тарський
Відомі учні Януш Онишкевич і Jerzy Pogonowskid

CMNS: Мостовський Анджей у Вікісховищі

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

Біографія і наукова діяльність[ред. | ред. код]

Народився у Львові, тоді Австро-Угорщина. 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.
Статті

Примітки[ред. | ред. код]