Andrzej Mostowski

Andrzej Mostowski
Mostowski 1973
Född	( 1913-11-01 ) 1 november 1913 Lemberg , Österrike-Ungern
dog	22 augusti 1975 (1975-08-22) (61 år) Vancouver , British Columbia , Kanada
Nationalitet	putsa
Alma mater	Universitetet i Warszawa
Känd för	Aritmetisk hierarki Mostowski kollaps lemma
Vetenskaplig karriär
Fält	Matematik
institutioner	Universitetet i Warszawa
Doktorerade rådgivare	Kazimierz Kuratowski Alfred Tarski
Doktorander	Andrzej Ehrenfeucht Moshé Machover Helena Rasiowa Roman Sikorski

Andrzej Mostowski (1 november 1913 – 22 augusti 1975) var en polsk matematiker . Han är kanske mest ihågkommen för Mostowskis kollapslemma .

Biografi

Mostowski föddes i Lemberg , Österrike-Ungern , och började på universitetet i Warszawa 1931. Han var influerad av Kuratowski , Lindenbaum och Tarski . Hans Ph.D. kom 1939, officiellt regisserad av Kuratowski men i praktiken regisserad av Tarski som var en ung föreläsare på den tiden.

Han blev revisor efter den tyska invasionen av Polen men fortsatte att arbeta vid Warszawas underjordiska universitet . Efter Warszawaupproret 1944 försökte nazisterna sätta honom i ett koncentrationsläger. Med hjälp av några polska sjuksköterskor flydde han till ett sjukhus, och valde att ta bröd med sig istället för sin anteckningsbok med hans forskning. En del av denna forskning rekonstruerade han efter kriget, men mycket av den förblev förlorad.

Hans arbete handlade till stor del om rekursionsteori och obeslutbarhet . Från 1946 till sin död i Vancouver, British Columbia , Kanada, arbetade han vid University of Warszawa . Mycket av hans arbete, under den tiden, var på första ordningens logik och modellteori .

Hans son Tadeusz är också en matematiker som arbetar med differentialgeometri . Med Krzysztof Kurdyka och Adam Parusinski löste Tadeusz Mostowski René Thoms gradientförmodan år 2000.

Se även

• Lista över polska folk
• Mostowski modell

Arbetar

Böcker

• 1968 & 1976: (med Kazimierz Kuratowski ) Uppsättningsteori. Med en introduktion till deskriptiv mängdteori , studier i logik och matematikens grunder #86, North Holland, MR 0485384
•   1952: Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel , North-Holland, Amsterdam, ISBN 978-0313231513
• 1969: Constructible Sets with Applications , North-Holland, Amsterdam.

Papper

• Andrzej Mostowski, "Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, nr 1, ss. 201-252, (1939).
• Andrzej Mostowski, "Om definierbara uppsättningar av positiva 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 kopplade till booleska algebror. (Delvis lösning av problemet P92)", Colloquium Mathematicae Vol. 2, nr 3-4, ss. 216-219, (1951).
• Andrzej Mostowski, "Om direkta produkter av teorier" , Journal of Symbolic Logic , Vol. 17, nr 1, ss. 1-31, (1952).
• Andrzej Mostowski, "Modeller av axiomatiska system" , Fundamenta Mathematicae Vol. 39, nr 1, ss. 133-158, (1952).
• Andrzej Mostowski, "Om ett system av axiom som inte har någon rekursivt uppräknad aritmetisk modell", Fundamenta Mathematicae Vol. 40, nr 1, ss. 56-61, (1953).
• Andrzej Mostowski, "En formel utan någon rekursivt uppräknad modell", Fundamenta Mathematicae Vol. 42, nr 1, ss. 125-140, (1955).
• Andrzej Mostowski, "Exempel på mängder som kan definieras med hjälp av två och tre kvantifierare", Fundamenta Mathematicae Vol. 42, nr 2, ss. 259-270, (1955).
• Andrzej Mostowski, "Bidrag till teorin om definierbara mängder och 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, "On a generalization of quantifiers" , 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 och Czesław Ryll-Nardzewski , "Den klassiska och ω-fullständiga aritmetiken", Journal of Symbolic Logic Vol. 23, nr 2, ss. 188-206, (1958).
• Andrzej Mostowski, "Om ett problem av W. Kinna och K. Wagner", Colloquium Mathematicae Vol. 6, nr 1, ss. 207-208, (1958).
• Andrzej Mostowski, "A generalization of the incompleteness theorem" , 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 ω-modeller som inte är β-modeller" , Fundamenta Mathematicae Vol. 65, nr 1, ss. 83-93, (1969).

externa länkar

• O'Connor, John J .; Robertson, Edmund F. , "Andrzej Mostowski" , MacTutor History of Mathematics arkiv , University of St Andrews
• Stanislaw Krejewski & Marian Srebrny om Andrzek Mostowskis liv och arbete