O Alfredzie Tarskim

Alfred Tarski (1901-1983) to wybitny umysł w świecie logiki i matematyki XX wieku, często wymieniany obok takich gigantów jak Arystoteles, Gottlob Frege i Kurt Gödel jako jeden z czterech najważniejszych logików w historii. Jego wkład w dziedzinę matematyki uczynił go jednym z najwybitniejszych matematycznych talentów swojej epoki. Życiorys Tarskiego jest tak imponujący, że niektórzy twierdzą, iż opisuje dokonania więcej niż jednego wyjątkowo zdolnego człowieka. Tarski przez dziesiątki lat pozostawał niezwykle aktywny na polu nauki, będąc uznawanym za najprężniej działającego logika matematycznego na świecie. Jego prace były skoncentrowane wokół kluczowych zagadnień, takich jak teoria mnogości, która pozwalała na dokładne definiowanie struktur matematycznych, oraz metamatematyka, dzięki której mógł opracować uniwersalny język formalny dla matematyki. Równocześnie, w swojej teorii prawdy, przypisano mu nowatorskie zastosowanie ścisłych matematycznych metod do zdefiniowania koncepcji prawdy w naukach dedukcyjnych. Jego praca pt. "Pojęcie prawdy w językach dedukcyjnych" zdobyła międzynarodową sławę, zwłaszcza po przekładzie na język niemiecki.