Alfred Tarski (1901–1983) was a Polish-American logician, mathematician, and philosopher, renowned for his contributions to the fields of logic, semantics, mathematics, and the philosophy of language. He is particularly famous for his work on formal languages and truth, most notably for formulating the concept of "truth" in a formalized way, which is encapsulated in the Tarski's definition of truth.

Ancestors (6)

  1. Computability theorists
  2. Mathematical logicians
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6. Home

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version