数学原理
牛顿的《物理学基本定律》见《自然哲学》《数学原理》。
我记得伯特兰-罗素告诉我一个可怕的梦。他在大学图书馆的顶层,大约公元2100年。一个图书馆助理拿着一个巨大的桶在书架上转来转去,把书拿下来,看了一眼,又把它们放回书架上,或者倒进桶里。最后,他来到了三大卷,罗素能认出这是《数学原理》最后的存世本。他拿下其中一卷,翻了几页,似乎被那些奇怪的符号所迷惑了一下,合上卷子,把它平衡在手里,犹豫了一下。 ....
Hardy, G. H. (2004) [1940].A Mathematician's Apology.剑桥大学出版社。剑桥:大学出版社,第83页。ISBN 978-0-521-42706-7。
Principia Mathematica》是阿尔弗雷德-诺斯-怀特海和伯特兰-罗素的三卷本数学基础著作。它出版于1910年、1912年和1913年。在1927年,它出现在第二版与一个重要的介绍第二版,和不同的笔记在最后。它通常被称为PM。
这本书是试图描述一套符号逻辑中的公理和推理规则,原则上所有的数学真理都可以从这套公理和规则中得到证明。这一雄心勃勃的工程在数学和哲学史上具有重要意义。作者认为这样的工程是可以完成的。然而,在1931年,哥德尔的不完备性定理证明,PM以及其他任何尝试,都不可能达到这个目标。对于所提出的任何一套公理和推理规则,要么系统必须是不一致的,要么事实上必须有一些数学真理不能从它们中推导出来。
PM的主要灵感和动机之一是Gottlob Frege早期关于逻辑的工作。
PM与罗素1903年的《数学原理》不能混为一谈。《数学原理》指出:"我们最初打算将本著作作为《数学原理》的第二卷..:"我们最初打算将本著作作为... 《数学原理》的第二卷...但随着我们的推进,越来越明显地发现,这个课题比我们想象的要大得多."
现代图书馆将其列入20世纪百大英语非小说类图书排行榜的第23位。
Principia Mathematica 》简版的扉页至*56页
问题和答案
问:艾萨克-牛顿的书名是什么?答:艾萨克-牛顿的书名是Philosophiæ Naturalis Principia Mathematica。
问:《数学原理》是谁写的?
答:《数学原理》是由阿尔弗雷德-诺斯-怀特海和伯特兰-罗素写的。
问:《数学原理》是什么时候出版的?
答:《数学原理》是在1910年、1912年和1913年出版的。
问:作者们认为他们能用这本书做什么?
答:作者认为他们可以用这本书来描述符号逻辑中的一套公理、推理规则和不矛盾法则,所有的数学真理原则上都可以从这里得到证明。
问:哥德尔不完备性定理是如何证明这一目标不可能实现的?
答:哥德尔不完全性定理证明,对于所提出的任何一组公理和推理规则,要么该系统一定是不一致的,要么事实上一定有一些数学真理无法从它们中推导出来。因此,它证明这个雄心勃勃的项目是不可能实现的。
问:谁启发和激励了PM?
答:PM是由戈特洛夫-弗雷格早期的逻辑学工作所启发和激励的。
问:PM与罗素1903年的《数学原理》有什么不同?
答:《数学原理》与罗素1903年的《数学原理》不同,因为《数学原理》说:"我们最初打算把这部作品作为......《数学原理》的第二卷。但随着我们的进展,越来越明显的是,这个主题比我们想象的要大得多......"