Mostovsky, Andrzej
| Andrzej Mostowski | |
|---|---|
| Kiillottaa Andrzej Mostowski | |
| Nimi syntyessään | Kiillottaa Andrzej Stanislaw Mostowski |
| Syntymäaika | 1. marraskuuta 1913 [1] [2] |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 22. elokuuta 1975 [1] [2] (61-vuotias) |
| Kuoleman paikka |
|
| Maa | |
| Tieteellinen ala | matematiikka , logiikka ja matematiikan perusteet |
| Työpaikka | |
| Alma mater | |
| tieteellinen neuvonantaja | Alfred Tarski ja Kazimir Kuratovsky [5] |
| Opiskelijat | Jerzy Pogonowski |
| Palkinnot ja palkinnot | Puolan valtionpalkinto [d] ( 1953 , 1966 ) Jurzykowski-palkinto [d] ( 1972 ) |
| Mediatiedostot Wikimedia Commonsissa | |
Andrzej Stanisław Mostowski ( puola: Andrzej Mostowski , 1913–1975) oli puolalainen matemaatikko ja loogikko , Puolan tiedeakatemian jäsen (1956). Teokset ovat omistettu matematiikan , matemaattisen logiikan , joukkoteorian , malliteorian , rekursiivisten kaavojen ratkaistavuuteen , algebrallisten ja topologisten menetelmien soveltamiseen matemaattisessa logiikassa. Kansainvälisen tiedehistorian ja -filosofian liiton logiikan, metodologian ja tiedefilosofian jaoston puheenjohtaja (1971-1975). Puolan uudestisyntymisen ritarikunnan ritari [6] (1954), Puolan kansantasavallan valtionpalkinnon saaja (1966) [7] .
Elämäkerta ja tieteellinen toiminta
Syntynyt Lembergissä ( Itävalta-Unkari , nykyinen Lviv, Ukraina). Vuonna 1931 hän tuli Varsovan yliopistoon . Kuratovski , Lindenbaum ja Tarski vaikuttivat häneen suuresti . Vuonna 1939 Mostovsky puolusti väitöskirjaansa; virallisesti sen johtaja oli Kuratovsky, mutta itse asiassa se oli Tarsky.
Wehrmachtin hyökättyä Puolaan Mostowski otti työpaikan kirjanpitäjänä, mutta jatkoi salaa työskentelyä maanalaisessa Varsovan yliopistossa . Varsovan kansannousun jälkeen vuonna 1944 natsit yrittivät lähettää hänet keskitysleirille, mutta puolalaisten sairaanhoitajien avulla hän onnistui pakenemaan sairaalaan. Merkittävä osa hänen julkaisemattomista matemaattisista teoksistaan katosi peruuttamattomasti. Syyskuussa 1944 Mostovsky meni naimisiin Maria Matushevskajan kanssa.
Sodan päätyttyä hän työskenteli jonkin aikaa Krakovan yliopistossa , vuodesta 1946 elämänsä loppuun asti - Varsovan yliopistossa (apulaisprofessori vuodesta 1947, professori vuodesta 1951). Lukuvuonna 1948-1949 hän työskenteli Institute for Advanced Studyssa Princetonissa, vuosina 1958-1959 hän luennoi Kalifornian yliopistossa Berkeleyssä .
Monet Mostovskin tuloksista on sisällytetty oppikirjoihin. Hän suoritti syvällisiä tutkimuksia Zermelo-Fraenkel-aksioomien järjestelmästä , toisen asteen aritmeettisen mallin malleista, tutki matemaattisten teorioiden ratkeavuusongelmia, logiikan algebrallista tulkintaa ja moniarvologiikkaa . Hän käsitteli paljon puolalaisen matemaattisen koulun koulutusta ja kehittämistä, oli kymmenien nuorten tutkijoiden väitöskirjojen ohjaaja. Hänen oppilaidensa joukossa on Janusz Onyshkevich .
Tärkeimmät työt
Kirjat- Kuratowski, Kazimierz & Mostowski, Andrzej (1976), Joukkoteoria. Johdatus kuvaavaan joukkoteoriaan , vol. 86 (2. painos), Studies in Logic and the Foundations of Mathematics, Amsterdam-New York-Oxford: North-Holland Publishing Co.
- Andrzej Mostowski, Päättämättömät lauseet formalisoidussa aritmetiikassa: Kurt Godelin teorian esitys , Pohjois-Hollanti, Amsterdam, 1952, ISBN 978-0313231513
- Andrzej Mostowski, Rakennettavat sarjat sovelluksilla , Pohjois-Hollanti, Amsterdam, 1969.
- Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip". Fundamenta Mathematicae Voi. 32, nro 1, ss. 201-252, (1939).
- Andrzej Mostowski, "Määriteltävissä olevasta positiivisten kokonaislukujen joukosta" , Fundamenta Mathematicae Voi. 34, nro. 1, ss. 81-112, (1947).
- Andrzej Mostowski, "Un théorème sur les nombres cos 2πk/n" , Colloquium Mathematicae Vol. 1, ei. 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 Voi. 2, ei. 3-4, ss. 212-215, (1951).
- Andrzej Mostowski, "Boolen algebroihin liittyvät ryhmät. (Tehtävän P92 osittainen ratkaisu)” , Colloquium Mathematicae Voi. 2, ei. 3-4, ss. 216-219, (1951).
- Andrzej Mostowski, "Teorioiden suorista tuotteista" , Journal of Symbolic Logic , Voi. 17, ei. 1, ss. 1-31, (1952).
- Andrzej Mostowski, "Aksiomaattisten järjestelmien mallit" , Fundamenta Mathematicae Voi. 39, ei. 1, ss. 133 - 158, (1952).
- Andrzej Mostowski, "Aksioomijärjestelmästä, jolla ei ole rekursiivisesti luettavaa aritmeettista mallia" , Fundamenta Mathematicae Voi. 40, ei. 1, ss. 56-61, (1953).
- Andrzej Mostowski, "Kaava ilman rekursiivisesti luettavaa mallia" , Fundamenta Mathematicae Voi. 42, nro. 1, ss. 125-140, (1955).
- Andrzej Mostowski, "Esimerkkejä joukoista, jotka voidaan määrittää kahdella ja kolmella kvantorilla" , Fundamenta Mathematicae Voi. 42, nro. 2, ss. 259-270, (1955).
- Andrzej Mostowski, "Osuudet määriteltävissä olevien joukkojen ja funktioiden teoriaan" , Fundamenta Mathematicae Voi. 42, nro. 2, ss. 271-275, (1955).
- Andrzej Ehrenfeucht, Andrzej Mostowski, "Automorfismia hyväksyvien aksiomaattisten teorioiden mallit" , Fundamenta Mathematicae , Voi. 43, nro. 1, ss. 50-68 (1956).
- Andrzej Mostowski, "L'oeuvre Scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique" , Fundamenta Mathematicae Voi. 44, nro. 1, ss. 1-11, (1957).
- Andrzej Mostowski, "Kvantitoreiden yleistyksestä" , Fundamenta Mathematicae Voi. 44, nro. 1, ss. 12-36, (1957).
- Andrzej Mostowski, "On computable sekvenssit" , Fundamenta Mathematicae Voi. 44, nro. 1, ss. 37-51, (1957).
- Andrzej Grzegorczyk, Andrzej Mostowski ja Czesław Ryll-Nardzewski, "Klassinen ja ω-täydellinen aritmetiikka" , Journal of Symbolic Logic Voi. 23, ei. 2, ss. 188-206, (1958).
- Andrzej Mostowski, "W. Kinnan ja K. Wagnerin ongelmasta" , Colloquium Mathematicae Voi. 6, ei. 1, ss. 207-208, (1958).
- Andrzej Mostowski, "Epätäydellisyyslauseen yleistys" , Fundamenta Mathematicae Voi. 49, nro. 2, ss. 205 - 232, (1961).
- Andrzej Mostowski, "Joidenkin monien arvostettujen predikaattilaskujen aksiomatisoitavuus" , Fundamenta Mathematicae Voi. 50, ei. 2, ss. 165 - 190, (1961).
- Yoshindo Suzuki, Andrzej Mostowski, "On ω-malleja, jotka eivät ole β-malleja" , Fundamenta Mathematicae Voi. 65, nro. 1, ss. 83-93, (1969).
Venäjän käännökset
- Mostovsky A. Matematiikan perusteiden tutkimuksen nykytila . Uspekhi matematicheskikh nauk , 1954, osa 9, numero 3/61.
- Kuratovsky K., Mostovsky A. Joukkoteoria . M.: Mir, 1970. 416 s.
- Mostovsky A. Rakentavat sarjat ja niiden sovellukset. M.: Mir, 1973. 256 s. Tämä on pohjimmiltaan "Set Theory" -teorian toinen osa.
Muistiinpanot
- ↑ 1 2 3 4 5 6 7 MacTutor Matematiikan historia -arkisto
- ↑ 1 2 Andrzej Stanisław Mostowski // Puolan biografinen online-sanakirja (puola)
- ↑ Saksan kansalliskirjasto , Berliinin osavaltion kirjasto , Baijerin osavaltion kirjasto , Itävallan kansalliskirjaston tietue #118584510 // General Regulatory Control (GND) - 2012-2016.
- ↑ https://www.ias.edu/scholars/andrzej-mostowski
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
- ↑ Uchwała Rady Państwa z dnia 28 września 1954 r. o nadaniu odznaczeń państwowych
- ↑ Matematiikka. Mechanics, 1983 , s. 336-337.
Kirjallisuus
- Bogolyubov A.N. Mostovsky Andrzej // Matematiikka. Mekaniikka. Elämäkerrallinen opas . - Kiova: Naukova Dumka , 1983. - S. 336-337. — 639 s.
Linkit
- Muravsky R. Puolalainen logiikan ja matematiikan filosofia kahden maailmansodan välisenä aikana . // Tieteen ja tekniikan historia, nro 8 (2016).
- John J. O'Connor ja Edmund F. Robertson . Mostowski, Andrzej - elämäkerta MacTutorissa .
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| ||||