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

网友评论2013-10-30 09:43

    字我全认识。。。但是，他们在说什么？
    

网友评论2013-10-30 09:49

    百度一下“哥德尔的论据”，看来又是超出我等凡人所能理解的范围了
    

网友评论2013-10-30 09:49

    当年牛顿就干过的事儿
    

网友评论2013-10-30 09:51

    给MAC打广告的啊
    

网友评论2013-10-30 09:54

    用计算机来证明不完备性定理？听起来很不靠谱啊。
    

网友评论2013-10-30 09:57

    上帝：你们知道的太多了
    

网友评论2013-10-30 10:00

    我来看看有多少人误解哥德尔不完备性定理
    

网友评论2013-10-30 10:00

    这一个个字读起来好简单 我就光读一遍意思意思下就好了...
    

网友评论2013-10-30 10:01

    Macbook的软广告, 鉴定完毕
    

网友评论2013-10-30 10:02

    前几天马亲王的帖子还在不？
    
    诺亚方舟那个。
    

网友评论2013-10-30 10:02

    如果真的存在就出来啊，有本事上帝来查我水biaafslgnoeasngamhnalnslgna
    

网友评论2013-10-30 10:04

    Reply Post by Doctor_Feynman (2013-10-30 10:00):
    我来看看有多少人误解哥德尔不完备性定理
    都不认识，哪来的误解。。
    

网友评论2013-10-30 10:07

    哥们,你们弄错了,只是证明了一个至高的存在,但是你能证明叫上帝(God)么?不是叫盘古? 不是叫女娲? 不是叫安拉吗? 不是叫飞天面条神吗
    我确定叫安拉啊, 阿拉安胡巴克!
    

网友评论2013-10-30 10:08

    上帝:我的工作都结束这么多年了，你们忘了我行不行啊T-T
    

网友评论2013-10-30 10:11

    是不是如果算出一个小数就是上帝，算出大数就是如来观音玉皇大帝太上老君之类的了
    

网友评论2013-10-30 10:14

    Reply Post by leachee (2013-10-30 10:07):
    
    哥们,你们弄错了,只是证明了一个至高的存在,但是你能证明叫上帝(God)么?不是叫盘古? 不是叫女娲? 不是叫安拉吗? 不是叫飞天面条神吗
    我确定叫安拉啊, 阿拉安胡巴克!
    
    你连口号都喊错了！不怕萨拉丁上门砍你JJ么
    

网友评论2013-10-30 10:18

    安拉阿胡阿克吧！
    

网友评论2013-10-30 10:25

    Reply to Reply Post by 鼻油油 (2013-10-30 10:14)
    
    你连口号都喊错了！不怕萨拉丁上门砍你JJ么
    
    大马士革打仗呢，萨拉丁不太方便现在爬出来……
    

网友评论2013-10-30 10:25

    Reply Post by leachee (2013-10-30 10:07):
    
    哥们,你们弄错了,只是证明了一个至高的存在,但是你能证明叫上帝(God)么?不是叫盘古? 不是叫女娲? 不是叫安拉吗? 不是叫飞天面条神吗
    我确定叫安拉啊, 阿拉安胡巴克!
    
    嘣！
    下一页(2)

    
    
    

LOL罗辑思维全国人大代表真三搞笑视频柳岩