工作。
“我看看啊,光是為了解釋加法的定義,還有證明‘一加一等於二’,這本書就寫了五百多頁……”王崎匆匆讀了這一部分,然後苦笑。
這本算經確實定義出了“一加一等於二”,但是,只要哥德爾不完備定理一出現,這一部凝結了眾人心血、智慧的典籍就不得不面對一個恐怖的事實。
無法證明任何足以推到算學理論的集合論規則是自洽的。你無法用邏輯去否定“一加一等於三”的可能性。但是,任何人都可以用直覺判斷出,那是不可能的