Mostovsky, Andrzej

Andrzej Stanisław Mostowski ( polonez: Andrzej Mostowski , 1913–1975) a fost un matematician și logician polonez , membru al Academiei Poloneze de Științe (1956). Lucrările sunt dedicate bazelor matematicii , logicii matematice , teoria mulțimilor , teoria modelelor , solvabilitatea formulelor recursive , aplicarea metodelor algebrice și topologice în logica matematică. Președinte al Secției de Logică, Metodologie și Filosofia Științelor a Uniunii Internaționale pentru Istoria și Filosofia Științei (1971-1975). Cavaler al Ordinului Renașterea Poloniei [6] (1954), laureat al Premiului de Stat al Republicii Populare Polone (1966) [7] .

Biografie și activitate științifică

Născut în Lemberg ( Austro-Ungaria , acum Lviv, Ucraina). În 1931 a intrat la Universitatea din Varşovia . El a fost foarte influențat de Kuratovsky , Lindenbaum și Tarski . În 1939, Mostovsky și-a susținut teza; oficial conducătorul său era Kuratovsky, dar de fapt era Tarsky.

După ce Wehrmacht-ul a invadat Polonia, Mostowski și-a luat un loc de muncă ca contabil, dar a continuat să lucreze în secret la Universitatea subterană din Varșovia. După Revolta de la Varșovia din 1944, naziștii au încercat să-l trimită într-un lagăr de concentrare, dar cu ajutorul asistentelor poloneze a reușit să evadeze la spital. O parte semnificativă din lucrările sale matematice nepublicate a fost pierdută iremediabil. În septembrie 1944, Mostovsky s-a căsătorit cu Maria Matushevskaya.

După sfârșitul războiului, a lucrat ceva timp la Universitatea din Cracovia , din 1946 până la sfârșitul vieții - la Universitatea din Varșovia (profesor asociat din 1947, profesor din 1951). În anul universitar 1948-1949 a lucrat la Institutul pentru Studii Avansate din Princeton, în 1958-1959 a ținut prelegeri la Universitatea din California din Berkeley .

Multe dintre rezultatele lui Mostovsky au fost incluse în manuale. A efectuat studii aprofundate ale sistemului de axiome Zermelo-Fraenkel , modele de aritmetică de ordinul doi, a studiat problemele decidabilitatii teoriilor matematice, interpretarea algebrică a logicii și logica multivalorică . S-a ocupat mult de educația și dezvoltarea școlii poloneze de matematică, a fost conducătorul disertațiilor pentru zeci de tineri oameni de știință. Printre elevii săi se numără Janusz Onyshkevich .

Lucrări majore

• Kuratowski, Kazimierz & Mostowski, Andrzej (1976), Teoria mulţimilor. Cu o introducere în teoria descriptivă a mulțimilor , voi. 86 (ed. a doua), Studies in Logic and the Foundations of Mathematics, Amsterdam-New York-Oxford: North-Holland Publishing Co. 
• Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic: O Exposition of theory of Kurt Godel , North-Holland, Amsterdam, 1952, ISBN 978-0313231513
• Andrzej Mostowski, Seturi constructibile cu aplicații , Olanda de Nord, Amsterdam, 1969.

