Alfred Tarski

Alfred Tarski
Tarski in 1968
Born
Alfred Teitelbaum

(1901-01-14)January 14, 1901
Warsaw, Congress Poland
DiedOctober 26, 1983(1983-10-26) (aged 82)
Berkeley, California, US
EducationUniversity of Warsaw (Ph.D., 1924)
Known for
  • Work on the foundations of modern logic
  • Semantic theory of truth (Convention T)
  • Tarski's undefinability theorem
  • Development of model theory
  • Logic of relations
  • Banach–Tarski paradox
  • Tarski's fixed-point theorem
  • Tarski-style universes
  • Tarski's axioms
  • Tarski monster group
  • Tarski's circle-squaring problem
  • Tarski–Kuratowski algorithm
  • Jónsson–Tarski duality
  • Lindenbaum–Tarski algebra
Scientific career
FieldsMathematics, logic, formal language
Institutions
ThesisO wyrazie pierwotnym logistyki (On the Primitive Term of Logistic) (1924)
Doctoral advisorStanisław Leśniewski
Doctoral students
  • Solomon Feferman
  • Haim Gaifman
  • Bjarni Jónsson
  • Howard Jerome Keisler
  • Roger Maddux
  • Richard Montague
  • Anne C. Morel
  • Andrzej Mostowski
  • Julia Robinson
  • Wanda Szmielew
  • Robert Vaught
Other notable studentsEvert Willem Beth

Alfred Tarski (/ˈtɑːrski/; Polish: [ˈtarskʲi]; born Alfred Teitelbaum;[1][2][3] January 14, 1901 – October 26, 1983) was a Polish-American[4] logician and mathematician.[5] A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, type theory, and analytic philosophy.

Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, in 1939 he immigrated to the United States, where in 1945 he became a naturalized citizen. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.[6]

His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."[7]

  1. ^ Alfred Tarski, "Alfred Tarski", Encyclopædia Britannica.
  2. ^ School of Mathematics and Statistics, University of St Andrews, "Alfred Tarski", School of Mathematics and Statistics, University of St Andrews.
  3. ^ "Alfred Tarski". Oxford Reference.
  4. ^ Gomez-Torrente, Mario (March 27, 2014). "Alfred Tarski - Philosophy - Oxford Bibliographies". Oxford University Press. Retrieved October 24, 2017.
  5. ^ Alfred Tarski, "Alfred Tarski", Stanford Encyclopedia of Philosophy.
  6. ^ Feferman A.
  7. ^ Feferman & Feferman, p.1
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.