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.
New to topics? Read the docs here!