• Andrzej Mostowski, „Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip”. Fundamenta Mathematicae Vol. 32, nr.1, art. 201-252, (1939).
• Andrzej Mostowski, „Despre seturi definibile de numere întregi pozitive” , Fundamenta Mathematicae Vol. 34, nr. 1, ss. 81-112, (1947).
• Andrzej Mostowski, „Un théorème sur les nombres cos 2πk/n” , Coloquium Mathematicae Vol. 1, nr. 3, ss. 195-196, (1948).
• Casimir Kuratowski , Andrzej Mostowski, "Sur un problème de la théorie des groupes et son rapport à la topologie" , Coloquium Mathematicae Vol. 2, nr. 3-4, ss. 212-215, (1951).
• Andrzej Mostowski, „Grupuri legate de algebre booleene. (Rezolvarea parțială a problemei P92)” , Coloquium Mathematicae Vol. 2, nr. 3-4, ss. 216-219, (1951).
• Andrzej Mostowski, „Despre produsele directe ale teoriilor” , Jurnalul de logică simbolică , voi. 17, nr. 1, ss. 1-31, (1952).
• Andrzej Mostowski, „Modele de sisteme axiomatice” , Fundamenta Mathematicae Vol. 39, nr. 1, ss. 133-158, (1952).
• Andrzej Mostowski, „Despre un sistem de axiome care nu are un model aritmetic enumerabil recursiv” , Fundamenta Mathematicae Vol. 40, nr. 1, ss. 56-61, (1953).
• Andrzej Mostowski, „O formulă fără model recursiv enumerabil” , Fundamenta Mathematicae Vol. 42, nr. 1, ss. 125-140, (1955).
• Andrzej Mostowski, „Exemple de mulțimi definibile prin intermediul a doi și trei cuantificatori” , Fundamenta Mathematicae Vol. 42, nr. 2, ss. 259-270, (1955).
• Andrzej Mostowski, „Contribuții la teoria mulțimilor și funcțiilor definibile” , Fundamenta Mathematicae Vol. 42, nr. 2, ss. 271-275, (1955).
• Andrzej Ehrenfeucht, Andrzej Mostowski, „Modele de teorii axiomatice care admit automorfisme” , Fundamenta Mathematicae , voi. 43, nr. 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, nr. 1, ss. 1-11, (1957).
• Andrzej Mostowski, „Despre o generalizare a cuantificatorilor” , Fundamenta Mathematicae Vol. 44, nr. 1, ss. 12-36, (1957).
• Andrzej Mostowski, „Despre secvențe calculabile” , Fundamenta Mathematicae Vol. 44, nr. 1, ss. 37-51, (1957).
• Andrzej Grzegorczyk, Andrzej Mostowski și Czesław Ryll-Nardzewski, „Aritmetica clasică și ω-completă” , Journal of Symbolic Logic Vol. 23, nr. 2, ss. 188-206, (1958).
• Andrzej Mostowski, „Despre o problemă a lui W. Kinna și K. Wagner” , Coloquium Mathematicae Vol. 6, nr. 1, ss. 207-208, (1958).
• Andrzej Mostowski, „O generalizare a teoremei de incompletitudine” , Fundamenta Mathematicae Vol. 49, nr. 2, ss. 205-232, (1961).
• Andrzej Mostowski, „Axiomatizability of some many valued predicate calculi” , Fundamenta Mathematicae Vol. 50, nr. 2, ss. 165-190, (1961).
• Yoshindo Suzuki, Andrzej Mostowski, „On ω-models which are not β-models” , Fundamenta Mathematicae Vol. 65, nr. 1, ss. 83-93, (1969).

Traduceri în rusă

• Mostovsky A. Starea actuală a cercetării asupra fundamentelor matematicii . Uspekhi matematicheskikh nauk , 1954, volumul 9, numărul 3/61.
• Kuratovsky K., Mostovsky A. Teoria mulțimilor. M.: Mir, 1970. 416 p.
• Mostovsky A. Mulțimi constructive și aplicațiile lor. M.: Mir, 1973. 256 p. Aceasta este în esență a doua parte a „Teoriei seturilor”.

Note

1. ↑ 1 2 3 4 5 6 7 Arhiva MacTutor Istoria matematicii
2. ↑ 1 2 Andrzej Stanisław Mostowski // Dicționar online biografic  polonez (polonez)
3. ↑ Biblioteca Națională Germană , Biblioteca de stat din Berlin , Biblioteca de stat bavareza , Înregistrarea Bibliotecii Naționale din Austria #118584510 // Controlul general de reglementare (GND) - 2012-2016.
4. ↑ https://www.ias.edu/scholars/andrzej-mostowski
5. ↑ Genealogia matematică  (engleză) - 1997.
6. ↑ Uchwała Rady Państwa z dnia 28 września 1954 r. o nadaniu odznaczeń państwowych
7. ↑ Matematică. Mecanica, 1983 , p. 336-337.

Literatură

• Bogolyubov A.N. Mostovsky Andrzej // Matematică. Mecanica. Ghid biografic . - Kiev: Naukova Dumka , 1983. - S. 336-337. — 639 p.

Link -uri

• Muravsky R. Filosofia poloneză a logicii și matematicii în perioada dintre cele două războaie mondiale . // Istoria științei și tehnologiei, nr. 8 (2016).
• John J. O'Connor și Edmund F. Robertson . Mostowski, Andrzej  -  biografie pe MacTutor .

Site-uri tematice	Genealogie matematică zbMATH Deschide Portal de matematică integral rusesc Arhiva pentru Istoria Matematicii MacTutor
În cataloagele bibliografice BIBSYS: 90326506 BNF : 128598754 CiNii : DA02321446 GND : 118584510 ISNI : 0000 0000 7981 9588 J9U : 987007462933305171 LCCN : n50006650 NKC : jx20050701040 NTA : 06835441X NUKAT : n95402618 SUDOC : 055276997 VIAF : 5059777 WorldCat VIAF : 5059777