Resultados da pesquisa - Tarski, Alfred

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
  • A mostrar 1 - 1 resultados de 1
Refinar resultados
  1. 1

    Introduction to logic and to the methodology of the deductive sciences Por Tarski, Alfred

    Publicado em 1994
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico