地球是阿蘭·圖靈解決的，但是……現在我還沒有學到那邊去，也不知道神州的機老圖靈是不是解決判定問題——不對，在地球判定性問題的靈感同樣來自哥德爾……

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

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

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

陳景雲看著王崎為難的神