Alfred Tarski foi um lógico, matemático e filósofo polaco, nascido em Varsóvia a 14 de janeiro de 1901. Entre outras áreas, dedicou-se à topologia, geometria, lógica matemática e teoria dos conjuntos. A sua fama deve-se principalmente ao seu impressionante trabalho em teoria dos conjuntos, teoria dos modelos e álgebra, incluindo resultados e desenvolvimentos tais como o paradoxo de Banach-Tarski.
É considerado um dos maiores lógicos da história, juntamente com Aristóteles, Frege e Kurt Gödel
Sem comentários:
Enviar um comentário