本网站不提供下载链接，喜欢看书的朋友请关注公众号：【lennylee的碎碎念】(lennyleede)，首页回复：授人以渔，自动获取搜索资源的方法。
内容简介:
在计算机科学界，这是一本杰出的科学普及名著，它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论，并将其与艾舍尔构思奇特的名画以及巴赫那些脍炙人口的曲谱结合起来。
作者简介:
侯世达，美国当代著名学者、认知科学家。美国印第安纳大学文理学院教授。 2009年成为美国哲学学会会员。 2010年当选为瑞典皇家科学学会会员。
原文摘录:
禅宗采纳整体论，并且推向逻辑上的极端。如果整体论是断言事物必须作为一个整体被理解，而非其各个部分的总和，那么禅宗走的更远，认为整个世界根本就不能被划分为一个个事物。划分世界就会误入歧途，因而就不能达到顿悟。 (查看原文)
苏氨酸
5 回复
21赞
2013-03-19 13:41:55
—— 引自章节：禅宗与埃舍尔
一个人永远也不能给出一个最终的、绝对的证明，去阐明在某个系统中的一个证明是正确的。当然，一个人可以给出一个关于证明的证明，或者关于一个证明的证明的证明——但是，最外层的系统有效性总还是一个未经证明的假设，是凭我们的信仰来接收的 (查看原文)
彰彰鱼
11赞
2013-02-28 12:37:45
—— 引自第253页