真理之路,崎嶇而又遙遠……無數(shù)的聰明人,無數(shù)的天才倒在這個問題上。
以至于在許多人心中,出現(xiàn)一種“大統(tǒng)一理論”不存在的奇怪心理。
這種想法的出現(xiàn)當然是有原因的,其源于另外一個偉大的定理:哥德爾不完全性定理!
著名的數(shù)學家哥德爾,曾經(jīng)提出現(xiàn)代邏輯史上很重要的一座里程碑:他證明了任何一個形式系統(tǒng),只要包括了簡單的初等數(shù)論描述,而且是自洽的,它必定包含某些系統(tǒng)內(nèi)所允許的...