大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 不完备性 : 哥德尔的证明和悖论 : the proof and paradox of Kurt Godel
名称 不完备性 : 哥德尔的证明和悖论 : the proof and paradox of Kurt Godel
索引号 O141-49/20091
分类号 O141-49
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 戈尔茨坦、唐璐、
出版社 长沙 : 湖南科学技术出版社, 2008
ISBN 978-7-5357-5245-1
页数 227页 : 图, 肖像 ; 21cm
价格 CNY22.00
标签 数学、哥德尔、逻辑、科普、不完备性、传记、哲学、科学、
简介
注解 责任者规范中译姓: 戈尔茨坦 有书目和索引 本书通过哥德尔一生的精选片段，加上对他最惊人的突破－－证明存在为真却不可证的命题－－详尽而通俗易懂的阐释，作者既表现了哥德尔的天赋又揭示了他的痛苦。
作者简介

丽贝卡·戈德斯坦著有五本书，包括《心脑问题》（The Mind-Body Problem）和《光的特性》（Propertise of Light）以及一本短篇小说集《奇怪吸引子》（Strange Attractors）。作为一位哲学教授，她因她的小说和学术成果记赢得了许多荣誉，她还是麦克阿瑟学会成员。

书籍简介

内容简介
20世纪早期见证了经典物理和数学的基础假设遭受的几次打击。相对论颠覆了约定俗成的时空观念，量子世界的研究挑战因果效应的基本观念。最为惊人的是，对于一切科学的基础——数学，不完备性定理揭示了将数学理性系统化的一切尝试中都藏有不可弥合的裂痕，这个结果简直是悖论式的。藏在这个发现背后的天才就是哥德尔，他自身就是一个悖论式的人物。他是自亚里士多德以来最伟大的逻辑学家，同时还是爱因斯坦晚年最亲密的思想伙伴。但他行事又极为古怪，惯于偏执狂推理，并最终因此悲剧性地死去。他深受失去理性的困扰，仍然对理性深具信心。通过天才的证明。他得以揭示在任何足够复杂的系统中 ——简单地说，任何数学家想要使用的系统——都存在不能被证明的真命题。一些思想家对此感、到绝望。另一些，如令人敬畏的维特根斯坦，一直不能接受它。还有一些人将其误解为对理性的破坏。然而对于哥德尔，这是永恒客观的真理存在的证据。它们独立于人类思想，只能被人类思维不完美地理解。丽贝卡·戈德斯坦，通过她的小说家技巧和作为一名科学哲学家的洞见，使得哥德尔的定理以及其隐含意义通俗易懂，同时让这位古怪、痛苦的天才形象生动。本书是对哥德尔的生活、工作及其世界的重要新礼赞。

书籍目录

引子
第1章　实证主义者中间的柏拉图主义者
第2章　希尔伯特和形式主义者
第3章　不完备性证明
第4章　哥德尔的不完备性
注释
阅读建议
致谢
附录1　人名译名对照表
附录2　专用名词译名对照表