Alfred Tarski

Alfred Tarski (d. 14 Ocak 1902, Varşova, Polonya - ö. 26 Ekim 1983, Berkeley, California, ABD), genel cebir, ölçü kuramı, ma­tematiksel mantık, kümeler kuramı ve me-tamatematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'li matematikçi ve mantıkçı.

Doktora çalışmasını 1923'te Varşova Üni-versitesi'nde tamamlayan Tarski, daha son­ra aynı üniversitede öğretim üyesi olarak çalıştı. 1939'da ABD'ye gitti, 1942'de öğre­tim üyesi olarak girdiği Berkeley'deki Cali­fornia Üniversitesi'nde 1949'da matematik profesörlüğüne getirildi. 1958-60 arasında aynı üniversitenin Miller Temel Bilimsel Araştırmalar Enstitüsü'nde araştırmacı profesör olarak çalıştı. Pek çok matematik­çinin yetişmesinde büyük payı olan Tarski 1968'de emekli olduktan sonra da ders ver­meyi sürdürdü.

Yapıtları arasında en önemlileri şunlardır: The Concept of Truth in the Languages of Deductive Sciences (1933; Tümdengelimlı Bilimlerin Dillerinde Doğruluk Kavramı), Geometry (1935; Geometri), Introduction to Logic and to the Methodology of Deductive Sciences (1936; Mantığa ve Tümdengelimli Bilimlerin Yöntembilimine Giriş), Direct Decompositions of Finite Algebraic Systems (1947; Sonlu Cebirsel Sistemlerin Dolaysız Ayrışımları), A Decision Method for Elementary Algebra and Geometry (1948; Te­mel Cebir ve Geometride Bir Saptama Yöntemi), Undecidable Theories (1953; Saptanamaz Kuramlar) ve Logic, Seman-tics, Metamathematics (1956; Mantık, Anlambilim, Metamatematik).