說明#
本人以拙劣的文筆和對計算機粗淺的理解,寫下了這篇文章。
(該文風格模仿了侯世達先生的《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 覺得在這個地下室裡的確很不自在,於是趕快離開了)