撰文 | 烏其多

審校 | Cloud

2006年，有人在網(wǎng)上分享了一個位于英國多塞特郡多切斯特郊外， B3159 公路旁非常讓人困惑的路牌，該標(biāo)志為紅色背景的矩形，上面寫著：“標(biāo)志未使用”。

（圖片來源：indiatimes）

隨后，越來越多的人發(fā)現(xiàn)這個路牌在英國隨處可見，甚至還在網(wǎng)上售賣。

（圖片來源：indiatimes）

所以，這個路牌到底奇怪在哪？

再讀一遍牌子上的字：“標(biāo)志未使用”。你可能就發(fā)現(xiàn)了問題所在：

標(biāo)示說自己未使用，但實際上卻杵在路邊兢兢業(yè)業(yè)履行提示職責(zé)——那么，它到底是在使用、還是不在使用中呢？于是，悖論出現(xiàn)了。

該悖論的淺層原因解釋如下：

當(dāng)我們把眼光移向另外一個牌子：“Crossing not in use”（通道未在使用中），我們會覺得非常明了，完全不會引起歧義，因為路牌這個“符號”明確指向了一個未在這句話里存在過的“通道”。

而“Sign not in use”的問題在于，符號試圖對自身狀態(tài)進(jìn)行描述，這就違背了符號學(xué)要義：符號之所以被需要，恰恰是因為它的解釋意義尚未在場，也就是說，符號是不能描述自己的，否則會引發(fā)邏輯困境，專業(yè)的說法叫做“自我指涉”。

一幅表現(xiàn)自我指涉的著名畫作《手畫手》，埃舍爾作

“自我指涉”問題在符號學(xué)、語言學(xué)中乃至我們?nèi)粘ＵJ(rèn)知中存在非常廣泛，比如你可能聽說過“理發(fā)師悖論”和“說謊者悖論”：

說謊者悖論——我現(xiàn)在說的這句話是謊話。

若假設(shè)其為真，則可推出其為假；若假設(shè)其為假，則可推出其為真。由此構(gòu)成一個無法成立的矛盾循環(huán)。

理發(fā)師悖論——一位理發(fā)師說自己只給村子所有不能自己理發(fā)的人理發(fā)，那么，他能不能給自己理發(fā)呢？

如果他給自己理發(fā)，那么按照他的聲明，他就不應(yīng)該給自己理發(fā)；如果他不給自己理發(fā)，那么他就屬于“不給自己理發(fā)的人”，按照聲明，他又應(yīng)該給自己理發(fā)。無論怎樣都會導(dǎo)致矛盾。

（圖片來源：Rynoir）

無論是在哲學(xué)、語言學(xué)或者日常生活里，自我指涉導(dǎo)致的一些悖論，對我們基本產(chǎn)生不了太嚴(yán)重的影響。對于這些悖論的深挖結(jié)果最終就是規(guī)避或者糾錯，比如說上面那個“Sign not in use”路牌，經(jīng)過網(wǎng)友深挖，最終確認(rèn)這其實是個因為敘意模糊引起的錯誤，它原本應(yīng)該代表著“前方路牌未在使用中”的意思。

但問題是，當(dāng)自我指涉悖論出現(xiàn)在數(shù)學(xué)中時，情況就完全不一樣了，它甚至撼動了整個數(shù)學(xué)大廈，永遠(yuǎn)改變了人們對數(shù)學(xué)的認(rèn)識。

另一幅表現(xiàn)自我指涉的畫作《上升與下降》，埃舍爾作

對數(shù)學(xué)大廈的精準(zhǔn)爆破

在19世紀(jì)末20世紀(jì)初，數(shù)學(xué)家們正致力于一個宏偉的目標(biāo)：為整個數(shù)學(xué)建立一個絕對嚴(yán)格、無矛盾的基礎(chǔ)。這個基礎(chǔ)就是集合論。

為啥是集合論？因為數(shù)學(xué)中的每個概念（比如整數(shù)或者圓）都是用簡單的概念來定義的。在某種程度上，這個過程必然會“觸底”，我們會得到數(shù)學(xué)中最基本的一個概念，它是其他概念之源，這個概念就是集合。

集合論被廣泛認(rèn)為是現(xiàn)代數(shù)學(xué)的基礎(chǔ)（圖片來源：discover.hubpages）

當(dāng)時的主流思想（以德國數(shù)學(xué)家大衛(wèi)·希爾伯特為代表）認(rèn)為，我們可以從幾條簡單明確的集合論公理出發(fā)，像搭積木一樣，通過純粹的邏輯推理，構(gòu)建出全部數(shù)學(xué)。

如果這個計劃成功，數(shù)學(xué)將成為一門絕對真理的學(xué)科，其中所有命題要么為真，要么為假，不存在矛盾。

就在這個夢想即將實現(xiàn)的時候，伯特蘭·羅素在1901年針對集合論提出了一個非常簡單卻致命的悖論，也就是“羅素悖論”。

