×
杰里米·阿维加德

数学模块化。 （英语） Zbl 1439.00026号

版本符号。日志。 13，第1号，47-79（2020）。
本文讨论了数学中的模块化概念，而不是现代数学家所期望的模块化类型。这里讨论的模块化处理将复杂系统分解为更小的组件。除了计算机科学中编程语言的例子外，作者还选择了同余的概念、费马小定理以及19世纪初提出的四个问题：二次互易律、二元二次型的分类、，算术级数中素数的无穷大（作者在[J.阿维加德和R.莫里斯，建筑。历史。精确科学。68，第3期，265–326（2014年；Zbl 1296.01010号); 版本符号。日志。9，编号3，480–510（2016；Zbl 1427.01005号)]以及素数定理。本文的主要观点是，证明的发展可以理解为“提高模块化的驱动力”。
审核人：弗兰兹·莱默梅耶（贾格策尔）

引用于4文件

MSC公司：

00A30型 数学哲学
00A35型 数学方法论
03A05号 逻辑和基础的哲学和批判性方面

关键词：

模块化;数学哲学;数学实践

引文：

Zbl 1296.01010号;Zbl 1427.01005号

软件：

精益
PDF格式BibTeX公司 XML格式引用
\textit{J.Avigad}，版本符号。日志。13，第1号，47--79（2020；Zbl 1439.00026）
全文： 内政部

参考文献：

