Andrzej Mostowski

Andrzej Mostowski (born 1 November 1913 in Lwów (Lviv ); † August 22, 1975 in Vancouver ) was a Polish mathematician and logician.

Work

After his studies and habilitation Mostowski was appointed in 1951 as professor of mathematics at the University of Warsaw. His main areas of work were algebra, set theory, model theory, and recursion theory. Particularly outstanding are in addition to his research on the Zermelo - Fraenkel axiom system his work on models of second -order arithmetic. He also examined the decidability of mathematical theories, the algebraic interpretation of logic and multivalued logic. Many results Mostowskis can be found today in textbooks again. It is also interesting that he has dealt with the comprehensive presentation of Godel's incompleteness theorem and wrote a work on mathematical research 1930-1964.

Works (selection English-language title )

• Set Theory, Warsaw / Amsterdam, 1968
• Foundational Studies. Selected Works, I-II, Amsterdam / New York / Oxford 1979
• Introduction to higher algebra, Oxford / Warsaw, 1964
• Sentences of Undeciable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel, Amsterdam, 1964
• Thirty Years of Foundational Studies. Lectures of the Development of Mathematical Logic and the Foundations of Mathematics in Study of 1930 to 1964.
• With Alfred Tarski, Raphael Robinson Undecidable Theories, North Holland 1953