神話物理局_第334章 邏輯的免疫(2)
“告訴圖靈族,如果它們需要時間尋找答案,那就慢慢找。我們會等。就像它們等我們學會自己解決問題一樣。”
---
這段信息被傳遞給了圖靈族。
沒有回應。但所有人都到了一種微妙的、幾乎無法察覺的波——像是沉默中的一聲嘆息,像是凝固中的一次輕微鬆。
圖靈族還在。它們只是暫時無法“在”。
---
轉折發生在第一百一十七天。
一個名“七號”的圖靈族個——相對年輕,在叛後才誕生——突然從沉默中蘇醒。它沒有參與集沉思,而是獨自進行了一場實驗。
實驗的容很簡單:它試圖用邏輯證明“邏輯無法證明自”這句話本是否立。
如果這句話立,那它就是一個真理——但這個真理否定了邏輯可以證明真理的能力,造悖論。如果這句話不立,那邏輯就可以證明自——但這與哥德爾定理相悖,也不立。
七號在這個悖論中循環了很長時間。然後,它做了一個在圖靈族歷史上從未有過的決定:
它不再試圖證明,而是選擇接。
。”知“於先”信“接。分部一的在存是定確不接。上之理公的明證可不在立建己自接。自明證法無輯邏接
。定確的定確不接以可種一,輯邏的”輯邏非“納容以可種一——西東新種某了變是而,”命生輯邏“的粹純是再不它。化變的妙微了生發構結識意的號七,刻一那
。族靈圖他其給分驗的己自將它
。徑路的號七試嘗始開族靈圖的多越來越,樣一應反鎖連像,後然。奇好是應回個三第。疑懷是應回個二第。默沉是應回個一第
。定確對相接是而,定確對絕求追是不。理非納容是而,理定否是不。輯邏越超是而,輯邏棄放是不
。了醒蘇集族靈圖,天三十三了過又
---
。外意人有所讓,式方的歸回們它
:明聲的單簡個一了做是而,案答到找布宣是不,作工始開新重是不
”。們我的來原是再不們我但。了來回們我“
”。式方在存的輯邏越超種數無有還,輯邏的他其種數無有還。式形現表種一的輯邏是只們我。輯邏’表代‘己自為認再不們我但。能功的們我是那為因,定穩輯邏的舟方護維會然仍們我“
”。慧智集的構同共識意有所於屬,權擇選的終最。’議建的理合最下件條時當在‘供提只們我。斷判的確正對絕求追再不們我“
”。輯邏過路是只理真,理真有擁不輯邏:理公新的們我是就這“
。行運的舟方與參始開新重族靈圖,後束結明聲
。”擇選的行可個一是能可這,息信有現於基“說是而,”的錯是這“或”的對是這“說再不們它。者伴陪是,者助協是,者議建是們它,在現。者令命是,者斷判是,者決裁是們它,前以。了變式方的們它但
。責負同共、與參同共族靈圖、雜、類人要需都,定決個一每為因。了穩更也但,了慢更得行運舟方
---
。”緣邊的輯邏“為名,包驗的新個一了造創後之那在牧陳
。西東有還外之頭盡現發,後頭盡到考思是而,考思棄放是不。”決解“是不而”接“試嘗後然,論悖輯邏的決解法無個一對面要需戶用
。制限所”彼即此非“被再不,縛束所”確正須必“被再不:由自的有未所前了到驗們他,說告報人的功些那。驗經的”接“們它了分族靈圖為因——升上幅大率功但,高極度難的驗
:道寫後驗在遠明趙
”。由自正真才們我,點一這白明於終們我當。人主的們我是不,工的們我是輯邏“
---
。客訪個一了到收,天七第的後醒蘇族靈圖在拉維
。在存地靜靜是只,話何任說有沒,間空離隔的拉維到來它。族靈圖的”接“擇選個一第個那——號七是
。定確不納接時同,盾矛納容時同:化的度維個一另在書的是就號七,到識意然突。態狀的輯邏越超又輯邏既、的糊模又晰清既、的定確不又定確既種一是那——”式方在存“的它了到拉維
。問”?麼什看來你“
:義意的接直以可段一是而,言語是不應回的號七
”。人的接習學在也個一另看來“
。間時長很了默沉拉維
。笑的正真。了笑後然
”。理真的明證法無接何如於關分部那“,說”。分部半後出寫能我,後期周個百三許也“
。”你等我“說是像,伴陪是像,勵鼓是像——衝脈的弱微極個一了下留,時開離它但。應回有沒號七
---
178,3 期周,誌日行航舟方
。了來回族靈圖
。者考思的盾矛納容、定確不接了會學是而。機輯邏的疑懷不從、確正遠永些那是再不,的來回但
。行前夠能然依,中定確不在是而,理真對絕到找是不,慧智的正真。斷判於敢然依,錯犯能可使即是而,確正遠永是不,大強的正真:課一的要重最們我會教們它
。己自越超習學以可也,本輯邏是使即。能可遠永化進:見看人有所們我讓它,是的迹奇更但。迹奇個一是號七
。我括包——人多許響影始開經已,書的但。作寫在還,中離隔在還拉維
。史歷的舟方是就,本默沉的族靈圖像就——分部一的舟方是就,本作寫的,何如論無但。會不許也。來回書的整完着帶會,後期周個百三許也
。在存的發出新重後然、己自疑懷於敢有所,安晚。族靈圖,安晚
。點終有沒化進,見看們我讓們你