ON PROOFS IN MATHEMATICS

Detalhes bibliográficos
Autor(a) principal: Silva, Jairo José
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/8642100
Resumo: In his book Chateaubriand points out some differences between the mathematical and the formal notions of proof. I argue here that the contrast between both cannot be exaggerated, and that the latter fails to represent essential aspects of the former. I also sketch a view of the nature of mathematics that can accommodate one particular feature of mathematical proofs the formal notion, by its very nature, cannot: their freedom. Resumo: Em seu livro, Chateaubriand aponta algumas diferenças entre a noção formal e a noção matemática de demonstração. Eu argumento que o contraste entre ambas não pode ser maior, e que aquela é incapaz de capturar alguns aspectos essenciais desta. Eu apresento também um esboço de uma teoria sobre a natureza da matemática capaz de acomodar um aspecto particular das demonstrações matemáticas que a noção formal, pela sua própria natureza, não pode: a liberdade que por direto cabe àquelas.Palavras chave: Chateaubriand. Demonstrações formais. Demonstrações matemáticas. Estruturalismo matemático.
id UNICAMP-17_1a48e31b49b295079779834b3246f0b3
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8642100
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling ON PROOFS IN MATHEMATICSChateaubriand. Formal proofs. Mathematical proofs. Mathematical structuralism.In his book Chateaubriand points out some differences between the mathematical and the formal notions of proof. I argue here that the contrast between both cannot be exaggerated, and that the latter fails to represent essential aspects of the former. I also sketch a view of the nature of mathematics that can accommodate one particular feature of mathematical proofs the formal notion, by its very nature, cannot: their freedom. Resumo: Em seu livro, Chateaubriand aponta algumas diferenças entre a noção formal e a noção matemática de demonstração. Eu argumento que o contraste entre ambas não pode ser maior, e que aquela é incapaz de capturar alguns aspectos essenciais desta. Eu apresento também um esboço de uma teoria sobre a natureza da matemática capaz de acomodar um aspecto particular das demonstrações matemáticas que a noção formal, pela sua própria natureza, não pode: a liberdade que por direto cabe àquelas.Palavras chave: Chateaubriand. Demonstrações formais. Demonstrações matemáticas. Estruturalismo matemático.Universidade Estadual de Campinas2015-12-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642100Manuscrito: Revista Internacional de Filosofia; v. 31 n. 1 (2008): Jan./Jul.; 185-196Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 185-196Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 185-1962317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642100/9590Copyright (c) 2015 Manuscritoinfo:eu-repo/semantics/openAccessSilva, Jairo José2015-12-11T14:14:47Zoai:ojs.periodicos.sbu.unicamp.br:article/8642100Revistahttps://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 ON PROOFS IN MATHEMATICS
title ON PROOFS IN MATHEMATICS
spellingShingle ON PROOFS IN MATHEMATICS
Silva, Jairo José
Chateaubriand. Formal proofs. Mathematical proofs. Mathematical structuralism.
title_short ON PROOFS IN MATHEMATICS
title_full ON PROOFS IN MATHEMATICS
title_fullStr ON PROOFS IN MATHEMATICS
title_full_unstemmed ON PROOFS IN MATHEMATICS
title_sort ON PROOFS IN MATHEMATICS
author Silva, Jairo José
author_facet Silva, Jairo José
author_role author
dc.contributor.author.fl_str_mv Silva, Jairo José
dc.subject.por.fl_str_mv Chateaubriand. Formal proofs. Mathematical proofs. Mathematical structuralism.
topic Chateaubriand. Formal proofs. Mathematical proofs. Mathematical structuralism.
description In his book Chateaubriand points out some differences between the mathematical and the formal notions of proof. I argue here that the contrast between both cannot be exaggerated, and that the latter fails to represent essential aspects of the former. I also sketch a view of the nature of mathematics that can accommodate one particular feature of mathematical proofs the formal notion, by its very nature, cannot: their freedom. Resumo: Em seu livro, Chateaubriand aponta algumas diferenças entre a noção formal e a noção matemática de demonstração. Eu argumento que o contraste entre ambas não pode ser maior, e que aquela é incapaz de capturar alguns aspectos essenciais desta. Eu apresento também um esboço de uma teoria sobre a natureza da matemática capaz de acomodar um aspecto particular das demonstrações matemáticas que a noção formal, pela sua própria natureza, não pode: a liberdade que por direto cabe àquelas.Palavras chave: Chateaubriand. Demonstrações formais. Demonstrações matemáticas. Estruturalismo matemático.
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/8642100
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642100
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/8642100/9590
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.; 185-196
Manuscrito: International Journal of Philosophy; Vol. 31 No. 1 (2008): Jan./Jul.; 185-196
Manuscrito: Revista Internacional de Filosofía; Vol. 31 Núm. 1 (2008): Jan./Jul.; 185-196
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_ 1800216565661040640

Registros relacionados