CEVAP: Alfred Tarski (1901-1983) Polonyalı bir mantıkçı ve matematikçidir. Öğrenimini Varşova Üniversitesi’nde görmüş, 1939 yılından itibaren ABD’ye göç etmiştir. 1942’den ölümüne kadar Berkeley’deki Kaliforniya Üniversitesi’nde akademik çalışmalarını sürdürmüştür. Bazılarına göre Tarski, Aristoteles, Gottlob Frege ve Kurt Gödel ile birlikte gelmiş geçmiş en büyük dört mantıkçıdan birisi olarak Kabul edilmektedir. 1933 yılında Tarski 100 sayfadan uzun Lehçe bir makale yayımlar ve bu makalesinde biçimsel diller için doğruluğun matematiksel bir tanımını sunar. Makale “The Concept of Truth in Formalized Languages” adıyla 1956 yılında İngilizce’ye çevrilir.