Mostovsky, Andrzej
| Andrzej Mostowski | |
|---|---|
| Polere Andrzej Mostowski | |
| Navn ved fødslen | Polere Andrzej Stanislaw Mostowski |
| Fødselsdato | 1. november 1913 [1] [2] |
| Fødselssted | |
| Dødsdato | 22. august 1975 [1] [2] (61 år) |
| Et dødssted |
|
| Land | |
| Videnskabelig sfære | matematik , logik og matematikkens grundlag |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Alfred Tarski og Kazimir Kuratovsky [5] |
| Studerende | Jerzy Pogonowski |
| Priser og præmier | Polens statspris [d] ( 1953 , 1966 ) Jurzykowski-prisen [d] ( 1972 ) |
| Mediefiler på Wikimedia Commons | |
Andrzej Stanisław Mostowski ( polsk: Andrzej Mostowski , 1913-1975) var en polsk matematiker og logiker , medlem af det polske videnskabsakademi (1956). Værkerne er helliget grundlaget for matematik , matematisk logik , mængdelære , modelteori , løseligheden af rekursive formler , anvendelsen af algebraiske og topologiske metoder i matematisk logik. Formand for sektionen for logik, metodologi og videnskabsfilosofi i International Union for the History and Philosophy of Science (1971-1975). Ridder af Polens Genfødselsorden [6] (1954), vinder af Den Polske Folkerepubliks Statspris (1966) [7] .
Biografi og videnskabelig aktivitet
Født i Lemberg ( Østrig-Ungarn , nu Lviv, Ukraine). I 1931 kom han ind på universitetet i Warszawa . Han var stærkt påvirket af Kuratovsky , Lindenbaum og Tarski . I 1939 forsvarede Mostovsky sin afhandling; officielt var dens leder Kuratovsky, men i virkeligheden var det Tarsky.
Efter Wehrmacht invaderede Polen, tog Mostowski et job som revisor, men fortsatte i al hemmelighed med at arbejde på det underjordiske Warszawa Universitet. Efter Warszawa-oprøret i 1944 forsøgte nazisterne at sende ham i en koncentrationslejr, men med hjælp fra polske sygeplejersker lykkedes det ham at flygte til hospitalet. En betydelig del af hans upublicerede matematiske værker gik uigenkaldeligt tabt. I september 1944 giftede Mostovsky sig med Maria Matushevskaya.
Efter krigens afslutning arbejdede han i nogen tid ved universitetet i Krakow , fra 1946 til slutningen af sit liv - ved universitetet i Warszawa (lektor siden 1947, professor siden 1951). I det akademiske år 1948-1949 arbejdede han ved Institute for Advanced Study i Princeton, i 1958-1959 forelæste han ved University of California i Berkeley .
Mange af Mostovskys resultater er blevet inkluderet i lærebøger. Han gennemførte dybdegående undersøgelser af systemet med Zermelo-Fraenkel-aksiomer , modeller af andenordens aritmetik, studerede problemerne med afgørelighed af matematiske teorier, algebraisk fortolkning af logik og flerværdilogik . Han beskæftigede sig meget med uddannelse og udvikling af den polske matematiske skole, var vejleder for afhandlinger for snesevis af unge videnskabsmænd. Blandt hans elever er Janusz Onyshkevich .
Større værker
Bøger- Kuratowski, Kazimierz & Mostowski, Andrzej (1976), Sætteori. Med en introduktion til beskrivende mængdelære , bd. 86 (Anden udgave), Studies in Logic and the Foundations of Mathematics, Amsterdam-New York-Oxford: North-Holland Publishing Co.
- Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel , Nordholland, Amsterdam, 1952, ISBN 978-0313231513
- Andrzej Mostowski, Konstruerbare sæt med applikationer , Nord-Holland, Amsterdam, 1969.
- Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes von Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, nr. 1, ss. 201-252, (1939).
- Andrzej Mostowski, "Om definerbare sæt af positive heltal" , Fundamenta Mathematicae Vol. 34, nr. 1, ss. 81-112, (1947).
- Andrzej Mostowski, "Un théorème sur les nombres cos 2πk/n" , Colloquium 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" , Colloquium Mathematicae Vol. 2, nr. 3-4, ss. 212-215, (1951).
- Andrzej Mostowski, "Grupper forbundet med boolske algebraer. (Delvis løsning af problemet P92)” , Colloquium Mathematicae Vol. 2, nr. 3-4, ss. 216-219, (1951).
- Andrzej Mostowski, "Om direkte produkter af teorier" , Journal of Symbolic Logic , Vol. 17, nr. 1, ss. 1-31, (1952).
- Andrzej Mostowski, "Modeller af aksiomatiske systemer" , Fundamenta Mathematicae Vol. 39, nr. 1, ss. 133-158, (1952).
- Andrzej Mostowski, "På et system af aksiomer, som ikke har nogen rekursivt optallig aritmetisk model" , Fundamenta Mathematicae Vol. 40, nr. 1, ss. 56-61, (1953).
- Andrzej Mostowski, "En formel uden nogen rekursivt optællingsmodel" , Fundamenta Mathematicae Vol. 42, nr. 1, ss. 125-140, (1955).
- Andrzej Mostowski, "Eksempler på sæt, der kan defineres ved hjælp af to og tre kvantifikatorer" , Fundamenta Mathematicae Vol. 42, nr. 2, ss. 259-270, (1955).
- Andrzej Mostowski, "Bidrag til teorien om definerbare mængder og funktioner" , Fundamenta Mathematicae Vol. 42, nr. 2, ss. 271-275, (1955).
- Andrzej Ehrenfeucht, Andrzej Mostowski, "Models of Axiomatic Theories Admitting Automorphisms" , Fundamenta Mathematicae , Vol. 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, "Om en generalisering af kvantifikatorer" , Fundamenta Mathematicae Vol. 44, nr. 1, ss. 12-36, (1957).
- Andrzej Mostowski, "On computable sequences" , Fundamenta Mathematicae Vol. 44, nr. 1, ss. 37-51, (1957).
- Andrzej Grzegorczyk, Andrzej Mostowski og Czesław Ryll-Nardzewski, "Den klassiske og ω-komplette aritmetik" , Journal of Symbolic Logic Vol. 23, nr. 2, ss. 188-206, (1958).
- Andrzej Mostowski, "On a problem of W. Kinna and K. Wagner" , Colloquium Mathematicae Vol. 6, nr. 1, ss. 207-208, (1958).
- Andrzej Mostowski, "En generalisering af ufuldstændighedssætningen" , Fundamenta Mathematicae Vol. 49, nr. 2, ss. 205-232, (1961).
- Andrzej Mostowski, "Axiomatizability af nogle mange værdsatte prædikatregninger" , Fundamenta Mathematicae Vol. 50, nej. 2, ss. 165-190, (1961).
- Yoshindo Suzuki, Andrzej Mostowski, "På ω-modeller, der ikke er β-modeller" , Fundamenta Mathematicae Vol. 65, nr. 1, ss. 83-93, (1969).
Russiske oversættelser
- Mostovsky A. Den aktuelle tilstand af forskning om grundlaget for matematik . Uspekhi matematicheskikh nauk , 1954, bind 9, udgave 3/61.
- Kuratovsky K., Mostovsky A. Teori om mængder. M.: Mir, 1970. 416 s.
- Mostovsky A. Konstruktive sæt og deres anvendelser. M.: Mir, 1973. 256 s. Dette er i det væsentlige 2. del af "Sætteori".
Noter
- ↑ 1 2 3 4 5 6 7 MacTutor History of Mathematics Archive
- ↑ 1 2 Andrzej Stanisław Mostowski // Polsk biografisk onlineordbog (polsk)
- ↑ German National Library , Berlin Statsbibliotek , Bayerske Statsbibliotek , Austrian National Library Record #118584510 // General Regulatory Control (GND) - 2012-2016.
- ↑ https://www.ias.edu/scholars/andrzej-mostowski
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ Uchwała Rady Państwa z dnia 28 września 1954 r. o nadaniu odznaczeń państwowych
- ↑ Matematik. Mechanics, 1983 , s. 336-337.
Litteratur
- Bogolyubov A.N. Mostovsky Andrzej // Matematik. Mekanik. Biografisk guide . - Kiev: Naukova Dumka , 1983. - S. 336-337. — 639 s.
Links
- Muravsky R. Polsk filosofi om logik og matematik i perioden mellem de to verdenskrige . // Videnskabs- og teknologihistorie, nr. 8 (2016).
- John J. O'Connor og Edmund F. Robertson . Mostowski, Andrzej - biografi på MacTutor .
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||