英國邏輯學(xué)家、數(shù)學(xué)家羅素（圖片來源：medium）

羅素悖論的描述是：

“由所有不包含自身的集合所組成的集合，這個集合是否包含自身呢？”

如果它屬于自身，按照定義，它就不應(yīng)該屬于自身，因為它的元素是那些不屬于自身的集合；可要是它不屬于自身，那又符合它的元素條件，似乎又應(yīng)該屬于自身了。

可能你也看出來了，羅素悖論和前文的理發(fā)師悖論核心結(jié)構(gòu)是一模一樣的。

羅素悖論（圖片來源：Rynoir）

這個看似抽象的悖論揭示了作為數(shù)學(xué)根基的集合論內(nèi)部存在著根本性的邏輯矛盾。它像一顆精準(zhǔn)的炸彈，炸毀了數(shù)學(xué)家們正在建造的“數(shù)學(xué)大廈”的地基，使當(dāng)時很多數(shù)學(xué)家“陷入了絕境”。

永遠(yuǎn)改變數(shù)學(xué)界

自古希臘以來，數(shù)學(xué)家一直相信一個基本原則：如果一個數(shù)學(xué)命題為真，那么它應(yīng)當(dāng)能夠從公理出發(fā)通過邏輯推理得到證明。

然而，羅素悖論的提出迫使數(shù)學(xué)界重新審視并修正數(shù)學(xué)的基礎(chǔ)——包括定義、公理與推理方法本身。盡管提出了多種解決方案（例如羅素本人的類型論），但這些方法大多試圖規(guī)避而非根本消除悖論。

直至1931年，哥德爾不完備定理的提出永遠(yuǎn)改變了數(shù)學(xué)的基礎(chǔ)圖景。這一里程碑式的成果，為自我指涉悖論所帶來的基礎(chǔ)危機(jī)劃上了一個決定性的、卻也略帶遺憾的句點。

奧地利裔美國數(shù)學(xué)家、邏輯學(xué)家哥德爾證明了兩個定理：

第一不完備定理：如果一個形式系統(tǒng)是一致的（即不存在矛盾），那么它必然是不完備的——也就是說，系統(tǒng)中存在一些為真的命題，但它們既不能被證明，也不能被證偽。

第二不完備定理：這樣的系統(tǒng)無法在自身內(nèi)部證明其一致性。

（圖片來源：網(wǎng)絡(luò)）

這意味著，在足夠復(fù)雜的數(shù)學(xué)系統(tǒng)中，總存在一些我們能夠理解其為真，但卻無法用系統(tǒng)內(nèi)的規(guī)則來證明的命題。即便一次次地對數(shù)學(xué)大廈進(jìn)行修補(bǔ)與重建，這種本質(zhì)上的不確定性仍會以不同的形式再度出現(xiàn)。

悖論無處不在

除了數(shù)學(xué)外，自我指涉在計算機(jī)科學(xué)領(lǐng)域也是一個不可逾越的根本性問題——大名鼎鼎的“圖靈停機(jī)”也正是另外一個“說謊者悖論”。

甚至有人反復(fù)論證，這種奇怪的循環(huán)就是理解意識如何從無生命的物質(zhì)中產(chǎn)生的關(guān)鍵。

比如說美國文理科學(xué)院院士、著名認(rèn)知科學(xué)家侯世達(dá)就認(rèn)為：自我指涉也是人類意識的本質(zhì)來源，認(rèn)為大腦中“浮現(xiàn)”出來的現(xiàn)象，例如想法、希望、意識和自由意志都根源于這種自指怪圈，是不同層次之間的一種自我強(qiáng)化的“共鳴”。

參考資料

[1]https://www.indiatimes.com/trending/wtf/sign-not-in-use-meaning-607332.html

[2]https://www.ladbible.com/news/road-sign-not-in-use-what-does-it-mean-421949-20230626

[3]https://www.phd.tuebingen.mpg.de/77594/ping-hsueh

[4]https://blog.csdn.net/nameofcsdn/article/details/52674487

[5]侯世達(dá)（美）,《哥德爾、埃舍爾、巴赫——集異壁之大成》

[6]陳波,《邏輯學(xué)是什么》,北京大學(xué)出版社

將“把科學(xué)帶回家”

不錯過每條有趣科學(xué)推文！

原創(chuàng)文章版權(quán)歸微信公眾號
“把科學(xué)帶回家”所有

轉(zhuǎn)載請聯(lián)系：bd@wanwuweb.com

凡本公眾號轉(zhuǎn)載、引用的文章 、圖片、音頻、視頻文件等資料的版權(quán)歸版權(quán)所有人所有，因此產(chǎn)生相關(guān)后果，由版權(quán)所有人、原始發(fā)布者和內(nèi)容提供者承擔(dān)，如有侵權(quán)請聯(lián)系刪除。