To my friends⑧（5 / 6）

历史上最伟大的数学家之一大卫·希尔伯特提出的三个问题。关键在于，这三个问题的答案。

这三个问题的答案中的每一个，都是对逻辑领域的一次打击。因为三个问题的答案是令人感到非常不幸的，都是否定。

这三个问题中的前两者由数学家哥德尔回答，答案便是大名鼎鼎的“不完备性定理”。而第三个问题，则由另一位人类历史上最伟大的数学家之一阿兰·图灵给出答案。其常见的表达为：“不存在这样一台机器，当它提供任意一台机器的标准描述时，它可以判断这任意的一台机器是否曾经打印过给定的符号”。

仅仅只是当被计算者与计算者就此纠缠在一起，悖论就此诞生。

图灵的给出的这个答案，今天在计算机领域被称为“停机问题”。

母亲的猜测之中，最为关键也最为重要部分，也就此终于被真正地揭示出来。

海原光贵几乎可说是死死地盯着母亲的脸，眼中满是复杂到根本无法用言语表达的意味。海原夫人看着他的样子，慢慢放下茶杯，轻轻叹了口气。

“光贵，我不是想证明什么。不过，‘设想是与一台计算机，而不是一位朋友通讯，这恐怕更为可取’（注2）。”

注1：12世纪英国坎特伯雷大主教的秘书，中世纪欧洲逻辑学的代表人物。此人曾被怀疑是持神秘主义哲学者。

注2：在信息学领域，这是一句箴言。它的始作俑者已不可考。有人认为是格雷戈里·蔡廷，但其实在蔡廷之前，至少有三个人曾经表达过类似的观点。本卷引语中克劳德·香农对于通讯的定义中其实也隐含有同样的意思。

ps：这章其实是设定和解答章节——话虽如此，但牵涉太深了。要想不用过于术语的方式表达出来实在是颇费脑筋，查了不少资料。结果内容比较多，时间也比较长。

经过这件事，倒是能更好的理解柏拉图的对于文字的评价了。那确实是一件令人感到困扰的事。

上传者的ps：这章的核心内容其实是数学。恐怕很少有人会认为我们日常生活中使用的语言和数学之间存在关联。但事实上，它们的确实存在相当的关联性。究其源头，我们使用的文字化（或者说，符号化）语言酝酿了“逻辑推论”，而“逻辑推论”又是数学与现代科学的根基所在。甚至，它们还存在着一种不可分割的关联。

据说，约翰·惠勒曾经问过哥德尔一个问题。这位肯定很了不起的物理学家向一位或许更了不起的数学家发问，内容