庞加莱论推理机的价值
AMS MathViewer支持的HTML文章
摘要：
工具书类
保罗·亚历山德罗夫 和 霍普夫 , 拓扑学 ，Chelsea Publishing Co.，纽约，1965年（德国）。 Erster波段； Grundbegriffe der mengentheoreetischen Topologie，Topologies der Komplexe，topologische Invarianzsätze und anschliessende Begriffsbildunge n，Verschlingungen im n-dimensional euklidischen Raum，stetige Abbildungen von Polyedrn。 先生 185557 M.F.Atiyah先生 , 贝克林讲座，1975年。 全局几何体 ，程序。 罗伊。 Soc.伦敦Ser。 A类 347 （1976），编号1650，291–299。 先生 462821 ，内政部 10.1098/rspa.1976.0001 史蒂夫·阿沃迪 和 埃里希·雷克 , 完整性和明确性。 I.十九世纪公理学到二十世纪元逻辑 ，历史。 菲洛斯。 逻辑 23 （2002），第1期，第1-30页。 先生 1951297 ，内政部 10.1080/01445340210146889 史蒂夫·阿沃迪 和 迈克尔·沃伦 , 身份类型的同伦理论模型 ，数学。 程序。 剑桥菲洛斯。 Soc公司。 146 （2009），第1期，45–55。 先生 2461866 ，内政部 10.1017/S0305004108001783 奥托·布卢门塔尔 , 大卫·希尔伯特 米特。 Dtsch公司。 数学- 版本。 20 （2012），第3期，175-180（德语）。 先生 3025908 ，内政部 10.1515/dmvm-2012-0072 D.卡斯特尔韦奇 , 人工智能将如何改变数学？ (2023). Cepelewicz，J.（2022）。 计算机证明“摧毁”了数百年前的流体方程。 广达（Quanta） , www.quantamagazine.org/computer helps-prove-long-sought-fluid-equation-singularity-20221116 . 文森佐·德·里西 , 欧几里德的一般概念和等价理论 ，找到。 科学。 26 （2021年），第2期，301-324。 先生 4263618 ，内政部 10.1007/s10699-020-09694-周 D.E.博士。 催款 , 逻辑钢琴课 , 2022. S.费弗曼 , 一般背景下的元数学算法化 ，基金。 数学。 49 (1960/61), 35–92. 先生 147397 ，内政部 10.4064/fm-49-135-92 杰里米·格雷 , 亨利·彭卡雷 ，普林斯顿大学出版社，新泽西州普林斯顿，2013年。 科学传记。 先生 2986502 Hartnett，K.（2021年）。 校对助理跳转到大数学。 广达（Quanta） , www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/# . 代数几何 , 几何学：欧几里德及其以外 《数学本科生课本》，施普林格-弗拉格出版社，纽约，2000年。 先生 1761093 ，内政部 10.1007/978-0-387-22676-7 大卫·希尔伯特， 几何Grundlagen der Geometrie （德国莱比锡：Teubner，1899）。 大卫·希尔伯特， 几何Grundlagen der Geometrie 第二版（德国莱比锡：特布纳，1903年）。 大卫·希尔伯特， 将Grundlagen der Logik und der Arithmetik ，《海德堡的国际马拉松运动》，174-85年（德国莱比锡：特乌布纳，1904年）。 大卫·希尔伯特 , 几何学基础 第二版，公开法庭，伊利诺伊州拉萨尔，1971年。 由Leo Unger翻译自第十版德语。 先生 275262 大卫·希尔伯特 , 大卫·希尔伯特关于几何学基础的讲座，1891年至1902年 《大卫·希尔伯特关于1891-1933年数学和物理基础的讲座》，第1卷，斯普林格·弗拉格出版社，柏林，2004年。 迈克尔·哈利特和乌尔里希·马杰编辑。 先生 2090759 ，内政部 10.1007/978-3-540-68011-6 阿克塞尔·容斯特罗姆 和 安德斯·莫特伯格 , 形式化$\pi_4（\Bbb-S^3）\cong\Bbb Z/2\Bbb-Z$并计算立方Agda中的Brunerie数 2023年，第38届ACM/IEEE计算机科学逻辑年会（LICS），IEEE计算。 Soc.Press，Los Alamitos，CA，[2023]©2023，第13页。 先生 4617699 Manders，K.（2008）。 欧几里得图。 在Mancosu，P.编辑， 数学实践哲学 ，第80–133页。 牛津大学出版社。 科林·麦克拉蒂 , 庞加莱：数学、逻辑和直觉 ，菲洛斯。 数学。 (3) 5 （1997），第2期，97–115。 先生 1454536 ，内政部 10.1093/philmat/5.2.97 nLab作者（2023）。 数学的单价基础。 https://ncatlab.org/nlab/show/单价 +基础+数学+ . Poincaré，H.（1895年）。 L'espace et la géométrie。 梅塔普西克与道德评论 , 3:631–46. 翻译为“空间和几何”，引自【第51–71页】PoincHypoth。 H.庞加莱 , 逻辑与直觉与科学、数学与直觉 L'Enseignement Mathématique公司 我 (1899), 157–163. 我引用了1889年错误日期的《政策》（第11卷，第129–33页）。 亨利·彭卡， 数学推理与逻辑 《康普特斯·伦德斯二世国际数学会议》，巴黎，1900年，第115-130页，（巴黎：高瑟·维拉斯，1900），在引用[第210–22页]波因克夫德斯（PoincFdns）中，删减了“数学中的直觉和逻辑”一词。 亨利·彭卡雷 , Œuvres。 汤姆二世 ，Les Grands Classiques Gauthier-Villars。 [Gauthier-Villars Great Classics]，艾蒂斯·雅克·加贝（法国），1995年。 功能紫红色。 【品红功能】； 带有G.Darboux的序言和庞加莱的传记素描； 重印1916年原版。 先生 1401791 H.Poincaré , 希尔伯特河畔拉波特 《卡桑社会物理数学公报》 14 (1904), 10–48. H.Poincaré , 科学与假说 ，多佛出版公司，纽约，1952年。 由J·拉莫尔作序。 先生 50528 Poincaré，H.（1905-1906）。 数学与逻辑。 《医学与道德评论》 、XIII:815-35和XIV:17-34、294-317。 在引用[第448–85页]PoincFdns中进行了大量技术和论辩性删节。 Poincaré，H.（1912）。 Pourquoi l'espace a trois维度。 梅塔普西克与道德评论 , 20(4):483–504. 重印于【第55–99页】的PoincDernierePensees，翻译为【第25–45页】的“为什么空间有三个维度”。 Poincaré，H.（1913年）。 Dernières笔 弗拉马利翁。 Poincaré，H.（1916-1956）。 Œ亨利·庞加莱的长袍 .高瑟·维拉尔（Gauthier-Villars）。 共11卷。 Poincaré，H.（1921）。 科学基础 《科学出版社》。 亨利·彭卡雷 , 关于拓扑的论文 《数学史》，第37卷，美国数学学会，普罗维登斯，RI； 伦敦数学学会，伦敦，2010年。 分析位置 及其五个补充； 约翰·斯蒂尔威尔翻译并作了介绍。 先生 2723194 ，内政部 10.1090/hmath/037 伯恩哈德·黎曼 , Gesammelte mathematische Werke，wissenschaftlicher Nachlass und Nachträge公司 柏林斯普林格·弗拉格； BSB B.G.Teubner Verlagsgesellschaft，莱比锡，1990年（德国）。 基于海因里希·韦伯和理查德·德德坎德的版本； 由Raghavan Narasimhan编辑并附有序言。 先生 1084595 ，内政部 10.1007/978-3-663-10149-9 舒尔茨 , 液体张量实验 ，实验数学。 31 （2022），编号2349-354。 先生 4458116 ，内政部 10.1080/10586458.2021.1926016 Scholze，P.（2021）。 半年的液体张量实验：惊人的进展。 xenaproject.wordpress.com/2021/06/05/半年的液体张量实验-最大开发/ . 威尔弗里德·西格 , 希尔伯特的节目及其他 ，牛津大学出版社，牛津，2013年。 先生 3025388 威尔弗里德·西格 , 作为对象的证据 公理化思维。 一、 查姆斯普林格，[2022]©2022，第165-183页。 先生 4510894 ，内政部 10.1007/978-3-030-77657-2_{9} Wanda Szmielew公司 , 关于初等双曲几何的几个元数学问题 《1957年12月26日至1958年1月4日在伯克利加州大学举行的国际研讨会论文集》，研究逻辑发现。 数学。， 荷兰北部，阿姆斯特丹，1959年，第30-52页。 公理化方法； 特别是几何和物理； 由L.Henkin、P.Suppes和A.Tarski编辑。 先生 108750 艾尔弗雷德·塔斯基 , 什么是初等几何？ 《1957年12月26日至1958年1月4日在伯克利加州大学举行的国际研讨会论文集》，研究逻辑发现。 数学。， 荷兰北部，阿姆斯特丹，1959年，第16-29页。 公理化方法； 特别是几何和物理； 由L.Henkin、P.Suppes和A.Tarski编辑。 先生 106185 威廉·P·瑟斯顿 , 论数学的证明与进步 , 牛市。 阿默尔。 数学。 社会（N.S.） 30 (1994), 2号 , 161–177. 先生 1249357 ，内政部 10.1090/S0273-0979-1994-00502-6 蒂莫西·高尔斯 , 琼·巴罗·格林 、和 Imre领导者 （编辑）， 普林斯顿数学伙伴 ，普林斯顿大学出版社，新泽西州普林斯顿，2008年。 先生 2467561 A.文卡特斯 , 关于自动化和数学研究的几点思考 , 2023. 阿尔伯特·维瑟 , 解释存在引理 、费弗曼基金会、Outst。 控制日志。， 第13卷，施普林格，查姆，2017年，第101–144页。 先生 3792431 Voevodsky，V.（2014）。 单价基金会的起源和动机。 IAS网站上的在线论文 www.ias.edu/ideas/2014/voevodsky-origins 演讲的幻灯片中包含了一些文本中没有的内容。 请参见 www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_ias.pdf . 维基百科贡献者（2023a）。 提花机。 [在线；访问日期：2023年3月24日]。 维基百科贡献者（2023b）。 帕斯卡的计算器。 [在线；访问日期：2023年3月18日]。
书目信息
科林·麦克拉蒂 附属机构：俄亥俄州克利夫兰凯斯西储大学哲学系和数学系，44106 MR作者ID： 202621 ORCID代码： 0000-0002-3181-7537 电子邮件： colin.mclarty@case.edu 编辑接收日期：2023年6月11日 电子发布日期：2024年5月15日 ©版权所有2024 美国数学学会 期刊：牛市。 阿默尔。 数学。 Soc公司。 61 (2024), 411-422 MSC（2020）：小学68-XX 内政部： https://doi.org/10.1090/bull/1822 MathSciNet评论： 4751009