DOIAbstract
RESUMO: O objetivo deste artigo é discutir o conceito intuicionista de prova. São examinadas quatro provas rejeitadas pelos matemáticos intuicionistas e aceitas pelos representantes do logicismo e do formalismo. Pela análise empreendida, são ilustradas as diferenças entre o intuicionismo e outras escolas dos fundamentos da Matemática. Palavras-chave: Filosofia; Lógica; Filosofia da Matemática. THE INTUITIONIST CONCEPTION OF MATHEMATICAL PROOF Abstract: The aim of this paper is to discuss the intuitionistic concept of proof . We examine four proofs wich are rejected by intuitionistic mathematicians and are accepted by the representatives of Logicism and Formalism. By this analysis we illustrate the differences between Intuitionism and th...
Add to ORKG