Alfred Tarski
auxiliary notes on his legacy
pp. 425-455
in: Angel Garrido, Urszula Wybraniec-Skardowska (eds), The Lvov-Warsaw school, Berlin, Springer, 2018Abstract
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.
