说明
本人以拙劣的文笔和对计算机粗浅的理解,写下了这篇文章。
(该文风格模仿了侯世达先生的《GEB》)
注:文章中 GOC 表示“计算机神灵”,ACB 表示“笨拙的初学者”,UIT 表示下文说到的可以解释一切的机器。
正文
ACB: 好久不见啊,尊敬的 GOC。
GOC: 不用这么拘谨,今天的天气不错啊,这次来找我什么事?
ACB: 您还是一如既往的喜欢晴天呢,这次我来是想请教一下理发师悖论。
GOC:理发师悖论?
ACB: 没错,理发师悖论,就是说从前有个理发师说他只给不给自己理发的人理发。
GOC: 啊,这个我知道。但是你知道么,你问了个愚蠢的问题,这种问题往往只是文字游戏罢了。自己给自己理发不是一件很愚蠢的事吗?天啊,怎么会有人自己给自己理发?
ACB: 那我换个说法,用数学语言来描述吧。
GOC: 数学?说实话我不太喜欢数学家。
ACB: 但是我们得承认他们的确很聪明。
GOC: 这倒是。
ACB:用数学语言大概应该这么描述:“S={x|x ∉ x}”
GOC: 这么看倒是悖论,不过那些聪明的数学家肯定已经解决这个问题了。
ACB: 的确,不过他们解决的办法显得不是那么的“聪明”。他们把对象区分开了,像是自然而然地那样。
GOC: 我想你说的是 Type Theory?
ACB: 没错,他们把一切都分开了,这样一来就不会产生自己包含自己这种荒谬事情发生了。他们弄了一条公理(正则性)“如果 A 是一个非空的集合,那么至少 A 含有一个元素 x,它要么不是集合,要么与 A 不相交的集合。”(注:该公理也称为基础公理(foundation axiom))
GOC:他们解决的不错,不过我对这种问题厌烦了。就如同和尚讲故事一样。
ACB:和尚讲故事?
GOC: 对啊,你没听过那个著名的故事吗?
从前有座山,山里有个庙,庙里有个老和尚给小和尚讲故事
从前有座山,山里有个庙,庙里有个老和尚给小和尚讲故事
从前有座山,山里有个庙,庙里有个老和尚给小和尚讲故事
…….
(过了大概有几分钟)
ACB: 那个,其实我也对和尚讲的故事不太感兴趣。
GOC: 我也说烦了,不如去我家歇一会把,我也想回去喝点水。正好给你看看我收到的一个有趣的新玩艺。
ACB:有趣的新玩艺?
GOC: 嗨,别提了。那天我正在我家地下室打扫卫生,忽然听到有人敲门,我问了半天也没人回答。后来我开门一看发现一个大盒子摆在了门口,上面还贴着一张纸条
“这个机器可以解释一切问题”
—无名氏献上
ACB:解决一切问题?那可真是有点怪,我还从来没听说过有人开发出了这种机器。
GOC:不过就像方便面的包装一样,我从来不相信包装上的任何东西。
ACB: 我觉得你是对的,但这种神奇的东西我也想要见识见识。
GOC: 我们已经到了,我把那台机器放在了地下室,这东西或许能让你大吃一惊。
ACB:光看到这个机器我就已经大吃一惊了。你是怎么把它搬到地下室的?
(指了指那台几乎占满整个地下室的机器)
GOC:嗨,那可差点累死我。不过先别说那个了,让我们先来打开这个机器。(说着按下了机器按钮,那台巨大的机器开始运作并发出了巨大的轰鸣声)
GOC: 这破机器每次运行都要这么大噪音吗?我现在倒是很担心家里的电费怎么办。
ACB: 这应该是风扇的声音。(一股热浪向两人袭来)
GOC:我觉得冬天开着这台机器都不用烧炉子,但是电费……诶,好了,现在可以问问题了。
ACB: 这东西真的能解释一切问题吗?
GOC: 大概吧,或许你可以自己试试。我先去喝点茶。
ACB: 好吧,那我试一试。
UIT: 你好,你有什么问题?
ACB: 嗯,我想想,你到底是什么?
UIT:如你所见我就是 UIT,我可以解释一切问题。
ACB: 虽然我觉得这不算回答……那,你能帮我解释一下哥德尔不完备定律吗?
UIT: 没问题。(它给出了完整的回答)
(过了大概一个小时,GOC 回到了地下室)
GOC: 你不会还在和这台机器玩游戏吧,我觉得我该把它关了,我可不想明天早上收到电费催缴单。
ACB: 快了,这台机器知道的还不少呢,看上去真像送来这个东西的那个人写的一样。
ACB: 我再问它最后一个问题,你看上去的确比大多数人都要聪明啊,不过我很好奇,你该怎么解释你是如何解释一切的吗?
GOC: 说实话,我觉得你又提了个愚蠢的问题。
UIT: ……
UIT: ……
UIT: ……
ACB: 这机器坏了吗?怎么突然没反应了?
(啪的一声,地下室的灯灭了,机器也停了下来)
GOC: 天啊怎么回事,好像停电了?我去看看地下室的电闸。(说着变戏法一样的掏出了一个手电筒。)
GOC: 我看看,电闸跳闸了。说实话兄弟,我觉得你今天总是提出一些愚蠢的问题。
ACB: 的确是这样,我很抱歉。我能帮上什么忙吗?
GOC:我觉得把电闸推回去就行。(说着推了下电闸)
(地下室的灯又亮了起来)
GOC: 让我看看这台机器。(说着又按下机器按钮)
(过了两分钟,没有丝毫的动静)
ACB: 我很抱歉,看起来我弄坏了这台机器。
GOC: 不是我说,你不能总是提这种愚蠢的问题,尽管你是初学者。现在看来我得修修这台机器了,我才发现这箱子里根本没有保修单啊。
ACB: 难不成这是个三无产品?
GOC:你好像机敏了一些,就现在来看,你是正确的。
ACB: 或许我能帮上些什么忙?
GOC: 或许你可以帮我带晚饭?这台见鬼的机器不知道什么时候能修好。这样,离着两公里远有一家川菜馆,你或许可以给我带点不辣的川菜回来。
ACB: 不辣的川菜?
GOC:对,这是他们家的招牌,不辣的川菜。
ACB:好吧,这还真是奇怪,真是抱歉给你添麻烦了,我去去就回。
(ACB 觉得在这个地下室里的确很不自在,于是赶快离开了)