Alfred Tarski

|local_nascimento =Varsóvia |data_morte =}} |local_morte =Berkeley |causa_morte = |pais_de_residencia = |nacionalidade =polonês |etnicidade = |campo =lógica, matemática e filosofia |instituicao_trabalho=Universidade da Califórnia em Berkeley |alma_mater =Universidade de Varsóvia |tese =1924: ''O wyrazie pierwotnym logistyki'' |orientador =Stanisław Leśniewski |orientado =, , , , , , , , , |conhecido_por = |influenciado = |premio = |conjuge =Maria Witkowski |religiao = |assinatura = |notas = }} Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos, ) foi um lógico, matemático e filósofo polonês. Emigrou para os Estados Unidos em 1939, onde tornou-se cidadão naturalizado em 1945, foi professor de matemática da Universidade da Califórnia em Berkeley, de 1942 até sua morte.

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, especialmente, sobre 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, junto de 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, 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 na filosofia, sua fama deve-se principalmente a seus impressionantes trabalhos sobre teoria dos conjuntos, teoria dos modelos e álgebra, incluindo resultados e desenvolvimentos como o paradoxo de Banach-Tarski, o teorema da indefinibilidade da verdade, a integralidade e decibilidade da álgebra e da geometria elementar, e as noções de cardinal, ordinal, relação e álgebra cilíndrica. Fornecido pela Wikipedia