Alfredo Tarski

De Enciclopedia Symploké, la enciclopedia libre.

(Redirigido desde Tarski)
Alfredo Tarski
Aumentar
Alfredo Tarski

Alfredo Tarski (14 de enero de 1901, Varsovia - 26 de octubre de 1983, Berkeley, California).

Matemático y lógico polaco, emigró a los EE.UU. en 1939 y enseñó matemáticas en la Universidad de Berkeley, California, desde 1942 hasta su muerte.

Prolífico autor conocido por su trabajo en teoría de modelos, álgebra abstracta, topología, geometría, lógica matemática y teoría de conjuntos, Tarski estudió las relaciones entre las estructuras matemáticas y los lenguajes formales utilizados para hablar de ellas.

Formuló una teoría de la verdad (en sus dos vertientes, materialmente adecuada y formalmente correcta) como correspondencia (adecuacionismo) de los enunciados con los hechos que describen; para poder hablar sobre enunciados y hechos, una teoría debe utilizar nombres de enunciados: ha de expresarse en un lenguaje en el que se pueda hablar sobre el lenguaje. Tarski es considerado como uno de los más importantes lógicos de todos los tiempos, tal vez acompañado únicamente por Aristóteles, Kurt Gödel y Gottlob Frege.

Entre sus obras figuran Introducción a la lógica y a la metodología de las ciencias deductivas y La concepción semántica de la verdad y los fundamentos de la semántica.

Enlaces de interés

  • Tarski (http://buscador.lechuza.org/resultados.php?texto=Tarski&xx=buscar) en Lechuza.
enciclopedista

Valid XHTML 1.0 Transitional