下载地址:
《哥德尔、艾舍尔、巴赫——集异壁之大成》.pdf (访问密码:472988)

更多编程方面的经典高清PDF好书请浏览:

https://guonetnet.ctfile.com/shared/folder_21150501_e7e3f8a3/

《哥德尔、艾舍尔、巴赫——集异壁之大成 高清PDF完整版》《哥德尔、艾舍尔、巴赫——集异壁之大成 高清PDF完整版》

www.minxue.net电子书

  《哥德尔、艾舍尔、巴赫:集异璧之大成》是一本空前的奇书,也是一本杰出的科学普及名著,它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论,轻松、幽默、流畅的文字隐藏着大量的潜台词,它们前后照应、互相联系,交织成一个复杂、无形的网络,读者看不见它,但可以嗅出它的气味,并觉察到这是作者有意喷洒的。作者希望借此引起读者的兴趣,从而在反复玩味中体会出那些潜台词来,真正触及本书的精华。

目录

作者为中文版所写的前言
译校者的话
概览
插图目录
鸣谢
题献

上篇:集异璧GEB
导言一首音乐-逻辑的奉献
三部创意曲
第一章 WU谜题
二部创意曲
第二章 数学中的意义与形式
无伴奏阿基里斯奏鸣曲
第三章 图形与衬底
对位藏头诗
第四章 一致性、完全性与几何学
和声小迷宫
第五章 递归结构和递归过程
音程增值的卡农
第六章 意义位于何处
半音阶幻想曲,及互格
第七章 命题演算
螃蟹卡农
第八章 印符数论
一首无的奉献
第九章 无门与哥德尔

下篇:异集璧EGB
前奏曲
第十章 描述的层次和计算机系统
蚂蚁赋格
第十一章 大脑和思维
英、法、德、中组曲
第十二章 心智和思维
咏叹调及其种种变奏
第十三章 BlooP和FlooP和Gl00P
G弦上的咏叹调
第十四章 论TNT及有关系统中形式上不可判定的命题
生日大合唱哇哇哇乌阿乌阿乌阿
第十五章 跳出系统
一位烟民富于启发性的思想
第十六章 自指和自复制
的确该赞美螃蟹
第十七章 丘奇、图灵、塔斯基及别的人
施德鲁,人设计的玩具
第十八章 人工智能:回顾
对实
第十九章 人工智能:展望
树懒卡农
第二十章 怪圈,或缠结的层次结构
六部无插入赋格
注释
文献目录
索引

精彩书摘

  这些年同样是计算机理论日新月异的年代。这些理论与数学有紧密的联系。事实上,哥德尔定理在计算理论中有其对应物,这是阿兰·图灵发现的。它揭示出了即便是在可以设想出来的性能最好的计算机中,也存在有不可避免的“漏洞”。带有讽刺意味的是,正当这些怪异的局限性被发现的时候,不断造出的真正的计算机的性能却越来越好,远远超出了他们的制造者的预见力。巴比奇曾经说过,假如他能在五百年后回到世界上进行一次为期三天的有向导的科学旅行,他将很愿意放弃他的余生。在他去世后仅一百年的今天,如果他能回来,看到当今新的机器以及它们出人意料的局限性,他会惊奇得说不出话来。
  五十年代初期,机械化智能似乎已指日可待了,然而,在创造最终的真正的思维机器时,每跨跃一个障碍都要产生一个新的障碍。目标的这种神秘的退避有什么深刻的原因吗?
  谁也不知道非智能行为和智能行为之间的界限在哪里。事实上,认为存在明显界限也许是愚蠢的。但是智能的基本能力还是确定的,它们是:
  对于情境有很灵活的反应;
  充分利用机遇;
  弄懂含糊不清或彼此矛盾的信息;
  认识到一个情境中什么是重要的因素,什么是次要的;
  在存在差异的情景之间能发现它们的相似处;
  从那些由相似之处联系在一起的事物中找出差别;
  用旧的概念综合出新的概念,把它们用新的方法组合起来;
  提出全新的观念。
  这里遇到了看起来像是悖论的东西。计算机的本性恰恰就是极不灵活、没有欲望、照章办事。尽管它们可能是速度很快的,它们仍然是无意识的东西。那么,如何能给需要智力的行为编出程序呢?这不是最最明显的自相矛盾吗?本书的一个主要论题就是讲这里根本不存在矛盾。本书的一个主要目的就是鼓励每一个读者,直接了当地面对这个表面上看来是矛盾的东西,尝一尝它的滋味,摆弄摆弄,拆开来看看,沉浸于其中,以使读者最终得以重新认识存在于形式化的和非形式化的、有生命的和无生命的、灵活的和不灵活的事物之间的那些表面上看来不可逾越的鸿沟。
  这便是人工智能所要研究的全部。人工智能工作的奇异之处就是试图将一长串严格形式化的规则放在一起,用这些规则教给不灵活的机器如何能灵活起来。
  但是什么样的“规则”可能把握住我们想到的所有的智能行为呢?当然,一定是在各个不同的层次上有不同的规则。一定有许多2“十分平常的”规则,一定有“元规则”修改“十分平常的”规则,而且有“元元规则”修改元规则,等等。智能的灵活性来自大量的不同规则和规则的层次。之所以一定有许许多多的在不同层次上的规则,是因为在生活中,生物面对着成千上万的完全不同类型的境况。在某些境况中,只存在要求“十分平常的”规则的刻板反应。有些境况是一些刻板境况的混合——这样,就需要决定要使用哪些“十分平常的”规则的规则。有些境况无法分类——那么,就一定要有发明新规则的规则……等等。无疑,包含着那些直接或间接地改变自己的规则的怪圈是智能的核心。