Alfred Tarski (Varsóvia, então Império Russo, hoje Polônia, 14 de janeiro de 1901 — Berkeley, Estados Unidos, 26 de outubro de 1983) foi um lógico, matemático e filósofo polonês.Escreveu, dentre outras áreas, sobre topologia, geometria, teoria da mensuração, axiomatização da álgebra e geometria, fundamentação da semântica, lógica matemática, teoria dos conjuntos, metamatemática, e sobretudo, teoria dos modelos, teoria semântica da verdade, álgebra abstrata e lógica algébrica. Seu trabalho possui grande relevância filosófica. É considerado um dos maiores lógicos da história, juntamente com Aristóteles, Frege e Kurt Gödel. Tarski descrevia-se como "um matemático (e também um lógico e, talvez, de certa forma, um filósofo)". Na filosofia ele ganha destaque especialmente por suas caracterizações matemáticas dos conceitos de verdade, constante lógica e consequência lógica para sentenças de linguagens formalizadas clássicas. Já na matemática e filosofia, sua fama deve-se principalmente a seu impressionante trabalho em teoria dos conjuntos, teoria dos modelos e álgebra, incluindo resultados e desenvolvimentos tais como o paradoxo de Banach-Tarski, o teorema da indefinibilidade da verdade, a integralidade e decibilidade da álgebra e geometria elementar, e as noções de cardinal, ordinal, relação e álgebra cilíndrica.
Fecha de nacimiento
1901-01-14
Nombre de nacimiento
Alfred Teitelbaum
Año de nacimiento
1901
Fecha de defunción
1983-10-26
Año de defunción
1983
Comentar
0