本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始，其核心就是寻找集合论的新公理。在此之后，特别是20世纪80年代以来，集合论学家在这个方向上取得了一系列重要的成就。2010年之后，整个图景逐渐清晰起来。粗略地说，连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功，那就在某种意义上出现了一个优选的模...(展开全部)

本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始，其核心就是寻找集合论的新公理。在此之后，特别是20世纪80年代以来，集合论学家在这个方向上取得了一系列重要的成就。2010年之后，整个图景逐渐清晰起来。粗略地说，连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功，那就在某种意义上出现了一个优选的模...(展开全部)

分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

库尔特·哥德尔无疑是当代最伟大的思想家之一。王浩与晚年的哥德尔交往甚密，他在本书中首次广泛论述了哥德尔的生平与工作，充分揭示了哥德尔深奥精妙的思想及其与数学史和哲学史上的重要论题的关系。他所涉猎的主题包括初等逻辑的完全性，形式化的极限，证明问题，集合概念，数学哲学，时间理论，相对论，形而上学，宗教以及作为世界观的哲学。

分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。

✤一个天才疯子，一个风月女子，两个“失败者”的“胜利婚姻”。 【图书简介】 本书以库尔特•哥德尔遗孀阿黛尔为主角，讲述了她作为科学家妻子的鲜为人知的故事，以及夫妇二人从第二次世界大战中的颠沛流离到在美国的科研生活的传奇经历。书中不仅展现了哥德尔的生活细节和天才思想，还描 绘了第二次世界大战后普林斯顿学术圈的复杂图景。在这里，爱因斯坦、奥本海默、冯•诺伊曼、泡利、图灵等科学巨匠都不得不面对生活的困境和激烈的学术竞争。小说还原了这些伟大科学家的真实面貌，展现了他们在科学与人性之间的挣扎与矛盾。 【编辑推荐】 天才与疯癫、爱情与坚守的震撼之作，献给所有在他人光芒下默默付出的人。 1. 科学家的人生并非只有高光时刻：库尔特·哥德尔，亚里士多德之后最伟大的逻辑学家，他用理性震撼世界，却被疯狂毁灭。本书不仅讲述了他的天才思想，还有他作为“凡人”的脆弱与挣扎。 2...(展开全部)

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。

哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一，爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家，他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理，堪称数学逻辑理论中最伟大的发现，至今仍影响着人工智能领域的发展。

1931年，逻辑学家、数学家库尔特·哥德尔（Kurt Godel）发表的关于不完全性定理的论文，挑战了数学和逻辑研究中的基本假设，被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献，他获得了被誉为“在美国同类奖项中蕞高奖”的第一届阿尔伯特·爱因斯坦奖。 哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题，为首次进入哥德尔证明思想的读者提供了一幅简明地图。 本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。本书译自原书50周年纪念版。在此版本中，侯世达澄清了原文本中的一些歧义之处，并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系，还解释了哥德尔证明的本质，明确了哥德尔证明对于思考认知科学特...(展开全部)