Polish mathematician
Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polishmathematician . He worked primarily inlogic andfoundations of mathematics and is perhaps best remembered for theMostowski collapse lemma . He was a member of thePolish Academy of Sciences and a representative of theWarsaw School of Mathematics .
Born inLemberg ,Austria-Hungary , Mostowski enteredUniversity of Warsaw in 1931. He was influenced byKuratowski ,Lindenbaum , andTarski . His Ph.D. came in 1939, officially directed byKuratowski but in practice directed byTarski who was a young lecturer at that time.
He became an accountant after the Germaninvasion of Poland but continued working in theUnderground Warsaw University . After theWarsaw uprising of 1944, theNazis tried to put him in a concentration camp. With the help of some Polish nurses, he escaped to a hospital, choosing to take bread with him rather than his notebook containing his research. Some of this research he reconstructed after the War, however much of it remained lost.
In 1954 Mostowski was awarded by Knight's Cross of theOrder of Polonia Restituta and in 1963 elected a real member of thePAS . After theWorld War II he supervised Rasiowa's both master and doctoral theses in logic and the foundations of mathematics.
His work was largely onrecursion theory andundecidability . From 1946 until his death inVancouver, British Columbia , Canada, he worked at theUniversity of Warsaw . Much of his work, during that time, was on first orderlogic andmodel theory . He also worked at theState Institute of Mathematics , which was incorporated into thePolish Academy of Sciences in 1952.[ 1]
His son Tadeusz is also a mathematician working ondifferential geometry .[ 2] René Thom 'sgradient conjecture in 2000.
1968 & 1976: (withKazimierz Kuratowski )Set Theory. With an Introduction to Descriptive Set Theory , Studies in Logic and Foundations of Mathematics #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. Andrzej Mostowski,"Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip." Fundamenta Mathematicae Vol. 32, No.1, ss. 201-252, (1939). Andrzej Mostowski,"On definable sets of positive integers" ,Fundamenta Mathematicae Vol. 34, No. 1, ss. 81-112, (1947). Andrzej Mostowski,"Un théorème sur les nombres cos 2πk/n" ,Colloquium Mathematicae Vol. 1, No. 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, No. 3-4, ss. 212-215, (1951).Andrzej Mostowski,"Groups connected with Boolean algebras. (Partial solution of the problem P92)" ,Colloquium Mathematicae Vol. 2, No. 3-4, ss. 216-219, (1951). Andrzej Mostowski,"On direct products of theories" ,Journal of Symbolic Logic , Vol. 17, No. 1, ss. 1-31, (1952). Andrzej Mostowski,"Models of axiomatic systems" ,Fundamenta Mathematicae Vol. 39, No. 1, ss. 133-158, (1952). Andrzej Mostowski,"On a system of axioms which has no recursively enumerable arithmetic model" ,Fundamenta Mathematicae Vol. 40, No. 1, ss. 56-61, (1953). Andrzej Mostowski,"A formula with no recursively enumerable model" ,Fundamenta Mathematicae Vol. 42, No. 1, ss. 125-140, (1955). Andrzej Mostowski,"Examples of sets definable by means of two and three quantifiers" ,Fundamenta Mathematicae Vol. 42, No. 2, ss. 259-270, (1955). Andrzej Mostowski,"Contributions to the theory of definable sets and functions" ,Fundamenta Mathematicae Vol. 42, No. 2, ss. 271-275, (1955). Andrzej Ehrenfeucht , Andrzej Mostowski,"Models of Axiomatic Theories Admitting Automorphisms" ,Fundamenta Mathematicae , Vol. 43, No. 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, No. 1, ss. 1-11, (1957). Andrzej Mostowski,"On a generalization of quantifiers" ,Fundamenta Mathematicae Vol. 44, No. 1, ss. 12-36, (1957). Andrzej Mostowski,"On computable sequences" ,Fundamenta Mathematicae Vol. 44, No. 1, ss. 37-51, (1957). Andrzej Grzegorczyk , Andrzej Mostowski andCzesław Ryll-Nardzewski ,"The classical and ω-complete arithmetic" ,Journal of Symbolic Logic Vol. 23, No. 2, ss. 188-206, (1958).Andrzej Mostowski,"On a problem of W. Kinna and K. Wagner" ,Colloquium Mathematicae Vol. 6, No. 1, ss. 207-208, (1958). Andrzej Mostowski,"A generalization of the incompleteness theorem" ,Fundamenta Mathematicae Vol. 49, No. 2, ss. 205-232, (1961). Andrzej Mostowski,"Axiomatizability of some many valued predicate calculi" ,Fundamenta Mathematicae Vol. 50, No. 2, ss. 165-190, (1961). Yoshindo Suzuki, Andrzej Mostowski,"On ω-models which are not β-models" ,Fundamenta Mathematicae Vol. 65, No. 1, ss. 83-93, (1969).
International National Academics People Other
