Alfred Tarski: Auxiliary Notes on His Legacy
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.