Alfred Tarski

related topics
{math, number, function}
{theory, work, human}
{work, book, publish}
{son, year, death}
{school, student, university}
{@card@, make, design}
{war, force, army}
{group, member, jewish}
{island, water, area}
{woman, child, man}

Alfred Tarski (January 14, 1901 – October 26, 1983) was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death.[1]

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, and analytic philosophy.

Tarski's student Robert Vaught ranked Tarski as one of the four greatest logicians of all time, along with Aristotle, Kurt Gödel, and Gottlob Frege, although Tarski himself expressed great admiration for Charles Sanders Peirce.[2][3][4] His biographers Anita 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." [2]


Full article ▸

related documents
Georg Cantor
Church–Turing thesis
Mathematical proof
Set theory
Vacuous truth
Stochastic process
Multiplication algorithm
Support vector machine
General linear group
Imaginary unit
Busy beaver
Lp space
Fermat number
Riemannian manifold
Bayesian inference
Monte Carlo method
BCH code
Fundamental theorem of algebra
Abstraction (computer science)
Vigenère cipher
Extended Euclidean algorithm
Hyperreal number
Cholesky decomposition
Multivariate normal distribution
Dynamic programming
Least squares
Standard ML