第380部分 (第5/5页)
工作。
“我看看啊，光是为了解释加法的定义，还有证明‘一加一等于二’，这本书就写了五百多页……”王崎匆匆读了这一部分，然后苦笑。
这本算经确实定义出了“一加一等于二”，但是，只要哥德尔不完备定理一出现，这一部凝结了众人心血、智慧的典籍就不得不面对一个恐怖的事实。
无法证明任何足以推到算学理论的集合论规则是自洽的。你无法用逻辑去否定“一加一等于三”的可能性。但是，任何人都可以用直觉判断出，那是不可能的
工作。
“我看看啊，光是为了解释加法的定义，还有证明‘一加一等于二’，这本书就写了五百多页……”王崎匆匆读了这一部分，然后苦笑。
这本算经确实定义出了“一加一等于二”，但是，只要哥德尔不完备定理一出现，这一部凝结了众人心血、智慧的典籍就不得不面对一个恐怖的事实。
无法证明任何足以推到算学理论的集合论规则是自洽的。你无法用逻辑去否定“一加一等于三”的可能性。但是，任何人都可以用直觉判断出，那是不可能的