TY - JOUR AU - Chateaubriand, Oswaldo PY - 2015/12/11 Y2 - 2024/03/29 TI - PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA JF - Manuscrito: Revista Internacional de Filosofia JA - Manuscrito - Rev. Int. Fil. VL - 31 IS - 1 SE - Artigos DO - UR - https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101 SP - 197-202 AB - <p>The paper by Jairo José da Silva is mainly concerned with the character of mathematical proof and with the nature of mathematics and its ontology. Although there is a fair amount of agreement in our views, I focus my response on three issues on which we disagree. The first is his view of mathematical proof as generally unconstrained by language and by a previous proof apparatus. The second is his discussion of Brouwer’s views on proof and formalization. The third is his nominalistic account of structuralism.</p><p> </p><p><strong>Resumo:</strong></p><p>O artigo de Jairo José da Silva explora principalmente o caráter das provas matemáticas e a natureza ontológica da matemática. Apesar de haver bastante concordância em nossos pontos de vista, o foco de minha réplica são três questões em que discordamos. A primeira é sua visão da prova matemática como completamente livre de restrições impostas pela linguagem e por um aparato prévio de prova. A segunda é sua discussão de Brouwer em relação à prova e à formalização. A terceira é sua formulação nominalista do estruturalismo.</p><p><strong>Palavras chave:</strong> Prova matemática. Prova formal. Estruturalismo. Brouwer</p> ER -