第一百七十四章 問心(2 / 2)

走進修仙 吾道長不孤 1137 字 2020-09-04

掌門啊,你要是想這位一樣痛快多好!

陳景雲輕輕點頭:「我自有計較。」然後又說道:「這是最重要的問題了,你且聽好。」

王崎見他說得鄭重,忍不住咽了口唾沫。

「所謂算學,完備乎?相容乎?可判定乎?」

啊?王崎明顯愣了一下。

這個問題和前面兩個差太多了吧!

數學是完備的嗎?是不是每個命題都能證明或證偽?

數學是相容的嗎?是否用附和邏輯的步驟和順序,永遠不會退出相矛盾的命題?

數學是可判定的嗎?是否能用一種機械的方法判定每一個命題的真偽?

這三個問題每一個都直擊數學的根本,每一個都是邏輯學領域最高深的問題!

這種問題出現在高考性質的問心關之中?這就像讓高中生來解規范場方程一樣,是不可能的事情啊!

等一等,由於兩個世界的歷史已經出現分歧,哥德爾的同位體並沒有出現在神州大地,所以目前來看前兩個問題都是無解的……第三個問題在地球是阿蘭·圖靈解決的,但是……現在我還沒有學到那邊去,也不知道神州的機老圖靈是不是解決判定問題——不對,在地球判定性問題的靈感同樣來自哥德爾……

也就是說這個純粹是信仰問題?

王崎心念電轉,過了好一會才組織好語言:「第三問,我認為是否定的……若是算器便可解決所有算題,那還要我們算家作甚?」

可是,前兩個問題怎么編呢?我心底里的答案當然是標達「對於一個形式邏輯系統,完備性和相容性不可並存」……但是這特么太具體了好嗎!要是他再給我來個「請詳解」我可辦不到啊!

陳景雲看著王崎為難的神色,點點頭:「這三個問題都是最尖銳的算題,你也不必深究——那么,最後一個問題了。王崎,你和不准道人,是什么關系?」

誒?

誒誒?

王崎還在錯愕,嘴上卻已經開口:「當過一段時間的鄰居……」

見鬼,難道這才是戲肉?

他們果然懷疑我和不准道人有關!

還好陳景雲問的是「不准道人」而不是「海森寶」,要不然我脫口而出的恐怕就是「海森堡是我最欽佩的科學家」……你妹,這樣就真的跳進黃河都洗不清了!

「除此之外呢?他教過你什么?你一晉入仙院就能夠解出傳功殿後殿的題目,是否與不准道人有關?」

「除了教過我下棋之外,再沒有什么了。」王崎斟酌語言:「我能解出題目,與不准道人無關。」

幸好……要是這位問的是「為什么能解出題目」……當初真是太魯莽了……

還好這位不懂話術……

聽了王崎的回答之後,陳景雲看了看可哈兒一眼。可哈兒沖他點點頭。陳景雲這才說道:「好的,我們已經能夠確認你和不准道人無關了。」

王崎長舒一口氣。尼瑪……海老頭害人啊……

可還未等他完全放縱下來,真闡子就在他腦海里尖叫:「小心!」