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

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

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

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

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

（編輯：穆薩）