Mathematician:Alfred Tarski

From ProofWiki
Jump to navigation Jump to search


Polish mathematician who worked in several fields of mathematics, in particular logic.

Most famous for the Banach-Tarski Paradox (with Stefan Banach) in $1924$.




  • Born: 14 Jan 1902, Warsaw, Russian Empire (now Poland)
  • Died: 26 Oct 1983, Berkeley, California, USA

Theorems and Definitions

Many more.

Results named for Alfred Tarski can be found here.

Definitions of concepts named for Alfred Tarski can be found here.

Axioms named for Alfred Tarski can be found here.


Over 2500, including:

  • 1933 The concept of truth in formalized languages
  • 1935: Geometry
  • 1936: On the concept of logical consequence
  • 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

Also known as

Name at birth: Alfred Teitelbaum.