Alfred Tarski

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