您当前的位置: 首页 > 历史

两科学家经计算证明上帝存在

2018-09-14 17:29:14

两科学家经计算证明上帝存在

来自柏林自由大学的科学家Christoph Benzmüller和来自维也纳科技大学的Bruno Woltzenlogel通过信息计算验证了哥德尔不完备性定理。该定理在上世纪末由数学家哥德尔提出,他的结论为在逻辑的准则下存在上帝——哥德尔证明了任何一个形式体系,只要包括了简单的初等数论描述,而且是一致的,它必定包含某些体系内所允许的方法既不能证明也不能证伪的命题。

在二十世纪七十年代末,哥德尔评论到,就定义来说,“不可能存在超越上帝的存在物了”,并通过数学逻辑论据提出了上帝的存在。他的意图是用一个完全逻辑性的方式,从上帝是存在的角度来展现我们所说的本体论(又称为存在论)的一些论据。

如今,科学家们用一台普通的MacBook笔记本来计算证明了哥德尔的论据在数学上是正确的。之所以说上帝存在,是因为数学无疑是相容的;魔鬼也存在,因为我们不能证明这种相容性。于是研究者强调发布在Arxiv.org网上的这个研究 “与高科技可以帮助证明上帝是否存在的科学理论密切相关"。

于是,两位科学家指出,重要的是“通过电脑所获得的成果意味着哥德尔巨大的推理的成功”。Benzmüller指出,在数学中或在可用现代科技解决的人工智能技术中本体论测试是个无法达到的很好的例子。

科学家认为,这些复杂的定理可以通过非专业化电脑进行验证的事实使得其他定理可以验证成为可能,它提供了更多的可能性。科学家还指出:“哥德尔不完备性定理可以在几秒钟内在一个标准的笔记本电脑上自动证实,这完全是不可思议的。”

郑重声明:以上文章均为网友转载,涉及言论、版权与本站无关。对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作出任何保证或承诺,请读者仅作参考,并请自行核实相关内容。本文仅供参考,盲目相信,风险自担。发布本文之目的在于传播更多信息,并不意味着本网赞同或者否定本文部分以及全部观点或内容。如对本文内容有疑义,请及时与我们联系。

武汉承接网络工程

玉米图片
龙府北郡一居室户型图-西安
活塞杆锁罗母机床
推荐阅读
图文聚焦