Advertisement

Alfred Tarski: Auxiliary Notes on His Legacy

  • Jan Zygmunt
Chapter
Part of the Studies in Universal Logic book series (SUL)

Abstract

The purpose of this article is to highlight a selected few of Alfred Tarski's career achievements. The choice of these achievements is subjective. Section 1 is a general sketch of his life and work, emphasizing his role as researcher, teacher, organizer and founder of a scientific school. Section 2 discusses his contributions to set theory. Section 3 discusses his contributions to the foundations of geometry and to measure theory. Section 4 looks at his metamathematical work, and especially the decision problem for formalized theories. Section 5 is a selected bibliography to illustrate Sects. 1–4.

Keywords

Alfred Tarski Logic Metamathematics Set theory Foundations of geometry  

Mathematics Subject Classification

Primary: 01A60 Secondary: 01A70, 01A72, 51-03, 54-03, 54A05  

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Jan Zygmunt
    • 1
  1. 1.University of WrocławWrocławPoland

Personalised recommendations