哥德尔 艾舍尔 巴赫
内容简介
《哥德尔、艾舍尔、巴赫》曾获普立兹奖（非小说类别）和美国国家图书奖（科学类别）。本书以精心设计的结构和巧妙的笔法深入浅出地介绍了数理逻辑、人工智能等学科领域中的许多艰深的理论课题。作者尝试着在大脑科学、人工智能和数理逻辑这样的层次上将数学家哥德尔（G集）、画家艾舍尔（E异）和作曲家巴赫（B璧）嵌为一体，探讨他们作品中的共性。
......(更多)
作者简介
道格拉斯•理查•郝夫斯台特（Douglas Richard Hofstadter，1945－），中文名侯世达，美国学者、作家。他的主要研究领域包括意识、类比、艺术创造、文学翻译以及数学和物理学探索。 因其著作《哥德尔、埃舍尔、巴赫》获得普立兹奖（非小说 类别） 和美国国家图书奖（科学类别）。
侯世达是美国印第安纳大学文理学院认知科学杰出教授，主管概念和认知研究中心。他本人和他辅导的研究生组成“流体类推研究小组”。1977年，侯世达原本属于印第安纳大学的计算机科学系，然后他开始了自己的研究项目，研究心理活动的计算机建模（他原本称之为“人工智能研究”，不久就改称为“认知科学研究”）。1984年，侯世达受聘于密歇根大学，任心理学教授，同时负责人类认识研究。1988年，他回到印第安纳大学，任“文理学院教授”，参与认知科学和计算机科学两个学科，同时还是科学史和科学哲学、哲学、比较文学、心理学的兼职教授，当然侯世达本人表示他只是在名义上参与这些系科的工作。2009年4月，侯世达被选为美国文理科学院院士，并成为美国哲学会会员。
......(更多)
目录
作者为中文版所写的前言
译校者的话
GEB二十周年版前言
概览
插图目录
鸣谢
上篇：集异璧GEB
导言一首音乐-逻辑的奉献
三部创意曲
第一章 WU谜题
二部创意曲
第二章 数学中的意义与形式
无伴奏阿基里斯奏鸣曲
第三章 图形与衬底
对位藏头诗
第四章 一致性、完全性与几何学
和声小迷宫
第五章 递归结构和递归过程
音程增值的卡农
第六章 意义位于何处
半音阶幻想曲，及互格
第七章 命题演算
螃蟹卡农
第八章 印符数论
一首无的奉献
第九章 无门与哥德尔
下篇： 异集璧EGB
前奏曲
第十章 描述的层次和计算机系统
蚂蚁赋格
第十一章 大脑和思维
英、法、德、中组曲
第十二章 心智和思维
咏叹调及其种种变奏
第十三章 BlooP和FlooP和Gl00P
G弦上的咏叹调
第十四章 论TNT及有关系统中形式上不可判定的命题
生日大合唱哇哇哇乌阿乌阿乌阿
第十五章 跳出系统
一位烟民富于启发性的思想
第十六章 自指和自复制
的确该赞美螃蟹
第十七章 丘奇、图灵、塔斯基及别的人
施德鲁，人设计的玩具
第十八章 人工智能：回顾
对实
第十九章 人工智能：展望
树懒卡农
第二十章 怪圈，或缠结的层次结构
六部无插入赋格
注释
文献目录
索引
......(更多)
读书文摘
禅宗采纳整体论，并且推向逻辑上的极端。如果整体论是断言事物必须作为一个整体被理解，而非其各个部分的总和，那么禅宗走的更远，认为整个世界根本就不能被划分为一个个事物。划分世界就会误入歧途，因而就不能达到顿悟。
一个人永远也不能给出一个最终的、绝对的证明，去阐明在某个系统中的一个证明是正确的。当然，一个人可以给出一个关于证明的证明，或者关于一个证明的证明的证明——但是，最外层的系统有效性总还是一个未经证明的假设，是凭我们的信仰来接收的
......(更多)
