Mostovsky, Andrzej

Andrzej Stanisław Mostowski ( lengyelül: Andrzej Mostowski , 1913–1975) lengyel matematikus és logikus , a Lengyel Tudományos Akadémia tagja (1956). A munkák a matematika , a matematikai logika , a halmazelmélet , a modellelmélet , a rekurzív formulák megoldhatóságának , az algebrai és topológiai módszerek matematikai logikában való alkalmazásának alapjaival foglalkoznak . A Nemzetközi Tudománytörténeti és Tudományfilozófiai Unió Logikai, Módszertani és Tudományfilozófiai Szekciójának elnöke (1971-1975). Lengyelország Újjászületése Lovagrendjének lovagja [6] (1954), a Lengyel Népköztársaság Állami Díjának kitüntetettje (1966) [7] .

Életrajz és tudományos tevékenység

Lembergben ( Ausztria-Magyarország , jelenleg Lviv, Ukrajna) született . 1931-ben belépett a Varsói Egyetemre . Nagy hatással volt rá Kuratovsky , Lindenbaum és Tarski . 1939-ben Mostovsky megvédte disszertációját; hivatalosan Kuratovsky volt a vezetője, de valójában Tarsky volt.

Miután a Wehrmacht megszállta Lengyelországot, Mostowski könyvelői állást vállalt, de titokban tovább dolgozott a földalatti varsói egyetemen. Az 1944- es varsói felkelés után a nácik megpróbálták koncentrációs táborba küldeni, de lengyel ápolónők segítségével sikerült kórházba szöknie. Kiadatlan matematikai munkáinak jelentős része helyrehozhatatlanul elveszett. 1944 szeptemberében Mostovsky feleségül vette Maria Matushevskaya-t.

A háború befejezése után egy ideig a krakkói egyetemen dolgozott , 1946-tól élete végéig - a Varsói Egyetemen (1947-től egyetemi docens, 1951-től egyetemi tanár). Az 1948-1949-es tanévben a Princeton- i Institute for Advanced Study -ban dolgozott, 1958-1959-ben a Berkeley-i Kaliforniai Egyetemen tartott előadásokat .

Mostovsky eredményei közül sok bekerült a tankönyvekbe. Mélyrehatóan tanulmányozta a Zermelo-Fraenkel axiómák rendszerét , a másodrendű aritmetika modelljeit, tanulmányozta a matematikai elméletek eldönthetőségének problémáit, a logika algebrai értelmezését és a többértékű logikát . Sokat foglalkozott a lengyel matematikai iskola oktatásával, fejlesztésével, több tucat fiatal tudós értekezésének témavezetője volt. Tanítványai közé tartozik Janusz Onyshkevich .

Főbb munkák

• Kuratowski, Kazimierz & Mostowski, Andrzej (1976), Halmazelmélet. Bevezetés a leíró halmazelméletbe , vol. 86 (második kiadás), Studies in Logic and the Foundations of Mathematics, Amsterdam-New York-Oxford: North-Holland Publishing Co. 
• Andrzej Mostowski, Meghatározhatatlan mondatok a formalizált aritmetikában: Kurt Godel elméletének kifejtése , Észak-Holland, Amszterdam, 1952, ISBN 978-0313231513
• Andrzej Mostowski, Constructible Sets with Applications , North-Holland, Amszterdam, 1969.

