数学解释:通过形式证明和概念复杂性进行分析

IF 0.8 1区 哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE
Francesca Poggiolesi
{"title":"数学解释:通过形式证明和概念复杂性进行分析","authors":"Francesca Poggiolesi","doi":"10.1093/philmat/nkad023","DOIUrl":null,"url":null,"abstract":"This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":null,"pages":null},"PeriodicalIF":0.8000,"publicationDate":"2023-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity\",\"authors\":\"Francesca Poggiolesi\",\"doi\":\"10.1093/philmat/nkad023\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion.\",\"PeriodicalId\":49004,\"journal\":{\"name\":\"Philosophia Mathematica\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2023-12-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Philosophia Mathematica\",\"FirstCategoryId\":\"98\",\"ListUrlMain\":\"https://doi.org/10.1093/philmat/nkad023\",\"RegionNum\":1,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"HISTORY & PHILOSOPHY OF SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Philosophia Mathematica","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1093/philmat/nkad023","RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}
引用次数: 0

摘要

本文研究内部(或内部)数学解释,即那些似乎解释了所证明定理的数学定理证明。本文的目标是对这些解释进行严格的分析。这将分两步进行。首先,我们将展示如何从数学定理的非正式证明转向涉及证明树及其要素分解的正式表述;其次,我们将展示那些被认为具有解释力的数学证明都显示出从假设到结论的概念复杂性的增加。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Mathematical Explanations: An Analysis Via Formal Proofs and Conceptual Complexity
This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Philosophia Mathematica
Philosophia Mathematica HISTORY & PHILOSOPHY OF SCIENCE-
CiteScore
1.70
自引率
9.10%
发文量
26
审稿时长
>12 weeks
期刊介绍: Philosophia Mathematica is the only journal in the world devoted specifically to philosophy of mathematics. The journal publishes peer-reviewed new work in philosophy of mathematics, the application of mathematics, and computing. In addition to main articles, sometimes grouped on a single theme, there are shorter discussion notes, letters, and book reviews. The journal is published online-only, with three issues published per year.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信