來自柏林自由大學的科學家Christoph Benzmüller和來自維也納科技大學的Bruno Woltzenlogel通過信息計算驗證了哥德爾不完備性定理。該定理在上世紀末由數學家哥德爾提出，他的結論為在邏輯的準則下存在上帝 ——哥德爾證明了任何一個形式體系，只要包括了簡單的初等數論描述，而且是一致的，它必定包含某些體系內所允許的方法既不能證明也不能證偽的命題。
在二十世紀七十年代末，哥德爾評論到，就定義來說，“不可能存在超越上帝的存在物了”，並通過數學邏輯論據提出了上帝的存在。他的意圖是用一個完全邏輯性的方式，從上帝是存在的角度來展現我們所說的本體論(又稱為存在論)的一些論據。
如今，科學家們用一台普通的MacBook筆記本來計算證明了哥德爾的論據在數學上是正確的。之所以說上帝存在，是因為數學無疑是相容 的；魔鬼也存在，因為我們不能證明這種相容性。於是研究者強調發佈在Arxiv.org網上的這個研究“與高科技可以幫助證明上帝是否存在的科學理論密切相關"。
於是，兩位科學家指出，重要的是“通過電腦所獲得的成果意味著哥德爾巨大的推理的成功”。Benzmüller指出，在數學中或在可用現代科技解決的人工智能技術中本體論測試是個無法達到的很好的例子。
科學家認為，這些複雜的定理可以通過非專業化電腦進行驗證的事實使得其他定理可以驗證成為可能，它提供了更多的可能性。科學家還指出：“哥德爾不完備性定理可以在幾秒鐘內在一個標準的筆記本電腦上自動證實，這完全是不可思議的。”
.兩名科學家通過計算 證明上帝存在 數碼新聞,
http://digital1010.blogspot.com/2013/11/blog-post_3.html
