Tarski Alfred (Alfredas Társkis), tikr. Alfred Teitelbaum 1901 01 14Varšuva 1983 10 26Berkeley (Kalifornijos valstija), lenkų logikas ir matematikas. Dr. (1924).
1918–22 studijavo biologiją ir matematiką Varšuvos universitete. 1922–25 dėstė logiką Pedagogikos institute Varšuvoje, 1925–39 – matematiką ir logiką Varšuvos universitete. Nuo 1939 gyveno Jungtinėse Amerikos Valstijose. 1945–73 – Kalifornijos universiteto profesorius. Simbolinės logikos asociacijos (ASL) prezidentas (1944–46).
Veikale Tiesos sąvoka dedukcinių mokslų kalbose (Pojęcie prawdy w językach nauk dedukcyjnych 1933) nagrinėjo, kokius kriterijus turi tenkinti teisingo teiginio apibrėžimas išsamiai interpretuojamose formaliosiose kalbose, ir pateikė semantinės tiesos sampratą. 1956 paskelbė apibendrintą tiesos sampratą modelių teorijos kalboms. Pasak A. Tarskio, svarstant tiesos apibrėžimo ir kitas semantikos problemas reikėtų vartoti dvi kalbas: tą, kurioje apie kažką kalbama ir kuri yra viso tyrimo objektas (objektinė kalba), ir kalbą, kuria sudaromas tiesos apibrėžimas pirmajai kalbai (metakalba). Metakalba apima objektinę kalbą ir yra už ją platesnė.
Alfred Tarski (1968)
1924 su S. Banachu suformulavo Banacho ir Tarskio paradoksą – aibių teorijos teoremą, iš kurios gaunama paradoksali išvada, kad padalijus rutulį į keletą dalių, sukimo ir postūmių operacijomis galima gauti du tokio pat dydžio rutulius.
A. Tarskio logikos tyrinėjimai siejosi su dedukcinių mokslų metodologija. A. Tarskis skyrė tris dedukcinių sistemų tipus ir domėjosi šių sistemų suderinamumu ir pilnumu, galimybėmis sutvarkyti jas aksiominiu būdu, aksiomų nepriklausomumu.
Algebrinių modelių teorijoje labiausiai domėjosi išsprendžiamumo problema. A. Tarskis ištobulino bendruosius įvairių teorijų (taip pat algebrinių ir geometrinių) neišsprendžiamumo įrodymo metodus, remdamasis jų interpretavimo tam tikrose kitose teorijose galimybėmis.
Kiti svarbūs veikalai: Įvadas į matematinę logiką ir matematikos metodologiją (Einführung in die Mathematische Logik und in die Methodologie der Mathematik 1937), Semantinė tiesos samprata (The Semantic Conception of Truth 1944), Elementariosios algebros ir geometrijos sprendimo metodas (A Decision Method for Elementary Algebra and Geometry 1948).
1151
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.