PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA

Detalhes bibliográficos
Autor(a) principal: Chateaubriand, Oswaldo
Data de Publicação: 2015
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101
Resumo: 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. Resumo: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.Palavras chave: Prova matemática. Prova formal. Estruturalismo. Brouwer
id UNICAMP-17_1372889de50c100b718c1464dd219d4b
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642101
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVAMathematical proof. Formal proof. Structuralism. Brouwer.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. Resumo: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.Palavras chave: Prova matemática. Prova formal. Estruturalismo. BrouwerUniversidade Estadual de Campinas2015-12-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101Manuscrito: Revista Internacional de Filosofia; v. 31 n. 1 (2008): Jan./Jul.; 197-202Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 197-202Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 197-2022317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101/9592Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessChateaubriand, Oswaldo2015-12-11T14:14:47Zoai:ojs.periodicos.sbu.unicamp.br:article/8642101Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2015-12-11T14:14:47Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
title PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
spellingShingle PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
Chateaubriand, Oswaldo
Mathematical proof. Formal proof. Structuralism. Brouwer.
title_short PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
title_full PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
title_fullStr PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
title_full_unstemmed PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
title_sort PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
author Chateaubriand, Oswaldo
author_facet Chateaubriand, Oswaldo
author_role author
dc.contributor.author.fl_str_mv Chateaubriand, Oswaldo
dc.subject.por.fl_str_mv Mathematical proof. Formal proof. Structuralism. Brouwer.
topic Mathematical proof. Formal proof. Structuralism. Brouwer.
description 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. Resumo: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.Palavras chave: Prova matemática. Prova formal. Estruturalismo. Brouwer
publishDate 2015
dc.date.none.fl_str_mv 2015-12-11
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642101/9592
dc.rights.driver.fl_str_mv Copyright (c) 2015 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2015 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 31 n. 1 (2008): Jan./Jul.; 197-202
Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 197-202
Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 197-202
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216565662089216

Registros relacionados