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

Diego Henrique Figueira de Melo

• English

  This article aims to evaluate the intuitionist problem with non-constructive mathematicals proofs. For this constructivist position the principle of the excluded middle, of classical logic, shouldn't operate on mathematical demonsrations. Non-constructive proofs aren't accepted, and the constructive proofs are the only with positive character. After a brief introduction about intuitionism and its creator, the article will address the relationship between the principle of the excluded middle and the mathematicals demonstrations, so to talk about the problem of non-constructive proofs and the consequences for not to accepting them. Taking the mathematics only as a mental construction project, the intuitionism break with the dominant platonic realism and establishing a fruitful debate on the foundations of mathematics.

• português

  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.