杰弗里·凯特兰 应用数学基础。一、。 （英语） Zbl 07795320号 合成 199，编号1-2，4151-4193（2021）. 摘要：本文旨在利用应用数学的形式化基础理论研究应用数学的基础：{ZFCA}_{\sigma}\）（Zermelo-Fraenkel集合理论（带Choice），其中使用的下标表示特定于应用程序的签名。举例说明了应用数学的以下五个特征：理解原则,应用程序条件,表征假设,转移原则和抽象等价物. 理学硕士： 03E75型 集合论的应用 03B30型 经典理论基础（包括逆向数学） 关键词：应用数学;ZFA公司;原子集合论 软件：伊萨尔;伊莎贝尔;伊莎贝尔/伊萨尔 PDF格式BibTeX公司 XML格式引用 \textit{J.Ketland}，合成199，编号1--2，4151-4193（2021；Zbl 07795320） 全文： 内政部 链接 参考文献： [1] Andréka，H.、Madarász，J.X.和Németi，I.（2006）。时空的逻辑公理化。文献样本。在A.Prékopa和E.Molnár（编辑）的《非欧几里得几何：János Bolyai纪念卷》（《数学及其应用》第581卷）（第155-185页）中。柏林：斯普林格·Zbl 1102.03037号 [2] Andréka，H.、Madarász，J.X.、Németi，I.和székely，G.（2012）。从狭义相对论到广义相对论的逻辑之路。综合，186（3，逻辑与物理相遇），633-649·Zbl 1275.03069号 [3] 贝克，A.，对物理现象有真正的数学解释吗？，Mind，114223-38（2005年） [4] Balzer，W。；鼠标，CU；斯奈德，JD，《科学的建筑学：结构主义方法》（1987），多德雷赫特：雷德尔，多德莱赫特·Zbl 0649.0302号 [5] Barwise，J.（1975）《可容许集和结构：可定义理论的方法》（《数学逻辑的观点》（第7卷），柏林：施普林格出版社·Zbl 0316.02047号 [6] Barwise，J。；Moss，L.，Vicious circles:On the mathematical of non-Wellfounded phenoms（CSLI课堂讲稿：第60号）（1996年），斯坦福：CSLI，斯坦福·Zbl 0865.03002号 [7] Batterman，R.，《细节中的魔鬼：解释、还原和涌现中的渐进推理》（2002），纽约：牛津大学出版社，纽约·1092.00006赞比亚比索 [8] Bays，T.（2005）。评论：集合论及其哲学：批判导论（迈克尔·波特）。《圣母院哲学评论》。https://ndpr.nd.edu/news/set-theory-and-its-philosophy-a-critical-introduction/。 [9] Benzmüller，C.&Andrews，P.（2019年）。丘奇的类型理论。斯坦福大学哲学百科全书。https://plato.stanford.edu/entries/type-theory-church/。 [10] 布埃诺，O。；Colyvan，M.，《数学应用的推论概念》，No Dos，45，2，345-374（2011）·Zbl 1366.00022号 [11] 布埃诺，O。；French，S.，《应用数学：沉浸、推理、解释》（2018），牛津：牛津大学出版社，牛津·1390.00040兹罗提 [12] Burgess，J.，《合成力学》，《哲学逻辑杂志》，13，319-95（1984）·Zbl 0556.03009号 [13] 伯吉斯，J。；Rosen，G.，《没有对象的主体》（1997），牛津：克拉伦登出版社，牛津·Zbl 0871.0302号 [14] Carnap，R.（1922）。Raum先生：我是Wissenschaftslehre。柏林：Reuther&Reichard。2019年卡纳普英文译本，鲁道夫·卡纳普：早期作品A.W.Carus、M.Friedman、W.Kienzler、A.Richardson和S.Schlotter（编辑），《鲁道夫·卡纳普作品集》，1（第21-208页）。纽约：牛津大学出版社。 [15] Carnap，R.（1928）。Der Logische Aufbau Der Welt公司。莱比锡：Felix Meiner Verlag。罗尔夫·乔治（Rolf A.George）的英语翻译，1967年。世界的逻辑结构。哲学中的伪问题。加利福尼亚大学出版社。 [16] 卡纳普，R。；Feigl，H。；Scriven，M.，《理论概念的方法论特征，明尼苏达科学哲学研究i》，38-76（1956），明尼阿波利斯：明尼苏达波利斯大学出版社 [17] Carnap，R.（1958年）。Beobachtungssprache和理论Sprache。辩证法，12（3-4），236-248。翻译：《观察语言和理论语言》，J.Hintikka（编辑）1975，Rudolf Carnap。《逻辑经验主义者》，《多德雷赫特：雷德尔》（第75-85页）。 [18] Carnap，R.（1966年）。物理学的哲学基础。纽约：基础图书。马丁·加德纳编辑。重印为《科学哲学导论》，纽约：多佛出版社，1995年。 [19] Chihara，C.，《建构性与数学存在》（1990），牛津：牛津大学出版社，牛津·Zbl 1115.03301号 [20] Church，A.，《简单类型理论的形成》，《符号逻辑杂志》，第556-68页（1940年） [21] Cie she linéski，C.，《真理的认知之光：通货紧缩及其逻辑》（2017），剑桥：剑桥大学出版社，剑桥 [22] Colyvan，M.，《数学的不可或缺性》（2001），牛津：牛津大学出版社，牛津·Zbl 1078.00500号 [23] Colyvan，M.（2019年）。数学哲学中不可或缺的论点。数学百科全书。1998年12月21日星期一首次出版；实质性修订，2019年2月28日星期四。https://plato.stanford.edu/entries/mathphil-indis/。 [24] Coquand，T.（2018年）。类型理论。斯坦福大学哲学百科全书。https://plato.stanford.edu/entries/type-theory/。 [25] 达科斯塔，N。；Chuaqi，R.，《论Suppes的集合理论谓词》，Erkenntnis，2995-112（1988） [26] 爱因斯坦（1921）。几何学和经验。向普鲁士科学院致辞（1921年1月27日）。由G.B.Jeffrey和W.Perret在A.Einstein中翻译，1922年：相对论侧记。伦敦：Methuen。 [27] Enderton，H.，《逻辑的数学导论》，第二版修订版（2001年），伦敦：哈考特/学术出版社，伦敦·Zbl 0992.03001号 [28] 欧拉（1736）。问题解决方案和相关几何问题。评论科学院Petrop，8128-140。 [29] Feynman，R.，1965年：《物理定律的特征》（新版）（1992年），伦敦：企鹅出版社，伦敦 [30] Field，H.，1980：《没有数字的科学》（2016），普林斯顿：普林斯顿大学出版社/牛津大学出版社，普林斯顿·Zbl 1348.00038号 [31] Forster，T.（1995）。具有普适集合的集合论（牛津逻辑指南31。第2版）。牛津：牛津大学出版社。 [32] 弗雷格·G（1884）。Die Grundlagen der算术：Eine logisch-mathematiche Untersuchungüber den Begriff der Zahl。布雷斯劳：韦拉克·威廉·科布纳。J.L.奥斯汀译为《算术基础》。牛津：布莱克威尔，1950年。 [33] French，S.，《没有理论（2020）》，牛津：牛津大学出版社，牛津 [34] Friedman，M.（1982）。评论：科学图像（Bas C.Van Fraassen）。《哲学杂志》，79（5），274-283。 [35] Frigg，R.（2012）。科学模型。斯坦福大学哲学百科全书。2006年2月27日星期一首次出版；2012年6月25日星期一进行实质性修订。https://plato.stanford.edu/entrys/models-science/。 [36] Halbach，V.（2014）。公理真理理论。剑桥：剑桥大学出版社。2011年第一版。2014年修订版·Zbl 1223.03001号 [37] Halvorson，H.，《科学理论不能是什么》，科学哲学，79，2，183-206（2012） [38] Halvorson，H.，语义观点，如果合理的话，是句法的，《科学哲学》，80，3475-478（2013） [39] Halvorson，H。；Humphreys，P.，《科学理论》，牛津科学哲学手册（2016），牛津：牛津大学出版社，牛津 [40] Harary，F.，图论（1969），雷丁，马萨诸塞州：艾迪森·韦斯利，雷丁·Zbl 0182.57702号 [41] Hempel，C.，《经验科学中概念形成的基础》（1952），芝加哥：芝加哥大学出版社，芝加哥 [42] 希尔伯特·D（1899）。《几何Grundlagen der Geometrie》，莱比锡：Verlag Von B.G.Teubner。翻译（由E.J.Townsend翻译）为《几何的基础》。芝加哥：公开法庭。 [43] Hölder，O.（1901）。Die Axiome der Quantität und Die Lehre vom Mass”。Berichten der mathematich-physischen Classe der Königlisch Sächsischen Gesellschaft der Wissenschaften zu Leipzig，mathematisch-Physikaliche Classe，53，1-63。Joel Michell和Catherine Ernst对这部作品的翻译出现在O.Hölder，1996：“数量公理和测量理论”。《数学心理学杂志》40（3）：235-252和O.Hölder，1997：“数量公理和测量理论”。数学心理学杂志41（4）：345-356。 [44] Holmes，M.（1998）。具有泛集合的初等集合论。卢瓦因·拉努夫：卢万天主教大学，哲学分支：逻辑中心教区（第10卷）·Zbl 0959.03001号 [45] Jech，T.（2002）。集合论：第三个千年版。纽约：斯普林格。第一版于1978年出版，第二版于1997年出版。这是第三次修订和扩大版。 [46] Jensen，R.，《关于奎因“新基础”的轻微（？）修改的一致性》，Synthese，19250-263（1968）·Zbl 0202.01001号 [47] Kaluza，T.（1921）。Physik中的Zum Unitätsproblem。Sitzungsber Preuss Akad Wiss Berlin（数学物理）（第966-972页）。 [48] Kaye，R.（1991）。花生算术模型（牛津逻辑指南15）。牛津：牛津大学出版社。。 [49] Ketland，J.（1998）。自然的数学化。博士论文：伦敦经济学院·Zbl 0938.00002 [50] Ketland，J.，《名义充分性》，《亚里士多德学会学报》，111，201-217（2011） [51] Klein，O.，Quantentheorie und fünfdimensionale Relativitätstheorie，Zeitschrift für Physik A，27，12，895-906（1926） [52] 科尔布马赫，J。；Schiemer，G.，什么是结构属性？，《数学哲学》，26，3，295-323（2018）·Zbl 1423.03029号 [53] Krantz，D.、Luce，R.、Suppes，P.和Tversky，A.（1971）。测量基础（第1卷）。伦敦：学术出版社·Zbl 0232.02040号 [54] Leitgeb，H.和Carus，A.（2020）。鲁道夫·卡纳普。斯坦福大学哲学百科全书。首次出版于2020年2月24日星期一。https://plato.stanford.edu/entries/carap/。 [55] Leng，M.，《数学与现实》（2010），牛津：牛津大学出版社，牛津·Zbl 1209.00017号 [56] Lewis，D.，部分课程（1991），牛津：牛津大学出版社，牛津·Zbl 0900.03061号 [57] Lutz，S.（2012年）。论科学哲学中的稻草人——对公认观点的辩护。霍普斯：《国际科学哲学史学会杂志》，2（1），77-120。 [58] Lutz，S.，理论和模型的句法方法是什么？，埃尔肯特尼斯，79，8，1475-1492（2014）·Zbl 1329.03037号 [59] Lutz，S.，科学哲学中的句法-语义辩论是什么？，哲学与现象学研究，95，2，319-352（2017） [60] Lyndon，R.，同态下保持的性质，太平洋数学杂志，9，1，143-154（1959）·Zbl 0093.01101号 [61] Mancosu，P.（2018）。数学解释。斯坦福大学哲学百科全书。https://plato.stanford.edu/entries/mathematics-explaration/。 [62] Manzano，M.，《一阶逻辑的扩展》（1996），剑桥：剑桥大学出版社，剑桥·Zbl 0848.03001号 [63] 麦肯锡，J。；糖，A。；Suppes，P.，经典粒子力学的公理基础，《理性力学与分析杂志》，第2253-272页（1953年）·Zbl 0050.18201号 [64] Melia，J.，《放弃不可或缺的论点》，《思维》，109，455-480（2000） [65] Mendelson，E.（2010）。数学逻辑导论（Taylor&Francis Group）。佛罗里达州博卡拉顿：查普曼和霍尔/CRC。第五版（1964年第一版）·兹比尔1173.03001 [66] Menzel，C.，宽集，ZFCU和迭代概念，《哲学杂志》，111，2，57-83（2014） [67] Muller，F.（2011）。对斯坦福大学革命的反思。合成，183（1），87-114。特刊：《科学的经典模型II：公理化方法、概念顺序和科学层次》，Arianne Betti、Willem de Jong和Marije Martijn编辑·Zbl 1235.03036号 [68] Mycielski，J.，《论理论的形式化》，《自动推理杂志》，50，211-216（2013）·Zbl 1260.03092号 [69] Narens，L.，抽象测量理论（1985），马萨诸塞州剑桥：麻省理工学院出版社·Zbl 0607.00021号 [70] Pincock，C.，《数学在物理科学中的作用》，诺德斯，41，2，253-275（2007）·Zbl 1366.00037号 [71] Pincock，C.，《数学与科学表征》（2012），牛津：牛津大学出版社，牛津·邮编：1257.00007 [72] 波特，M.，《集合论及其哲学：批判导论》（2004），牛津：牛津大学出版社，牛津·Zbl 1066.03002号 [73] Przełcki，M.，《实证理论的逻辑》（1969），伦敦：Routledge&Kegan Paul出版社，伦敦·Zbl 0317.02068号 [74] Putnam，H.（1967年）。数学是逻辑的论点。在R.Schoenman（Ed.）中，伯特兰·罗素（Bertrand Russell），本世纪哲学家。伦敦：艾伦和安文。H.Putnam，1979：《数学、物质和方法：哲学论文》第1卷重印参考页面。剑桥：剑桥大学出版社。 [75] Putnam，H.（1971）。逻辑哲学。纽约：哈珀街。重印于H.Putnam，1979：数学、物质和方法：哲学论文，第1卷。剑桥：剑桥大学出版社。 [76] Quine，W.，集合论中宇宙的统一，符号逻辑杂志，21，36267-279（1956）·Zbl 0073.25104号 [77] 奎因·W（1986a）。逻辑哲学。马萨诸塞州剑桥：哈佛大学出版社。第二，修订版W.奎因，1970：逻辑哲学。马萨诸塞州剑桥：哈佛大学出版社。 [78] Quine，W.（1986年6月）。回复查尔斯·帕森斯。在E.Hahn和P.Schilpp（编辑）的《W.V.Quine的哲学》（第18卷：在世哲学家的图书馆）中。芝加哥：公开法庭。 [79] F.拉姆齐。；Braithwaite，R.，《理论、数学基础》（1929年），阿姆斯特丹：Routledge和Kegan Paul出版社，阿姆斯特朗 [80] Reichenbach，H.（1924）。相对论公理Raum-Zeit-Lehre。布伦瑞克：弗里德尔。维埃格·桑恩（Vieweg&Sohn）。英语。翻译。相对论的公理化，由M.Reichenbach著，W.C.Salmon著。伯克利-洛杉矶：加利福尼亚大学出版社。 [81] Resnik，M.，《作为模式科学的数学》（1997），牛津：牛津大学出版社，牛津·Zbl 0905.03004号 [82] Roberts，F.，《测量理论》（1985），剑桥：剑桥大学出版社，剑桥·Zbl 1173.91005号 [83] B.罗素（1903）。数学原理。剑桥：剑桥大学出版社。平装版：劳特利奇出版社，伦敦，1992年。 [84] 罗素，B.，《基于类型理论的数理逻辑》，《美国数学杂志》，30，3，222-262（1908） [85] Russell，B.和Whitehead，A.（1912年）。数学原理：卷。I-III.剑桥：剑桥大学出版社。 [86] Schlick，M.（1918）。艾尔肯特尼什雷（Allgemeine Erkentnislehre）。柏林：施普林格。1925年第2版。由Blumberg，A和Feigl，H介绍翻译为《知识的一般理论：精确哲学图书馆》（Open Court，1985）。 [87] Schmidt，F.，《演绎理论》mit mehreren Sorten von Grunddingen，Mathematische Annalen，115，485-506（1938）·Zbl 0018.33804号 [88] Shapiro，S.，《数学哲学：结构与本体论》（1997），牛津：牛津大学出版社，牛津·Zbl 0897.00004号 [89] Simpson，S.（2009）。二阶算术的子系统。剑桥：剑桥大学出版社。第一版，柏林：施普林格出版社（1998年）·Zbl 1181.03001号 [90] Sneed，J.，《数学物理的逻辑结构》（1971），多德雷赫特：Reidel，多德雷赫特·Zbl 0296.02017号 [91] Stegmüller，W.，《理论的结构和动力学》（1976），柏林：施普林格出版社，柏林·Zbl 0331.02001号 [92] Steiner，M.，《数学作为一个哲学问题的适用性》（1998），马萨诸塞州剑桥：哈佛大学出版社，马萨诸塞诸塞州坎布里奇·Zbl 0945.00003号 [93] Suppe，F.，《科学理论的结构》（1977），芝加哥：芝加哥大学出版社，芝加哥 [94] Suppes，P.，《逻辑导论》（1957），纽约：Van Nostrand Reinhold，纽约·兹伯利0077.01105 [95] Suppes，P.，《数学和实证科学中模型的含义和使用的比较》，Synthese，12287-301（1960）·Zbl 0147.24614号 [96] Suppes，P。；卡瓦略，M.，《科学、自然、认知和系统中的公理化方法II》，205-232（1992），多德雷赫特：克鲁沃 [97] Suppes，P.，《科学结构的表示和不变性》（CSLI课堂讲稿：130）（2002年），伦敦：CSLI出版物，伦敦·Zbl 1007.03003号 [98] Tal，E.（2015）。科学测量。斯坦福大学哲学百科全书。2015年6月15日星期一首次出版。https://plato.stanford.edu/entries/measurement-science/。 [99] Tarski，A.（1959年）。什么是初等几何？L.Henkin、P.Suppes和A.Tarski（编辑），公理方法。阿姆斯特丹：北荷兰。转载于辛提卡，J.ed.，1968：数学哲学。牛津：牛津大学出版社。 [100] van Fraassen，B.，《科学图像》（1980），牛津：克拉伦登出版社，牛津 [101] 王浩，《多种理论的逻辑》，《符号逻辑杂志》，第17期，第2期，第105-116页（1952年）·Zbl 0049.14802号 [102] Wenzel，M.等人（2020年）。Isabelle/Isar参考手册。该手册可在线获取。https://isabelle.in.tum.de/dist/Isabelle2020/doc/isar-ref.pdf。 [103] 沃拉尔，J.，《一个不真实的图像》（范·弗拉森评论（1980）），《英国科学哲学杂志》，35，65-80（1984） [104] Zermelo，E.（1908年）。Untersuchungenüber die Grundlagen der Mengenlehre I.数学年鉴65。S.Bauer-Mengelberg的英文翻译，“集合论基础研究I”，van Heijenoort（ed.）1967年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。