ProofWiki:Mathematicians/Alfred Tarski
From ProofWiki
Name at birth: Alfred Teitelbaum.
Polish mathematician who worked in several fields of mathematics, in particular logic.
Most famous for the Banach-Tarski Paradox (with Stefan Banach) in 1924.
Contents |
Nationality
Polish
History
- Born: 14 Jan 1902, Warsaw, Russian Empire (now Poland)
- Died: 26 Oct 1983, Berkeley, California, USA
Theorems and Definitions
- Banach-Tarski Paradox (with Stefan Banach)
- Tarski-Vaught Test (with Robert Lawson Vaught)
- Tarski's Undefinability Theorem
- Tarski's Geometry
Many more.
Books and Papers
Over 2500, including:
- 1930: Investigations into the Sentential Calculus (as Untersuchungen über den Aussagenkalkül, with Jan Łukasiewicz)
- 1933 The concept of truth in formalized languages
- 1935: Geometry
- 1936: On the concept of logical consequence
- 1936: Introduction to Logic and to the Methodology of Deductive Sciences
- 1948: A decision method for elementary algebra and geometry
- 1949: Cardinal Algebras
- 1953: Undecidable theories
- 1956: Logic, semantics, metamathematics
- 1956: Ordinal algebras
- 1957: The axiomatic method: with special reference to geometry and physics
- 1968: Equational logic and equational theories of algebras
- 1969: Truth and proof
