来自柏林自由大学的科学家Christoph Benzmüller和来自维也纳科技大学的Bruno Woltzenlogel通过信息计算验证了哥德尔不完备性定理。该定理在上世纪末由数学家哥德尔提出，他的结论为
在逻辑的准则下存在上帝——哥德尔证明了任何一个形式体系，只要包括了简单的初等数论描述，而且是一致的，它必定包含某些体系内所允许的方法既不能证明也不能证伪的命题。
在二十世纪七十年代末，哥德尔评论到，就定义来说，“不可能存在超越上帝的存在物了”，并通过数学逻辑论据提出了上帝的存在。他的意图是用一个完全逻辑性的方式，从上帝是存在的角度来展现我们所说的本体论(又称为存在论)的一些论据。
如今，科学家们用一台普通的MacBook笔记本来计算证明了哥德尔的论据在数学上是正确的。之所以说上帝存在，是因为数学无疑是相容的；魔鬼也存在，因为我们不能证明这种相容性。于是研究者强调发布在Arxiv.org网上的这个研究 “与高科技可以帮助证明上帝是否存在的科学理论密切相关"。
于是，两位科学家指出，重要的是“通过电脑所获得的成果意味着哥德尔巨大的推理的成功”。Benzmüller指出，在数学中或在可用现代科技解决的人工智能
技术中本体论测试是个无法达到的很好的例子。
科学家认为，这些复杂的定理可以通过非专业化电脑进行验证的事实使得其他定理可以验证成为可能，它提供了更多的可能性。科学家还指出：“哥德尔不完备性定理可以在几秒钟内在一个标准的笔记本电脑上自动证实，这完全是不可思议的。”
