Mathematician:Alfred Tarski

From ProofWiki
Jump to navigation Jump to search

Mathematician

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

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


Nationality

Polish


History

  • 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.


Publications

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.


Sources