×
阿诺·阿夫隆

100年后，Weyl重新审视了《Das Kontinuum》。 （英语） Zbl 1458.03006号

牛市。符号。日志。 26，第1号，26-79（2020）.
1918年，赫尔曼·韦尔写了一本著名的书，Kontinuum公司基于经典逻辑的数学基础和哲学。直到后来他才转向直觉主义逻辑。
本文的基本目标是重新研究Weyl在达斯·科蒂努姆，并表明它们仍然很重要，例如对于数学证明检查的机械化。
通过重温所罗门·费弗曼的尝试，作者提出了一种使用谓词集合理论方法对Weyl系统进行精确形式化的新方法。因此，作者声称，这篇论文是第一篇完全专注于书中所写内容的形式化论文达斯·科蒂努姆.
审核人：延斯·莱曼斯基（黑根）

引用于1文件

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
03B30型 经典理论基础（包括逆向数学）
03B38型 类型理论
01年6月 20世纪数学史
03-03 数学逻辑和基础的历史

关键词：

外尔;达斯·科蒂努姆;经典逻辑;集合理论;形式化;证明
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}，公牛。符号。日志。26，编号1，26-79（2020；兹bl 1458.03006）
全文： 内政部

参考文献：

[1] Abiteboul，S.、Hull，R.和Vianu，V.，数据库基础，Addison-Wesley，波士顿，1995年·Zbl 0848.68031号
[2] Adams，R.和Luo，Z.，Weyl的预测经典数学作为一种逻辑丰富的类型理论，《证明和程序的类型：国际研讨会》，类型2006（T.Altenkirch和C.McBride，编辑），《计算机科学讲义》，第4502卷，Springer，纽约，2007年，第1-17页·Zbl 1178.03019号
[3] Adams，R.和Luo，Z.，经典谓词逻辑丰富型理论。《纯粹和应用逻辑年鉴》，第161卷（2010年），第1315-1345页·Zbl 1231.03008号
[4] Adams，R.和Luo，Z.，Weyl的表语古典数学作为一种逻辑丰富的类型理论。《美国计算机学会计算逻辑汇刊》，第11卷（2010年），第1-29页·Zbl 1351.03002号
[5] Avron，A.，《传递闭包与数学机械化》，《数学自动化35年》，（F.D.Kamaredine，编辑），《应用逻辑系列》，第28卷，Springer，纽约，2003年，第149-171页。
[6] Avron，A.，《一阶语言及其应用的安全签名》，《重新审视一阶逻辑》（编辑：V.Hendricks、F.Neuhaus、U.Schefler、S.A.Pedersen和H.Wansing），德国柏林逻各斯出版社，2004年，第37-58页·Zbl 1092.03015号
[7] Avron，A.，《可构建性和可判定性与领域独立性和绝对性》。《理论计算机科学》，第394卷（2008年），第3期，第144-158页·Zbl 1134.03025号
[8] Avron，A.，《预测集理论的新方法》，《证明理论的方法》（R.Schindler，编辑），《数学逻辑中的Ontos系列》，第2卷，德格鲁特，柏林，2010年，第31-63页·Zbl 1244.03137号
[9] Avron，A.，为什么使用表语集？，逻辑和计算领域III（Gurevich’Festschrift），《计算机科学讲义》，第12810卷，施普林格，纽约，2020年，第30-45页·Zbl 07614716号
[10] Avron，A.和Cohen，L.，《在定义框架中形式化科学应用数学》，《形式化推理杂志》，第9卷（2016年），第1期，第53-70页·Zbl 1451.68333号
[11] Avron，A.、Lev，S.和Levi，N.，《安全性、绝对性和可计算性》，第27届EACSL计算机科学逻辑年会（CSL 2018）（D.Ghica和A.Jung，编辑），《莱布尼茨国际信息学学报》（LIPIcs），第119卷，Schloss Dagstuhl-Leibniz-Zentrum füer Informatik，德国，2018年，第8:1-8:17页·Zbl 1528.03183号
[12] Bernard，J.，《关于“Das Kontinuum”第一章的注释：意图、扩展和算术》。《哲学科学》，第13卷（2009年），第155-176页·Zbl 1244.03013号
[13] Cohen，S.和Avron，A.，《中间地带—逆逻辑》。《综合》，第196卷（2019年），第2671-2693页·Zbl 1475.03082号
[14] Crosilla，L.，预测性和费弗曼，费弗曼和基金会，《对逻辑的杰出贡献》，纽约斯普林格出版社，2018年，第423-447页·Zbl 1429.03019号
[15] Ewald，W.，《从康德到希尔伯特》，克拉伦登出版社，牛津，1996年·Zbl 0859.01002号
[16] Feferman，S.，《谓词分析系统》。符号逻辑期刊，第29卷（1964年），第1期，第1-30页·Zbl 0134.01101号
[17] Feferman，S.，Weyl辩护道：《70年后的达斯·科廷努姆》（Das Kontinuum 70 years later），《当代Della Logica e Della Scienceza Remi e Prospective》，第一卷（1988），第59-93页，重印于[18]。
[18] Feferman，S.，《逻辑之光》。《哲学中的逻辑与计算》，牛津大学出版社，牛津，1998年·Zbl 0918.01044号
[19] Feferman，S.，《赫尔曼·韦尔的《达斯·科廷努姆》的意义，《证明神学——历史和哲学意义》（V.Hendricks，S.A.Pedersen和K.F.Jörgensen，编辑），《综合图书馆》，第292卷，克鲁沃学术出版社，柏林，2000年，第179-194页·Zbl 1012.03005号
[20] Feferman，S.，《20世纪前三分之一世纪数学基础课程的发展》，Storia Della Scienceza，第8卷（S.Petruccioli，编辑），Istituto Della Enciclopedia Italiana，意大利，2004年，第112-121页，翻译为“Le scuole di Filosofia Della Matematica”。
[21] 费弗曼，S.，《谓词》，《牛津数学与逻辑哲学手册》（S.Shapiro，编辑），牛津大学出版社，牛津，2005年，第590-624页·Zbl 1081.03001号
[22] 哈奇，W.S.，《数学的逻辑基础》，佩加蒙出版社，牛津，1982年·Zbl 0504.03001号
[23] Hölder，O.，《Der angebliche circulus vitiosus and die sogennate Grundlagenkrise in Der Analysis》。Sitzunsberichte der Leipziger Akademie，第78卷（1926年），第243-250页，英文译本[27，第143-148页]。
[24] Kunen，K.，《集合论、逻辑研究和数学基础》，第102卷，北荷兰，阿姆斯特丹，1980年·Zbl 0443.03021号
[25] Landau，E.，《分析基础》，切尔西出版公司，纽约，1951年，由F.Steinhardt从德语“Grundlagen der Analysis”翻译而来·Zbl 0042.27803号
[26] Longo，G.，《不完全的界面，不完全的系统学和准系统》（G.Minati，M.Abram，E.Pessa，编辑），Springer，Cham，2019年，第3-55页。
[27] Mancosu，P.，《从Brouwer到Hilbert：20世纪20年代关于数学基础的争论》，牛津大学出版社，1998年·兹伯利0941.01003
[28] Mancosu，P.，《理性的冒险：数学哲学与数理逻辑之间的互动》，1900-1940年，牛津大学出版社，牛津，2010年·Zbl 1237.03005号
[29] Martin，R.M.，形式逻辑的同构系统。《符号逻辑杂志》，第8卷（1943年），第1期，第1-23页·Zbl 0060.02105号
[30] Myhill，J.，从祖先理论衍生出的数论。《符号逻辑杂志》，第17卷（1952年），第3期，第192-197页·Zbl 0047.01402号
[31] 帕森斯，C.，《现实主义与无懈可击的辩论》，1917-1944年，《数学基础的反思：所罗门·费费曼的论文》（W.Sieg、R.Sommer和C.Talcott，编辑），《逻辑讲义》，第15卷，符号逻辑协会，A.K.Peters Ltd.，曼斯菲尔德，2002年，再版于[32，pp.372-389]·Zbl 1001.00020号
[32] 帕森斯，C.，《二十世纪的数学哲学》，哈佛大学出版社，马萨诸塞州剑桥，2014年·Zbl 1325.00020号
[33] Poincaré，H.，Les mathematiques et la logique，II，III.Revue de Métaphysique et Morale，第14卷（1906年），第17-34、294-317页，翻译成[15]。
[34] Poincaré，H.，《infi的逻辑》。《梅塔普西克与莫拉莱评论》，第17卷（1909年），第461-482页。
[35] Poincaré，H.，Dernière pensées，Flamarion，1913年，J.Bolduc译为《数学与科学：最后的论文》，多佛出版社，纽约，1963年。
[36] Pólya，G.、Eine erinnerung和Hermann Weyl。《数学杂志》，第126卷（1972年），第296-298页·Zbl 0235.01018号
[37] Schütte，K.，《证明理论》，Springer-Verlag，柏林，1977年·Zbl 0367.02012
[38] 夏皮罗，S.，《没有基础主义的基础：二阶逻辑案例》，牛津大学出版社，牛津，1991年·Zbl 0732.03002号
[39] 肖恩菲尔德，J.R.，《数学逻辑》，艾迪森·韦斯利出版社，波士顿，1967年·Zbl 0155.01102号
[40] Simpson，S.G.，《二阶算术的子系统》，Springer-Verlag出版社，柏林，1999年·Zbl 0909.03048号
[41] Ullman，J.D.，《数据库和知识库系统原理》，计算机科学出版社，纽约，1988年。
[42] 韦弗，N.，《超越预测性》（\varGamma_0，2009），arXiv:math/0509244v3[math.LO]。
[43] Weyl，H.，Das Kontinuum：Kritische Untersuchungenüber die Grundlagen der Analysis，Veit，Leipzig，1918年，在[48]中译成英语。
[44] Weyl，H.，Der circulus vitiosus in Der heutigen Begründung Der Analysis。Jahresberich der Deutschen Mathematiker-Vereinigung，第28卷（1919年），第85-93页，英文翻译见[48]。
[45] Weyl，H.，U ber der neue Grundslagenkrise der Mathematik。Mathematische Zeitschrift，第10卷（1921年），第37-79页，英文译本[27，第86-118]。
[46] Weyl，H.，《数学与逻辑：伯特兰·罗素哲学回顾的序言》。《美国数学月刊》，第53卷（1946年），第2-79页·Zbl 0060.01904号
[47] Weyl，H.，《数学和自然科学的哲学》，普林斯顿大学出版社，1949年，《数学与自然科学哲学》（Philosophie der Mathematik und Naturwissenschaft）的英文扩充版，莱布尼兹·弗拉格，慕尼黑，1927年。
[48] Weyl，H.，《连续体：分析基础的批判性考察》，托马斯·杰斐逊大学出版社，密苏里州柯克斯维尔，1987年，S.Pollard和T.Bole翻译·Zbl 0742.03001号
[49] Whitehead，A.N.和Russell，B.，《数学原理》，第3卷。，第二版，剑桥大学出版社，剑桥，1910-1932年，第1925-1927页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。