【中國清真網(wǎng)綜合報道】來自柏林自由大學(xué)的科學(xué)家 Christoph Benzmüller 和來自維也納科技大學(xué)的Bruno Woltzenlogel通過信息計算驗證了哥德爾不完備性定理(維基)，該定理在上世紀末由數(shù)學(xué)家哥德爾提出，他的結(jié)論為在邏輯的準則下存在上帝（Allah）(哥德爾證明了任何一個形式體系，只要包括了簡單的初等數(shù)論描述，而且是一致的，它必定包含某些體系內(nèi)所允許的方法既不能證明也不能證偽的命題)。

　　在七十年代末，哥德爾評論到，就定義來說，“不可能存在超越上帝的存在物了”，并通過數(shù)學(xué)邏輯論據(jù)提出了上帝（Allah）的存在。他的意圖是用一個完全邏輯性的方式，從上帝（Allah）是存在的角度來展現(xiàn)我們所說的本體論(又稱為存在論)的一些論據(jù)。

　　如今，科學(xué)家們用一個普通的Macbook來計算證明了哥德爾的論據(jù)在數(shù)學(xué)上是正確的。所以說上帝（Allah）存在，因為數(shù)學(xué)無疑是相容的;魔鬼（Iblis）也存在，因為我們不能證明這種相容性。于是研究者強調(diào)發(fā)布在Arxiv.org網(wǎng)上的這個研究 “與高科技可以幫助證明上帝（Allah）是否存在的科學(xué)理論密切相關(guān)"。

　　于是，兩位科學(xué)家指出，重要的是“通過電腦所獲得的成果意味著哥德爾巨大的推理的成功”。Benzmüller指出，在數(shù)學(xué)中或在可用現(xiàn)代科技解決的人工智能技術(shù)中本體論測試是個無法達到的很好的例子。

　　科學(xué)家認為，這些復(fù)雜的定理可以通過非專業(yè)化電腦進行驗證的事實使得其他定理可以驗證成為可能，它提供了更多的可能性?？茖W(xué)家還指出“ 哥德爾不完備性定理可以在幾秒鐘內(nèi)在一個標準的筆記本電腦上自動證實，這完全是不可思議的。”

（編輯：穆薩）