Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

O intuicionismo e o problema com as provas não construtivas

2017; UNIVERSIDADE FEDERAL DO RECONCAVO DA BAHIA; Volume: 15; Issue: 1 Linguagem: Português

10.31977/grirfi.v15i1.749

ISSN

2178-1036

Autores

Diego Henrique Figueira de Melo,

Tópico(s)

Philosophy and Theoretical Science

Resumo

O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para assim falar sobre o problema das provas não construtivas e da consequência em não aceitá-las. Ao tomar a matemática unicamente como um empreendimento de construção mental, o intuicionismo quebra com o realismo platônico dominante e estabelece um debate frutífero sobre os fundamentos da matemática.

Referência(s)