✍ Scribed by [美] 约翰·道森
No coin nor oath required. For personal study only.
内容简介 · · · · · ·
本书是哥德尔的权威传记，全面描述了这位逻辑学家和哲学家的工作及生活细节。逻辑学家和科学史家道森对哥德尔的文献和保存下来的信件进行了深入研究。研究表明，哥德尔在数学基础方面的工作从根本上改变了我们对这个领域的看法，并在20世纪激发了许多研究方向。道森还探讨了哥德尔的个性与他的科学成就之间的关系，并阐释了哥德尔的成就对我们现代世界观的影响。
作者简介 · · · · · ·
约翰·道森(John W.Dawson Jr.)，美国宾夕法尼亚州立大学数学系教授。生于堪萨斯州威奇塔市（Wichita）。曾获美国国家优秀学者奖（National Merit Scholar）。就读于麻省理工学院，后在密歇根大学攻读博士学位，研究数理逻辑。国际公认的哥德尔研究权威。道森教授就现代逻辑学史和公理集合论写过大量文章。1982到1984年间，他在普林斯顿高等研究院整理哥德尔文献。并在此后担任《哥德尔全集》的编辑。道森教授还是位娴熟的长笛演奏家。他和妻子谢丽尔住在宾夕法尼亚州约克郡，两人在编辑工作和音乐爱好上琴瑟和谐。
📜 SIMILAR VOLUMES
王浩20年倾力之作，书中包括哥德尔一些未发表的哲学观点，接续上一本《哥德尔》的论题并将其扩展到更加广泛的领域：柏拉图主义、逻辑的本质、心灵、上帝的存在性、实证主义、现象学等等。哥德尔定理于20世纪的意义相当于爱因斯坦的相对论，海森伯格的测不准原理，凯恩斯的经济学，依据作者和哥德尔多年的私人交往与探讨写就的此书，扩展了过去人们认为的哥德尔在逻辑和哲学方面的贡献。
第一章 导论 第一节 数理逻辑史的研究对象和分期 第二节 数理逻辑史研究中的几个方法论问题 一 数理逻辑理论的发生和发展同社会实践的辩证关系 二 观点和材料的统一 三 逻辑方法和历史方法的统一 四 严格区别哲学观点和逻辑学说 第一编 数理逻辑前史——古典形式逻辑时期 第二章 亚里士多德的三段论 第三章 斯多阿学派的命题逻辑 第四章 中世纪的形式逻辑 第二编 数理逻辑初创时期 第五章 数理逻辑产生的时代背景 第六章 莱布尼茨的数理逻辑思想 第一节 莱布尼茨的三段论系统 第二节 莱布尼茨创建数理逻辑的指导思想 一 理性演算 二 普遍语言 第三节 莱布尼茨具体构造
<p>本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始，其核心就是寻找集合论的新公理。在此之后，特别是20世纪80年代以来，集合论学家在这个方向上取得了一系列重要的成就。2010年之
<p>《不完备性:哥德尔的证明和悖论》是对哥德尔的生活、工作及其世界的重要新礼赞。20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念，量子世界的研究挑战因果效应的基本观念。最为惊人的是，对于一切科学的基础——数学，不完备性定理揭示了将数学理性系统化的一切尝试中都藏有不可弥合的裂痕，这个结果简直是悖论式的。藏在这个发现背后的天才就是哥德尔，他自身就是一个悖论式的人物。他是自亚里士多德以来最伟大的逻辑学家，同时还是爱因斯坦晚年最亲密的思想伙伴。但他行事又极为古怪，惯于偏执狂推理，并最终因此悲剧性地死去。他深受失去理性的困扰，仍然对理性深具信心。通过天才的证明。