[1] Abelson，H.和Sussman，G.J.（1996）。计算机程序的结构和解释（第二版）。马萨诸塞州剑桥：麻省理工学院出版社·Zbl 0909.68025号
[2] Arana，A.（2008年）。逻辑和语义纯度。原型社会学，25，36-48·Zbl 1159.03004号
[3] Avigad，J.（2006）。数学方法和证明。合成，152（1），105-159·Zbl 1116.03012号
[4] Avigad，J.理解证明。在Mancosu，P.，编辑。数学实践哲学。牛津：牛津大学出版社，第317-353页。
[5] Avigad，J.（2010）。理解、形式验证和数学哲学。《印度哲学研究理事会杂志》，27，161-197。
[6] Avigad，J.和Harrison，J.（2014）。经过正式验证的数学。ACM通讯，57（4），66-75。
[7] Avigad，J.&Morris，R.（2014）。Dirichlet定理中关于算术级数中素数的“特征”的概念。精确科学史档案，68（3），265-326·兹比尔1296.01010
[8] Avigad，J.&Morris，R.（2016）。角色和对象。符号逻辑评论，9，480-510·Zbl 1427.01005号
[9] Baldwin，C.Y.和Clark，K.B.（1999）。设计规则：模块化的力量，第1卷。马萨诸塞州剑桥：麻省理工学院出版社。
[10] Barrett，H.C.和Kurzban，R.（2006）。认知中的模块化：构建辩论框架。《心理评论》，113628-647。
[11] Bhargava，M.（2004）。更高成分定律。关于高斯合成和二次推广的新观点。数学年鉴，159（1），217-250·Zbl 1072.11078号
[12] Bourbaki，N.（1950）。数学体系结构。《美国数学月刊》，57（4），221-232。阿诺德·德累斯顿译自法语。最初的版本出现在F.Le Lionnais主编，Les grands courants de la pensée mathematique，Cahiers du Sud，1948年·Zbl 0037.00209号
[13] Buchmann，J.&Vollmer，U.（2007年）。二元二次型：一种算法方法。柏林：斯普林格·Zbl 1125.11028号
[14] Callebaut，W.和Rasskin-Gutman，D.（2005）。模块性：理解自然复杂系统的发展和演化。马萨诸塞州剑桥：麻省理工学院出版社。
[15] Carruthers，P.（2006）。思想的架构：大规模模块化和思维的灵活性。牛津：牛津大学出版社。
[16] Cox，D.A.（2014）。形式x^2+ny^2的素数：费马，类场理论，复数乘法。新泽西州霍博肯：威利。
[17] De Moura，L.、Kong，S.、Avigad，J.、Van Doorn，F.和Von Raumer，J.（2015）。精益定理证明器。编辑Felty，A.P.和Middeldorp，A。自动扣减-CADE-25，第25届自动扣减国际会议，德国柏林，2015年8月1-7日。瑞士查姆：施普林格国际出版公司，第378-388页·Zbl 1465.68279号
[18] Detlefsen，M.和Arana，A.（2011年）。方法的纯度。哲学家印记，11（2），1-20。
[19] Dijkstra，E.W.（1982）。论科学思想的作用。编辑Dijkstra，E.W。计算机文选：个人观点。纽约州纽约市：斯普林格出版社，第60-66页·Zbl 0497.68001号
[20] Edwards，H.E.（2001）。黎曼Zeta函数。纽约州米诺拉：多佛出版公司，重印1974年原版[纽约学术出版社]·Zbl 1113.11303号
[21] Edwards，H.E.（2005）。建构数学论文。纽约：斯普林格·Zbl 1090.11001号
[22] Fodor，J.A.（1983）。思维的模块化。马萨诸塞州剑桥：麻省理工学院出版社。
[23] Gonthier，G.，Asperti，A.，Avigad，J.，Bertot，Y.，Cohen，C.，Garillot，F.，Roux，S.，Mahboubi，A.，O'Connor，R.，Biha，S.O.，Pasca，I.，Rideau，L.，Solovyev，A.，Tassi，E.，&Théry，L.（2013）。一台机器检验了奇阶定理的证明。InBlazy，S.、Paulin-Mohring，C.和Pichardie，D.编辑。交互式定理证明。计算机科学讲义，第7998卷。海德堡：施普林格，第163-179页·Zbl 1317.68211号
[24] Harper，R.（2016）。编程语言实用基础（第二版）。纽约州纽约市：剑桥大学出版社·兹比尔1347.68001
[25] Kitcher，P.（1989）。世界的解释性统一和因果结构。编辑Kitcher，P.和Salmon，W。科学解释。明尼阿波利斯：明尼苏达大学出版社，第410-505页。
[26] Lemmermeyer，F.（2000）。互惠定律：从欧拉到艾森斯坦。施普林格数学专著。柏林：Springer-Verlag·Zbl 0949.11002号
[27] Mancosu，P.数学解释：为什么重要。在Mancosu，P.，编辑。数学实践哲学。牛津：牛津大学出版社，第134-440页。
[28] Mancosu，P.（编辑）（2008年）。数学实践哲学。牛津：牛津大学出版社·Zbl 1163.03001号
[29] Manders，K.《表达方式与数学理解》，手稿·Zbl 0875.03009号
[30] 曼德斯，K。欧几里德图。在Mancosu，P.，编辑。数学实践哲学。牛津：牛津大学出版社，第80-133页。
[31] Myers，G.J.（1978年）。复合/结构化设计。纽约：Van Nostrand Reinhold。
[32] Parnas，D.L.（1972）。关于将系统分解为模块时使用的标准。ACM通讯，15（12），1053-1058。
[33] 皮特博士（2012年）。心理表征。在扎尔塔，E.N.，编辑。斯坦福大学哲学百科全书。可在https://plato.stanford.edu/archives/spr2017/entries/mental-representation。
[34] Robbins，P.（2009）。思维模块化。在扎尔塔，E.N.，编辑。斯坦福哲学百科全书。可在https://plato.stanford.edu/archives/win2017/entries/modularity-mind/。
[35] Robinson，J.A.和Voronkov，A.（编辑）（2001年）。自动推理手册，第2卷。纽约：爱思唯尔出版社，马萨诸塞州剑桥：麻省理工学院出版社·Zbl 0964.00020号
[36] Simon，H.A.（1962年）。复杂的体系结构。《美国哲学学会学报》，106（6），467-482。
[37] Simon，H.A.（1997）。《行政行为》（第四版）。纽约：自由新闻；第一版，纽约：麦克米伦出版社，1947年。
[38] 斯坦纳，M.（1978年）。数学解释。哲学研究，34，133-151。
[39] 斯特鲁克·D·J（1969）。数学参考书，1200-1800。《科学史》的源书。马萨诸塞州剑桥：哈佛大学出版社·Zbl 0205.29202号
[40] Tappenden，J.数学概念和定义。在Mancosu，P.，编辑。数学实践哲学。牛津：牛津大学出版社，第256-275页。
[41] Wirth，N.（1971）。通过逐步细化进行程序开发。ACM通讯，14（4），221-227·Zbl 0214.43005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。