Alfred Tarski (/ˈtɑːrski/ Alfred Teitelbaum 1901-yil 14-yanvar – 1983-yil 26-oktyabr ) Polsha-Amerikalik mantiqchi va matematik edi. U o'zining model nazariyasi, matematika va algebraik mantiq bo'yicha ishi bilan tanilgan, shuningdek, mavhum algebra, topologiya, geometriya, o'lchov nazariyasi, matematik mantiq, to'plam nazariyasi va analitik falsafaga doir o'z izlanishlarini olib borgan.

Alfred Tarski
Tavalludi 14-yanvar 1901-yil
Varshava, Polsha
Vafoti 26-oktyabr 1983-yil
Berkeley, AQSH
Fuqaroligi Polsha, Amerika
Sohasi Matematika, Mantiq, Rasmiy til
Institutlar Varshava universiteti(1925-1939) Berkeley universiteti(1942-1983)
Taʼlimi Varshava universiteti(Magistratura 1924)
Tezis sarlavhasi O wyrazie pierwotnym logistyki (Logistikaning ibtidoiy atamasi bo'yicha)
Akademik rahbarlari Stanisław Leśniewski
Mashhur shogirdlari Evert Willem Beth
Mashhur ishlari
  • Zamonaviy poydevorlar ustida ishlash (mantiq)
  • Haqiqatning semantik nazariyasi (Konventsiya T)
  • Tarskining ta'riflanmaydigan teoremasi
  • Model nazariyasining rivojlanishi
  • Munosabatlar mantig'i
  • Banach-Tarski paradoksi
  • Tarski uslubidagi koinotlar
  • Tarski aksiomalari
Taʼsir olgan
Taʼsir koʻrsatgan

Polshada Varshava universitetida tahsil olgan va Varshava mantiq maktabi va Varshava matematika maktabining a'zosi bo'lgan, keyinchalik u 1939-yilda Qo'shma Shtatlarga ko'chib kelgan va u 1945-yilda AQSH fuqaroligini qabul qilgan. Tarski matematikadan Berkli Kaliforniya universitetida 1942-yildan 1983-yilgacha dars bergan va tadqiqotlar olib borgan .

Uning biograflari Anita Burdman Feferman va Sulaymon Fefermanning ta'kidlashicha, "U o'zining zamondoshi Kurt Gekspdel bilan birga haqiqat tushunchasi va modellar nazariyasi ustida ishlash orqali yigirmanchi asrda mantiq tushunchasini o'zgartirdi".