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

Résumé

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.