@ 2013.10.30 , 00:01
74

两个科学家通过计算证明上帝存在

[-]

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

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

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

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

科学家认为,这些复杂的定理可以通过非专业化电脑进行验证的事实使得其他定理可以验证成为可能,它提供了更多的可能性。科学家还指出“ 哥德尔不完备性定理可以在几秒钟内在一个标准的笔记本电脑上自动证实,这完全是不可思议的。”本文译自 lavanguardia,由译者 LIFE 基于创作共用协议(BY-NC)发布。


给这篇稿打赏,让译者更有动力
支付宝打赏 [x]
您的大名: 打赏金额:

3.2
赞一个 (31)

TOTAL COMMENTS: 74+1

[2] 1 »
  1. 2234836

    这个证明结果是不是说明了人类的逻辑学存在问题?

  2. 2234343

    老夫昨天夜观星相,发现天天上的星星的位置有某种规则,然后用算盘算了3个时辰,终于破解了星星位置的秘密,其实星图是”驻马店不完备守恒弦爆炸定律“的证明过程的2维化表达。该定律的最终结果是:42,意义是:玉皇大帝才是宇宙之主,地球上帝只是玉皇大帝造出的上帝文明中一大堆上帝中一个而已。

  3. 2234106

    这NM什么破新闻,不过是重新证明了歌德尔不完备性定理而已,注意是重新,用计算机证的,人家歌德尔自己早证过了。这跟上帝有个毛线关系,真NM会穿凿附会。

  4. 张较瘦扭来扭曲
    @4 years ago
    2234087

    首先,你要有一台macbook

  5. 吃货
    @4 years ago
    2234076

    逻辑悖论只不过是人类大脑局限性的一种表象

  6. KODstop
    @4 years ago
    2234062

    得~~终于证明了我们飞天拉面大神的存在咯。。。

  7. 2234058

    我国农村的广大中老年妇女早已用公鸡下蛋,母鸡上树,坟头长草,屋后冒烟等朴素的自然科学证明了玉皇大帝的存在,观音菩萨,马王爷,土地公的存在。

  8. 草泥马
    @4 years ago
    2234023

    如果神真的是无所不能,那神必定存在。现在没有神只是因为人类无法定义和发现神。

  9. 2233970

    我已经证明了春哥的存在。

  10. 钟离鸿
    @4 years ago
    2233942

    @kedouark: 奇怪刚刚at失败了怎回事?

  11. 钟离鸿
    @4 years ago
    2233938

    @kedouark :嘿嘿,我就是觉得这个笑话拿来这里挺应景的。首先,这个问题不能证明或证否上帝存在,其次,作为普罗大众的一员,不是研究逻辑的谁会专门去计较这个?(这个新闻的槽点也在这里,用数学理论去证明上帝存在与否,跟平头百姓有毛线关系?)

  12. maylog
    @4 years ago
    2233928

    哥们你算错了

  13. 2233898

    哥德尔的不完备定理和哥德尔的上帝证明是完全不一样的两个内容吧,下面是证明过程
    证明涉及模态逻辑, 引入了 ‘□’ (必然)和’◇’ (可能) 两个算子. 有

    □?「◇「
    把证明如下:

    公理1: 一个性质是肯定的当且仅当它的否定是否定的.
    Axiom 1: If a property is positive, then its negation is not positive.
    Pos(ψ)? 「Pos(「ψ)

    公理2: 一个性质是肯定的, 如果它必然蕴涵一个肯定性质.
    Axiom 2: Any property entailed by — i.e., strictly implied by — a positive
    property is positive.
    □?x{[φ(x)→ψ(x)]∧Pos(φ)}→Pos(ψ)

    定理1: 一个肯定性质是逻辑上一致的(可能有某个实例).
    Theorem 1: If a property is positive, then it is consistent, i.e., possibly
    exemplified.
    Pos(φ)→◇?x φ(x)

    定义1: 某物是类上帝的当且仅当它具备所有的肯定性质.
    Definition 1: x is God-like iff x has as essential properties those and only
    those properties which are positive.
    G(x)??φ[Pos(φ)→φ(x)]

    公理3: “是类上帝的”是一个肯定性质.
    Axiom 3: The property of being God-like is positive.
    Pos(G)

    推论1: “是类上帝的”是一致的(可能有某个实例, 即上帝可能存在)
    Corollary 1: The property of being God-like is consistent.
    ◇?x G(x)

    公理4: 一个肯定性质是必然肯定的.
    Axiom 4: If a property is positive, then it is necessarily positive.
    Pos(φ)→□Pos(φ)

    定义2: 性质 φ 是 x 的本质当且仅当 x 是 ψ 并且 φ 蕴涵 ψ.
    Definition 2: φ is an essence of x iff for every property ψ, x has ψ
    necessarily iff φ entails ψ.
    φ ess x ?φ(x)∧?ψ{ψ(x)→□?x[φ(x)→ψ(x)]}

    定理2: 如果 x 是类上帝的, 那么类上帝的是 x 是的本质.
    Theorem 2: If something is God-like, then the property of being God-like is an
    essence of that thing.
    G(x)→G ess x

    定义3: x 必然存在, 如果 x 的本质都必然有某个实例.
    Definition 3: x necessarily exists iff every essence of x is necessarily
    exemplified.
    NE(x)??φ[φ ess x → □?xφ(x)]

    公理5: “是必然存在”是肯定的.
    Axiom 5: Necessary existence is positive
    Pos(NE)

    定理3: 必然有某个x,x是类上帝的.
    Theorem 3: Necessarily, the property of being God-like is exemplified.
    □?xG(x)

  14. 2233897

    讨厌这种标题党+扯淡文风……

  15. 十四
    @4 years ago
    2233854

    因为,“上帝保佑… … 上帝保佑… …上帝保佑… … 上帝保佑… ….上帝保佑… … 上帝保佑”
    所以,上帝是批处理的!

  16. 2233782

    是说‘不能证明不存在就是存在吗?’

  17. 胡萝卜是鱼香肉丝的肉
    @4 years ago
    2233750

    鲍尔默对此项研究提供了很大的支持·······

  18. perfect_blue
    @4 years ago
    2233734

    ….无神论者真是高端啊

  19. 满满
    @4 years ago
    2233723

    @丁日: 难怪您叫丁日了,人如其名

  20. 黑白
    @4 years ago
    2233719

    @你咋不跑捏: 那是gods,GOD只有一个,十诫第一条就是“除我之外不可有别的神。”

  21. 谁搬来的救兵
    @4 years ago
    2233639

    S H A D I A O

  22. 好色猴子
    @4 years ago
    2233561

    来和玉帝抢人么

  23. 苹果脑残粉
    @4 years ago
    2233549

    Mac的高端软文,鉴定完毕~~

  24. 2233534

    @Da: 非也,科学发展让人们和过去的一些迷信越来越远了,但不见得会让人离上帝越来越远。

[2] 1 »

发表评论


24H最赞