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

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

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

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

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

（編輯：穆薩）