• Andrzej Mostowski: "Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip". Fundamenta Mathematicae Vol. 32, No.1, ss. 201-252, (1939).
• Andrzej Mostowski, "A pozitív egész számok meghatározható halmazairól" , Fundamenta Mathematicae Vol. 34, sz. 1, ss. 81-112, (1947).
• Andrzej Mostowski, "Un théorème sur les nombres cos 2πk/n" , Colloquium Mathematicae Vol. 1, sz. 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, sz. 3-4, ss. 212-215, (1951).
• Andrzej Mostowski: „A Boole-algebrákkal kapcsolatos csoportok. (A P92 feladat részleges megoldása)” , Colloquium Mathematicae Vol. 2, sz. 3-4, ss. 216-219 (1951).
• Andrzej Mostowski, "Az elméletek közvetlen termékeiről" , Journal of Symbolic Logic , 1. kötet. 17. sz. 1, ss. 1-31, (1952).
• Andrzej Mostowski, "Axiomatikus rendszerek modelljei" , Fundamenta Mathematicae Vol. 39. sz. 1, ss. 133-158 (1952).
• Andrzej Mostowski, "Az axiómarendszerről, amelynek nincs rekurzívan felsorolható aritmetikai modellje" , Fundamenta Mathematicae Vol. 40, sz. 1, ss. 56-61, (1953).
• Andrzej Mostowski, "Egy képlet rekurzívan felsorolható modell nélkül" , Fundamenta Mathematicae Vol. 42. sz. 1, ss. 125-140, (1955).
• Andrzej Mostowski, "Példák két és három kvantor segítségével definiálható halmazokra" , Fundamenta Mathematicae Vol. 42. sz. 2, ss. 259-270 (1955).
• Andrzej Mostowski, "Hozzájárulások a meghatározható halmazok és függvények elméletéhez" , Fundamenta Mathematicae Vol. 42. sz. 2, ss. 271-275 (1955).
• Andrzej Ehrenfeucht, Andrzej Mostowski, "Automorfizmusokat elismerő axiomatikus elméletek modelljei" , Fundamenta Mathematicae , 1. kötet. 43. sz. 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, sz. 1, ss. 1-11, (1957).
• Andrzej Mostowski, "A kvantorok általánosításáról" , Fundamenta Mathematicae Vol. 44, sz. 1, ss. 12-36, (1957).
• Andrzej Mostowski, "A kiszámítható sorozatokról" , Fundamenta Mathematicae Vol. 44, sz. 1, ss. 37-51, (1957).
• Andrzej Grzegorczyk, Andrzej Mostowski és Czesław Ryll-Nardzewski, "A klasszikus és ω-teljes aritmetika" , Journal of Symbolic Logic 1. köt. 23. sz. 2, ss. 188-206, (1958).
• Andrzej Mostowski, "W. Kinna és K. Wagner problémájáról" , Colloquium Mathematicae 2. kötet. 6, sz. 1, ss. 207-208, (1958).
• Andrzej Mostowski, "A befejezetlenségi tétel általánosítása" , Fundamenta Mathematicae Vol. 49, sz. 2, ss. 205-232 (1961).
• Andrzej Mostowski, "Néhány sok értékes predikátumszámítás axiomatizálhatósága" , Fundamenta Mathematicae 2. kötet. 50, sz. 2, ss. 165-190, (1961).
• Yoshindo Suzuki, Andrzej Mostowski, "On ω-models amelyek nem β-modellek" , Fundamenta Mathematicae Vol. 65. sz. 1, ss. 83-93 (1969).

Orosz fordítások

• Mostovsky A. A matematika alapjainak kutatásának jelenlegi állása . Uspekhi matematicheskikh nauk , 1954, 9. kötet, 3/61. szám.
• Kuratovsky K., Mostovsky A. Halmazelmélet . M.: Mir, 1970. 416 p.
• Mostovsky A. Konstruktív készletek és alkalmazásaik. M.: Mir, 1973. 256 p. Ez lényegében a „halmazelmélet” 2. része.

Jegyzetek

1. ↑ 1 2 3 4 5 6 7 MacTutor Matematika története Archívum
2. ↑ 1 2 Andrzej Stanisław Mostowski // Lengyel életrajzi online szótár  (lengyel)
3. ↑ Német Nemzeti Könyvtár , Berlini Állami Könyvtár , Bajor Állami Könyvtár , Osztrák Nemzeti Könyvtár nyilvántartása #118584510 // Általános szabályozási ellenőrzés (GND) - 2012-2016.
4. ↑ https://www.ias.edu/scholars/andrzej-mostowski
5. ↑ Matematikai genealógia  (angol) - 1997.
6. ↑ Uchwała Rady Państwa z dnia 28 września 1954 r. o nadaniu odznaczeń państwowych
7. ↑ Matematika. Mechanics, 1983 , p. 336-337.

Irodalom

• Bogolyubov A.N. Mostovsky Andrzej // Matematika. Mechanika. Életrajzi útmutató . - Kijev: Naukova Dumka , 1983. - S. 336-337. — 639 p.

Linkek

• Muravsky R. Lengyel logika- és matematikafilozófia a két világháború közötti időszakban . // Tudomány- és technikatörténet, 8. sz (2016).
• John J. O'Connor és Edmund F. Robertson . Mostowski, Andrzej  -  életrajz a MacTutoron .

Tematikus oldalak	Matematikai genealógia zbMATH Nyitva Össz-orosz matematikai portál Archívum a matematika történetéhez MacTutor
Bibliográfiai katalógusokban 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