Alfred Tarski
filósofo, lógico e matemático / De Wikipedia, a enciclopédia encyclopedia
Alfred Tarski (Varsóvia, na época Império Russo, atualmente 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. 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.[2]
Alfred Tarski | |
---|---|
Nascimento | 14 de janeiro de 1901 Varsóvia |
Morte | 26 de outubro de 1983 (82 anos) Berkeley |
Nacionalidade | polonês |
Cônjuge | Maria Witkowski |
Alma mater | Universidade de Varsóvia |
Orientador(es)(as) | Stanisław Leśniewski[1] |
Orientado(a)(s) | Chen Chung Chang, Solomon Feferman, Haim Gaifman, Bjarni Jónsson, Howard Jerome Keisler, Roger Maddux, Richard Montague, Andrzej Mostowski, Julia Robinson, Robert Lawson Vaught |
Instituições | Universidade da Califórnia em Berkeley |
Campo(s) | lógica, matemática e filosofia |
Tese | 1924: O wyrazie pierwotnym logistyki |
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.