Alfred Tarski (Varsovia, entón Imperio ruso, hoxe Polonia, 14 de xaneiro - Berkeley, Estados Unidos, 26 de outubro ) foi un lóxico, matemático e filósofo polaco. Emigrou aos Estados Unidos en 1939, onde se converteu en cidadán naturalizado en 1945 e foi profesor de matemáticas na Universidade de California en Berkeley desde 1942 ata a súa morte.
Escribiu, entre outras áreas, sobre topoloxía, xeometría, teoría da medida, axiomatización de álxebra e xeometría, fundamentos da semántica, lóxica matemática, teoría de conxuntos, metamatemáticas e, especialmente, sobre teoría dos modelos, teoría semántica da verdade, álxebra abstracta e lóxica alxébrica. A súa obra ten unha gran relevancia filosófica. Está considerado un dos maiores lóxicos da historia, xunto con Aristóteles, Frege e Kurt Gödel. Tarski describiuse a si mesmo como "un matemático (e tamén un lóxico e, quizais, dalgún xeito, un filósofo)". En filosofía, destaca especialmente polas súas caracterizacións matemáticas dos conceptos de verdade, constante lóxica e consecuencia lóxica para as oracións en linguaxes formalizadas clásicas. En matemáticas e filosofía, a súa fama débese principalmente aos seus impresionantes traballos sobre teoría de conxuntos, teoría dos modelos e álxebra, incluíndo resultados e desenvolvementos como o paradoxo de Banach-Tarski, a indefinibilidade do teorema da verdade, a integralidade e decidibilidade da álxebra e a xeometría elemental, e as nocións de álxebra cardinal, ordinal, relación e álxebra cilíndrica. Notas
Véxase tamén
Bibliografía
Outros artigos Conclusión (lóxica) . Ligazóns externas forall x: Calgary An Introduction to Formal Logic.
Categoría:Nados en Varsovia Categoría:Finados en 1983 Categoría:Nados en 1901