Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

А нджей Станіслав Мосто вський пол Andrzej Mostowski Andrzej Mostowski 1913 1975 польський математик і логік член Польсь

Андрій Мостовський

Андрій Мостовський

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

Мостовський Анджей
пол. Andrzej Mostowski
image
Ім'я при народженніпол. Andrzej Stanisław Mostowski
Народився1 листопада 1913(1913-11-01)[1][2][…]
Львів, Австро-Угорщина[1]
Помер22 серпня 1975(1975-08-22)[1][2][…](61 рік)
Ванкувер, Метро-Ванкувер, Британська Колумбія, Канада[1]
Країнаimage Республіка Польща
Діяльністьматематик, філософ, викладач університету
Alma materВаршавський університет (1938)[3]
d (1931)[3]
Галузьматематика, логіка і Основи математики
ЗакладВаршавський університет[3]
Ягеллонський університет[3]
Лодзький університет[3]
Інститут перспективних досліджень[4]
Науковий керівникАльфред Тарський і Казимир Куратовський[5]
Відомі учніd
d[6]
Аспіранти, докторантиd[5]
Гелена Расіова[5]
d[5]
d[7][5]
d[8]
d[5]
d[5]
d[5]
d[5]
d[5]
d[5]
d[5]
d[5]
d[5]
d[5]
d[5]
Януш Онишкевич[5]
d[5]
ЧленствоПольська академія наук
Дітиd
Родичіd
Нагороди
image

d (1953, 1966)

d (1972)

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

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

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

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

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

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

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

