出版社: 中国轻工业出版社
出品方: 万千教育
原作名: Godel's Proof
译者: 刘新文
出版年: 2021-3
页数: 168
定价: 42.00元
装帧: 平装
ISBN: 9787518432868
内容简介 · · · · · ·
1931年,逻辑学家、数学家库尔特·哥德尔(Kurt Godel)发表的关于不完全性定理的论文,挑战了数学和逻辑研究中的基本假设,被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献,他获得了被誉为“在美国同类奖项中蕞高奖”的第一届阿尔伯特·爱因斯坦奖。
哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题,为首次进入哥德尔证明思想的读者提供了一幅简明地图。
本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。本书译自原书50周年纪念版。在此版本中,侯世达澄清了原文本中的一些歧义之处,并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系,还解释了哥德尔证明的本质,明确了哥德尔证明对于思考认知科学特...
1931年,逻辑学家、数学家库尔特·哥德尔(Kurt Godel)发表的关于不完全性定理的论文,挑战了数学和逻辑研究中的基本假设,被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献,他获得了被誉为“在美国同类奖项中蕞高奖”的第一届阿尔伯特·爱因斯坦奖。
哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题,为首次进入哥德尔证明思想的读者提供了一幅简明地图。
本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。本书译自原书50周年纪念版。在此版本中,侯世达澄清了原文本中的一些歧义之处,并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系,还解释了哥德尔证明的本质,明确了哥德尔证明对于思考认知科学特别是人工智能发展的重要意义。
哥德尔证明的创作者
· · · · · ·
-
刘新文 译者
作者简介 · · · · · ·
Ernest Nagel(1901—1985),美国科学哲学家,逻辑实证主义运动领军人物。1930年于哥伦比亚大学获得博士学位,其后主要在该校任教。1977年入选美国国家科学院。曾任美国哲学学会东部分会主席、美国科学哲学协会主席,《哲学杂志》与《符号逻辑杂志》主编。1961年出版的《科学的结构》(The Structure of Science)被公认为科学分析哲学的开山之作。
James R. Newman(1907—1966),美国数学家,数学史家,律师。1948年成为《科学美国人》杂志编委会成员。1956年出版的四卷本《数学的世界》(The World of Mathematics)汇聚了他用15年时间收集、整理的数学领域的重要文献,曾多次重印再版。
Douglas R. Hofstadter(1945— ),美国认知科学家,哲学家。2009年...
Ernest Nagel(1901—1985),美国科学哲学家,逻辑实证主义运动领军人物。1930年于哥伦比亚大学获得博士学位,其后主要在该校任教。1977年入选美国国家科学院。曾任美国哲学学会东部分会主席、美国科学哲学协会主席,《哲学杂志》与《符号逻辑杂志》主编。1961年出版的《科学的结构》(The Structure of Science)被公认为科学分析哲学的开山之作。
James R. Newman(1907—1966),美国数学家,数学史家,律师。1948年成为《科学美国人》杂志编委会成员。1956年出版的四卷本《数学的世界》(The World of Mathematics)汇聚了他用15年时间收集、整理的数学领域的重要文献,曾多次重印再版。
Douglas R. Hofstadter(1945— ),美国认知科学家,哲学家。2009年入选美国艺术与科学院、美国哲学学会,2010年入选瑞典乌普萨拉皇家科学院。其代表作《哥德尔、艾舍尔、巴赫》(Godel, Escher, Bach,1979)获得普利策奖与美国国家图书奖。
目录 · · · · · ·
第二章 一致性问题
第三章 一致性的绝对证明
第四章 形式逻辑的系统化
第五章 一致性的绝对证明:成功之例
第六章 映射观念及其在数学中的使用
第七章 哥德尔的证明
第八章 总结性思考
附录
参考文献
译后记
· · · · · · (收起)
原文摘录 · · · · · · ( 全部 )
-
很明显,除非忍受循环或无穷倒退之苦,总是有一些指称算术属性的词汇是无法明确定义的——因为我们不能定义所有的东西,而必须从某处出发——尽管这些词汇仍可能以某种其他方式被理解。 (查看原文) —— 引自章节:第六章 映射观念及其在数学中的使用 -
哥德尔的天才之处,就在于他认识到数字是体现任何种类的模式的普遍中介,并且正因为如此,表面上看来只是有关数字的命题,事实上能够被看作是有关其它领域的命题的编码。换句话说,哥德尔跨越了数论的表面层次,认识到数字能够代表任何种类的结构。在计算机问题上应用哥德尔的想法,可以看到,由于计算机说到底是操作数字的,而数字又是体现任何种类的模式的普遍中介,因而计算机能对应任意类型的模式,不管它们是逻辑的还是非逻辑的,是一致性的还是非一致性的。简言之,当你站得离成千上万内部相互联系着的各种数字模式足够远时,你就能看出其它领域的模式,就像肉眼观看一个显示屏上的像素,能从中看出一张熟悉的脸来,而非 0 和 1 组成的阵列一样。 这种哥德尔式的对待计算机的方式,在现代世界上已通行到了这样的程度,以至于除了专家以外,人们对计算机的数字基础干脆就是视而不见。普通人日常用计算机进行文字处理,玩游戏,通信,看动画,设计,画图等等,根本就不去想在硬件深部进行的基本算术运算。认知科学家,指望他们的计算机的算术硬件既不犯错也无创造性,而给出“一组固定的指令”来模拟人的出错及人的创造。至少在原则上,没有理由认为不能用计算机模拟出创造性的数学思维过程。但是,在二十世纪五十年代,还很难看出计算机的这种潜力。然而,免不了有讽刺意味的是,这样一本专门赞颂哥德尔对数字在总体上能包揽所有模式的洞见的书,其主要的哲学结论中竟然没有体现这种洞见,因而未能看到这种“演算机械”能复制出所有的可以想见的模型样式,甚至包括创造性的人类思维在内。 (查看原文) —— 引自章节:前言
> 全部原文摘录
喜欢读"哥德尔证明"的人也喜欢 · · · · · ·
-
- 逻辑与演绎科学方法论导论 8.2
-
- 推论、社会和历史 7.9
-
- 胡塞尔与《笛卡尔式的沉思》 8.9
-
- 逻辑之旅 8.8
-
- 真理 7.3
-
- 如何阅读休谟 7.9
-
- 自身意识与自身规定 8.8
-
- 数学、逻辑与现象学 9.1
-
- 形而上学导论 8.7
-
- 从数学到哲学 9.3
哥德尔证明的书评 · · · · · · ( 全部 23 条 )
这本书真的是介绍哥德尔定理的最好的科普书吗?
这篇书评可能有关键情节透露
2014年7月8日,发现了《哥德尔、埃舍尔、巴赫》一书,翻阅简介发现是一本难啃的书,于是查阅相关资料,知乎上有人说,正常的阅读顺序是:《哥德尔传》、《哥德尔证明》、《哥德尔、埃舍尔、巴赫》,于是2019年10月17日标记了前2本书,最近把前两本书都读完了,但是感觉有很多疑... (展开)用计算机程序类比不完备定理
浅易好懂的一本书,看完后感觉自己智商都提高了
> 更多书评 23篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部5 )
-
中国人民大学出版社 (2008)9.2分 867人读过
-
NYU Press (2001)9.3分 76人读过
-
Routledge (2005)9.5分 16人读过
-
NYU Press (2008)暂无评分 4人读过
以下书单推荐 · · · · · · ( 全部 )
- 想象乌托邦 (Kdropinstant)
- 书籍 (小晓陈)
- 科普 (Orca)
- Ricardo Piglia (CA) (克罗诺皮娅啊啊)
- 哲学及其他 (Salchard)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有766人想读,手里有一本闲着?
订阅关于哥德尔证明的评论:
feed: rss 2.0
0 有用 背风 2022-07-06 23:59:42
没来由的对哥德尔不完备定理感兴趣,但苦于数学水平限制,也只能对着维基百科上的定理描述反复念叨。这本书以相对通俗易懂的方式对哥德尔证明的来龙去脉及证明过程做了简述,满足了我的部分需求。阅读时还惊讶的发现本书的编者是年初读的奇书GEB的作者侯士达,他在前言中还表示这本书是当初让他动笔写出GEB的最重要的两本书之一。
1 有用 kennytang 2021-05-08 16:26:16
纯数学是一门我们不知道自己在说什么,也不知道我们所说的是否为真的学科
11 有用 務光 2021-05-03 19:48:52
还记得大一的时候在图书馆用一下午翻完了旧版,然后兴致勃勃地在友邻寝室的窗户上重述了似懂非懂的证明;今天去万圣买了新版,花了一晚上又看了一遍,一样的震撼与幸福。
5 有用 Wattskemov 2022-03-08 09:24:24
写得很简单很清晰,不过要完全看懂,还是需要下功夫的
1 有用 Moz 2023-09-01 11:01:40 广东
映射编码和自指。对于非数理逻辑专业的读者也有对形式与语言系统的构建的帮助性思考。