科学家利用数学计算来试图证明神的存在

在科学家证明了一位数学家的理论后,他们似乎证明了神的存在。这个理论提出了一个“上帝”的存在。

根据两位科学家的说法,在他们证实了复杂的数学方程式后,他们已经一劳永逸地证明了一个神圣力量的存在。

在大约 1941 年时,数学家库尔特·哥德尔(Kurt Gödel)创造了一个又长又复杂的理论,建立在模态逻辑(MODAL LOGIC)上,这个理论叫哥德尔本体论证明(哥德尔’s ontological proof)。

此理论默认了正面和负面的属性,并且证明了一个必需的存在,这个存在运用于所有正面属性,不用于负面属性。 库尔特·哥德尔 的理论建立在非常复杂的数学方程式上,但是历史上许多事物都建立在更古老的“ 模型 ”上。哥德尔本体论证明是坎特伯雷大主教圣安瑟伦(St. Anselm of Canterbury,1033-1109)的关于上帝存在的本体论证明(ontological argument)的现代版本。圣安瑟伦是本笃会(Benedictine)修道士,他从1093年开始一直到他去世担任坎特伯雷大主教。

他的理论总结如下:“ 定义上,神是我们所能想像得到的最伟大存有。如果这样的存有不存在,意即更伟大的存有是无法被想像的,如果这样的存有存在,那么更伟大的存有是可以被想像的。但是这会不合理: 没有存有可以比无法被想像的更伟大存有更伟大。所以比不伟大伟大的存有是可以被想像的,意即神存在。 ”

这个理论的本质是,没有比神更伟大的力量能被想像,如果他 / 她被相信是一个概念,那么他 / 她就存在于现实。

许多论证,例如上述所写的,是建立在指定“ 神 ”的概念是极大性上。 库尔特·哥德尔 的论证,在另一方面,试图用短小的论述,如此一来它就聚焦在正面属性的“ 本质 ”上,正面属性象征的就是“ 神 ”。

1990 年 Anderson 对 库尔特·哥德尔 的本体论论证的说明:

定义 1: x 是“ 像神特性 ”,若且唯若 x 的本质仅为正属性。

定义 2: A 是 x 的本质,若且唯若所有属性 B , x 一定有 B,若且唯若 A 需要 B。

定义 3: x 必须存在,若且唯若所有 x 的本质是必须例证。

公理 1: 如果一个属性为正,那它的否定不为正。

公理 2: 任何被需要的属性,意即被完全默许:一个正属性是正属性。

公理 3: 像神的属性是正属性。

公理 4: 如果一个属性为正,那它一定是正属性。

公理 5: 必需的存在是正属性。

公理 6: 对任何属性 P,如果 P 是正属性,那 P 一定是正属性。

定理 1: 如果一个属性为正,那它是一致的,意即可能例证。

系理 1:像神的属性是一致的。

定理 2: 如果某物是像神的,那像神的属性是那个某物的本质。

定理 3: 像神的属性必须是例证。

两位计算机科学家或许已经证明了如此复杂的方程式,颂歌一定会响起,神是真的。

那两位计算机科学家表示,他们并不打算尝试直接证明,或是反驳神的存在,而只是想展现他们电脑的威力。来自柏林自由大学的 Christoph Benzmüller,与维也纳技术大学的 Bruno Woltzenlogel Paleo 一起演算了这个算式。他说:“ 这实在太惊人了, 库尔特·哥德尔 的论证可以在几秒内自动证明出来,如果用标准笔电所需的时间可以更短。我不知道这会引起这么大的公众兴趣,但是哥德尔本体论证明绝对是一个比较好的例子,比那些用数学或人工智能都难接以接近的好多了。 它非常的简短、爽快,因为我们只需在一个短小的定理里和六个公理打交道。或许会有其他事物使用相似的逻辑。”

最终,哥德尔本体论证明的形式体系化似乎没有赢得无神论者的心,似乎也不能安慰真正的信者们。

  • 发表于:
  • 原文链接:http://kuaibao.qq.com/s/20171221A0F3IM00?refer=cp_1026

相关快讯

扫码关注云+社区