Logicismo, formalismo e construtivismo

  • Carlos Jeremias Klein

Resumo

Este trabalho enfoca as três principais correntes de Filosofia da Matemática surgidas nos séculos XIX e XX: a logicista, pretendendo reduzir a Matemática à Logica; a formalista, segundo a qual os teoremas são deduzidos dos axiomas segundo leis lógicas, embora os axiomas não sejam, necessariamente, princípios lógicos; e a construtivista, na qual não vale, por exemplo, o 'princípio do terceiro excluído' da lógica clássica.

##submission.authorBiography##

Carlos Jeremias Klein

Docente do Departamento de Ciências Exatas - CESULON, Mestre em Matemática e Especialista em Filosofia

Publicado
2021-10-01
Como Citar
Klein, C. (2021). Logicismo, formalismo e construtivismo. Revista Terra & Cultura: Cadernos De Ensino E Pesquisa, 15(29), 15-18. Recuperado de http://publicacoes.unifil.br/index.php/Revistateste/article/view/2285/1899
Seção
Artigos