第390章零號公理
第390章零號公理(第2/4頁)
消除。
但實驗失敗了。
筆記第17頁，用紅筆寫著一行大字：“公理係統不完備。係統內存在一個無法證明的命題。”
謝銘的手指停在那行字上。
哥德爾不完備定理。
任何自洽的公理係統，必然存在一個無法在係統內證明的命題。邏輯研究院試圖用公理係統描述整個宇宙，但他們忽略了一個問題——如果宇宙本身就是一個自洽的係統，那麼宇宙內必然存在一個無法被證明的真理。
這個真理，就是邏輯裂縫的源頭。
謝銘翻到最後一頁。
筆記的署名欄裡，寫著：“林霜·觀測員”。
他的瞳孔猛地收縮。
筆跡。他認得出這個筆跡。檔案裡的每一個字，都是林霜親手寫的——那些傾斜的字母、用力過度的鉤、末尾習慣性的上挑。他見過太多次了，在那些她寫給他的紙條上，在那些她留在廚房餐桌上的購物清單上。
林霜當時在現場。
她不是後來才卷進來的。她從最開始就在。
謝銘的手指顫抖著翻過最後一頁，看到筆記的末尾畫著一個符號：一個圓圈，內嵌一個三角形。
他的大腦“嗡”地一聲。
這個符號。
在自指領域裡，陰影謝銘的胸口上，就刻著這個符號。
***
謝銘靠在椅背上，盯著天花板看了十秒。
檔案室裡的空氣越來越悶，灰塵的氣味混著紙張腐爛的甜膩，讓他有些頭暈。他閉上眼，把剛才看到的信息在腦子裡重新整理了一遍。
2150年的實驗製造了第一條邏輯裂縫。
林霜是實驗的觀測員。
實驗失敗的原因，是公理係統內存在一個無法證明的命題。
而這個命題，可能就是林霜的“定義”——她定義“謝銘會記得我”，因為她知道，在公理係統內，這個命題無法被證明，也無法被證偽。
謝銘睜開眼。
他重新翻開檔案，找到第7頁。那裡有一行被劃掉的字，墨跡很重，像是寫的人非常用力，然後又在憤怒中把它劃掉：“如果公理係統不完備，那麼係統內必然存在一個無法證明的命題。”
（本章未完，請點擊下一頁繼續閱讀）第390章零號公理(第2/2頁)
劃掉這行字的人，在下麵補了一句：“所以，這個命題就是公理本身。”
謝銘的手猛地握緊。
公理。
林霜的命題，不是定理——它是公理。它不需要被證明，因為它就是證明本身。
他正要繼續往下看，手指觸到檔案的封底，感覺下麵還有東西。他翻開封底，發現裡麵夾著一張照片。
照片已經泛黃，邊緣有些卷曲。上麵是一群穿白大褂的人站在裂縫前——那道裂縫他認得，是求真塔地下實驗室裡的第一條裂縫，現在已經被加固封印。
謝銘
（本章未完，請點擊下一頁繼續閱讀）