Andrzej Mostowski

from Wikipedia, the free encyclopedia
Andrzej Mostowski

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

Act

After studying and habilitation, Mostowski was appointed professor of mathematics at Warsaw University in 1951. His main areas of work were algebra, set theory, model theory and recursion theory. In addition to his research on the Zermelo-Fraenkel system of axioms, his work on models of second-order arithmetic are particularly outstanding . He also examined the decidability of mathematical theories, the algebraic interpretation of logic and multi-valued logic . Many of Mostowski's results can be found in textbooks today. It is also interesting that he dealt with the comprehensive presentation of Gödel's incompleteness theorem and wrote a paper on basic mathematical research from 1930 to 1964.

Works (selection of English-language titles)

  • 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 Gödel , Amsterdam, 1964
  • Thirty Years of Foundational Studies. Lectures of the Development of Mathematical Logic and the Study of Foundations of Mathematics in 1930-1964 .
  • with Alfred Tarski , Raphael Robinson Undecidable Theories , North Holland 1953

literature

  • Ehrenfeucht, Marek, Srebrny (editor) Andrzej Mostowski and Foundational Studies , IOS Press 2008 (with list of publications)
  • K. Kuratowski, A Half Century of Polish Mathematics. Remembrances and Reflections , Oxford / Warsaw, 1980

See also

Web links

personal data
SURNAME Mostowski, Andrzej
BRIEF DESCRIPTION Polish mathematician and logician
DATE OF BIRTH November 1, 1913
PLACE OF BIRTH Lwów (Lviv)
DATE OF DEATH 22nd August 1975
Place of death Vancouver