image
На лекції (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. Deutsche Nationalbibliothek Record #118584510 // Gemeinsame Normdatei — 2012—2016.
    d:Track:Q27302d:Track:Q36578
  2. Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
    d:Track:Q19938912d:Track:Q54837d:Track:Q193563
  3. Архів історії математики Мактьютор — 1994.
    d:Track:Q547473
  4. https://www.ias.edu/scholars/andrzej-mostowski
  5. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  6. https://mathshistory.st-andrews.ac.uk/Biographies/Kalicki/
  7. https://nauka-polska.pl/#/profile/research?id=225696&_k=5jnzfc
  8. https://nauka-polska.pl/#/profile/research?id=226825&_k=tzm3q3
  9. Uchwała Rady Państwa z dnia 28 września 1954 r. o nadaniu odznaczeń państwowych[недоступне посилання]

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

A ndzhej Stanislav Mosto vskij pol Andrzej Mostowski Andrzej Mostowski 1913 1975 polskij matematik i logik chlen Polskoyi akademiyi nauk 1956 Trudi prisvyacheni osnovam matematiki matematichnoyi logiki teoriyi bezlichi teoriyi modelej pitannyam rozv yazannya rekurentnih formul zastosuvannyu algebrayichnih i topologichnih metodiv u matematichnij logici Prezident sekciyi logiki metodologiyi i filosofiyi nauk Mizhnarodnogo soyuzu istoriyi i filosofiyi nauki 1971 1975 Kavaler ordena Vidrodzhennya Polshi 1954 laureat Derzhavnoyi premiyi Polskoyi Narodnoyi Respubliki 1966 5 Mostovskij Andzhejpol Andrzej MostowskiIm ya pri narodzhennipol Andrzej Stanislaw MostowskiNarodivsya1 listopada 1913 1913 11 01 1 2 Lviv Avstro Ugorshina 1 Pomer22 serpnya 1975 1975 08 22 1 2 61 rik Vankuver Metro Vankuver Britanska Kolumbiya Kanada 1 Krayina Respublika PolshaDiyalnistmatematik filosof vikladach universitetuAlma materVarshavskij universitet 1938 3 d 1931 3 Galuzmatematika logika i Osnovi matematikiZakladVarshavskij universitet 3 Yagellonskij universitet 3 Lodzkij universitet 3 Institut perspektivnih doslidzhen 4 Naukovij kerivnikAlfred Tarskij i Kazimir Kuratovskij 5 Vidomi uchnid d 6 Aspiranti doktorantid 5 Gelena Rasiova 5 d 5 d 7 5 d 8 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 Yanush Onishkevich 5 d 5 ChlenstvoPolska akademiya naukDitidRodichidNagorodid 1953 1966 d 1972 Mostovskij Andzhej u VikishovishiBiografiya i naukova diyalnistNarodivsya u Lvovi todi Avstro Ugorshina 1931 vstupiv u Varshavskij universitet Velikij vpliv na nogo mali Kuratovskij Lindenbaum i Tarskij U 1939 roci Mostovskij zahistiv disertaciyu oficijno jogo kerivnikom buv Kuratovskij ale faktichno Tarskij Pislya vtorgnennya vermahta v Polshu Mostovskij vlashtuvavsya na robotu buhgaltera ale tayemno prodovzhuvav pracyuvati u pidpilnim Varshavskim universiteti Pislya Varshavskogo povstannya u 1944 roci nacisti namagalis vidpraviti jogo u konctabir ale z dopomogoyu polskih medsester jomu vdalos shovatis u likarni Znachna chastina jogo neopublikovanih matematichnih robit pri comu bezpovorotno propala U veresni 1944 roku Mostovskij odruzhivsya z Mariyeyu Matushevskoyu Po zakinchennyu vijni deyakij chas pracyuvav u Krakivskim universiteti z 1946 i do kincya zhittya u Varshavskim universiteti docent z 1947 roku profesor z 1951 U 1948 1949 navchalnomu roci pracyuvav u Instituti perspektivnih doslidzhen u Prinstoni u 1958 1959 rokah chitav lekciyi u Kalifornijskim universiteti u Berkli Bagato rezultativ Mostovskogo uvijshli v pidruchniki Vin proviv gliboki doslidzhennya sistemi aksiom Cermelo Frenkelya modelej arifmetiki drugogo poryadku vivchav problemi rozv yazannya matematichnih teorij algebrayichnu interpretaciyu logiki i bagatoznachnoyi logiki Bagato zajmavsya pitannyami osviti j rozvitku polskoyi matematichnoyi shkoli buv kerivnikom disertacij desyatkiv molodih uchenih Sered jogo uchniv Yanush Onishkevich Osnovni trudiNa lekciyi 1973 KnigiKuratowski Kazimierz Mostowski Andrzej 1976 1968 Set theory With an introduction to descriptive set theory Studies in Logic and the Foundations of Mathematics t 86 vid 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 StattiAndrzej Mostowski Uber die Unabhangigkeit des Wohlordnungssatzes von Ordnungsprinzip 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 32 No 1 ss 201 252 1939 Andrzej Mostowski On definable sets of positive integers 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 34 No 1 ss 81 112 1947 Andrzej Mostowski Un theoreme sur les nombres cos 2pk n Colloquium Mathematicae Vol 1 No 3 ss 195 196 1948 Casimir Kuratowski Andrzej Mostowski Sur un probleme de la theorie des groupes et son rapport a la topologie 13 serpnya 2020 u Wayback Machine Colloquium Mathematicae Vol 2 No 3 4 ss 212 215 1951 Andrzej Mostowski Groups connected with Boolean algebras 13 serpnya 2020 u Wayback Machine Partial solution of the problem P92 13 serpnya 2020 u Wayback Machine Colloquium Mathematicae Vol 2 No 3 4 ss 216 219 1951 Andrzej Mostowski On direct products of theories 29 sichnya 2020 u Wayback Machine Journal of Symbolic Logic Vol 17 No 1 ss 1 31 1952 Andrzej Mostowski Models of axiomatic systems 13 serpnya 2020 u 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 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 40 No 1 ss 56 61 1953 Andrzej Mostowski A formula with no recursively enumerable model 13 serpnya 2020 u 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 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 42 No 2 ss 259 270 1955 Andrzej Mostowski Contributions to the theory of definable sets and functions 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 42 No 2 ss 271 275 1955 Andrzej Ehrenfeucht Andrzej Mostowski Models of Axiomatic Theories Admitting Automorphisms 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 43 No 1 ss 50 68 1956 Andrzej Mostowski L oeuvre scientifique de Jan Lukasiewicz dans le domaine de la logique mathematique 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 44 No 1 ss 1 11 1957 Andrzej Mostowski On a generalization of quantifiers 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 44 No 1 ss 12 36 1957 Andrzej Mostowski On computable sequences 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 44 No 1 ss 37 51 1957 Andrzej Grzegorczyk Andrzej Mostowski and Czeslaw Ryll Nardzewski The classical and w complete arithmetic 29 sichnya 2020 u 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 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 49 No 2 ss 205 232 1961 Andrzej Mostowski Axiomatizability of some many valued predicate calculi 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 50 No 2 ss 165 190 1961 Yoshindo Suzuki Andrzej Mostowski On w models which are not b models 13 serpnya 2020 u Wayback Machine Fundamenta Mathematicae Vol 65 No 1 ss 83 93 1969 PrimitkiDeutsche Nationalbibliothek Record 118584510 Gemeinsame Normdatei 2012 2016 d Track Q27302d Track Q36578 Bibliotheque nationale de France BNF platforma vidkritih danih 2011 d Track Q19938912d Track Q54837d Track Q193563 Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 https www ias edu scholars andrzej mostowski Matematichnij genealogichnij proyekt 1997 d Track Q829984 https mathshistory st andrews ac uk Biographies Kalicki https nauka polska pl profile research id 225696 amp k 5jnzfc https nauka polska pl profile research id 226825 amp k tzm3q3 Uchwala Rady Panstwa z dnia 28 wrzesnia 1954 r o nadaniu odznaczen panstwowych nedostupne posilannya

Дата публікації:
Топ