他们竟用数学方程式证明神的存在!(2)
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 一起演算了这个算式。他说：“ 这实在太惊人了， 库尔特·哥德尔 的论证可以在几秒内自动证明出来，如果用标准笔电所需的时间可以更短。我不知道这会引起这么大的公众兴趣，但是哥德尔本体论证明绝对是一个比较好的例子，比那些用数学或人工智能都难接以接近的好多了。 它非常的简短、爽快，因为我们只需在一个短小的定理里和六个公理打交道。或许会有其他事物使用相似的逻辑。”
最终，哥德尔本体论证明的形式体系化似乎没有赢得无神论者的心，似乎也不能安慰真正的信者们。
-
风云人物
-
历史解密
-
战史风云
-
-
- 黄花岗起义72烈士：牺牲后11年才有了姓名
- 广州新军起义中新军为何成革命党原动力 新军
- 解析十字军东征的目的到底是什么?
- 大非川之役吐蕃40万军队围歼薛仁贵10万大军
- 楚汉陈仓之战的具体过程详细解析
- 小牧长久手之战的交战双方分别是谁?
- 国共孟良崮战役的历史真相大揭秘
- 解读宁远大捷：袁崇焕一战成名
- 关于保路运动几个问题的澄清——章立凡答时
- 英西大海战历史背景大解析
- 四川保路运动的来龙去脉：从成都茶园说起
- 揭秘解放军如何干净利落完成天津攻坚战
- 历史上的玄武门之变真相大揭秘
- 广州新军起义中军事力量的对比：为何新军起
- 二次革命是否纯属自杀 孙中山发动二次革命有
- 二次革命：专制皇权与民主共和之争 政治斗争
-
-
文史百科
-
老照片
-
-
- 鲜明背后：20世纪纽约艳舞女郎的辛酸与无奈
- 清朝老照片:八国联军缉获清军兵器
- 欺骗你的眼睛 30张未经ps的神奇照片
- 稀有曝光：你见过蒋介石、周恩来家的户口本
- 从明星片看中国 一百年前的磨难中国跃然纸上
- 1945年9月3日9时日本无条件投降签字典礼（组图
- 曝光五星级旅馆挑小姐如挑白菜 盘货连年来各
- 盘货：20个令你大开眼界的真实日本雷人发现
- 惨不忍睹！7张图还原1945年美军轰炸日本现场
- 古代女子包养男宠的五大理由：宣泄欲望只是
- 钮钴禄氏有后人吗 满族八大姓之一钮钴禄氏此
- 秦长城建筑时间：秦长城什么时候开始建筑
- 南北朝钱币史：论南北朝时期各国钱币范例有
- 安史之乱是怎么发作的 安史之乱的配景是什么
- 唐顺宗是个奈何的人 唐顺宗李诵是怎么死的
- 清明上河图的奥秘：不只仅是揭示糊口那么简
-
-
人物
-
薛丁山简介 历史上有没有薛丁山这个人
薛丁山(649—720)，小说演义人物，其历史原型为唐朝名将薛仁贵的儿子薛讷。母亲柳金花。娶樊梨花、窦仙童、陈金定... - 薄姬简介 历史上的薄姬是怎么样的
- 田丰简介 田丰之死是谁的过错
- 孝慎成皇后简介 孝慎成皇后是怎么死的
- 长孙无忌简介 长孙无忌是怎么死的
- 四大名山简介 四大名山都有哪些景色
- 杨坚的父亲是谁 杨坚父亲简介
- 兰陵王简介 兰陵王是怎么死的
- 汉景帝简介 汉景帝有哪些妃子
- 李龟年简介 李龟年是唐朝的什么
-
薛丁山简介 历史上有没有薛丁山这个人
-
解密
-
照片合集：中国少林武僧练功图
少林功夫有“天下功夫出少林，少林功夫甲天下”之说。少林寺位于河南登封市嵩山五乳峰下，由于其坐落于嵩山腹... - 越南女兵裸图欣赏 被俘虏的越南女兵为何不穿衣服?
- 红卫兵图片大全 红卫兵老照片介绍
- 中国古代春宫图集 史上最全性爱姿势
- 甲午战争失败的认识原因:对侵略战争缺乏预见
- 解析陆小凤的武功究竟有多高?
- 清代著名词曲家孔尚任的创作特点解读
- 揭秘卢沟桥事变第一枪究竟是谁开的?
- 评析北宋著名词人周邦彦的词
- 鹰头神荷鲁斯之眼具有怎样神圣的含义?
-
照片合集：中国少林武僧练功图
-
战史
-
英西大海战历史背景大解析
1588年在大西洋上展开的英国舰队与西班牙舰队的激烈海战，是英国以弱胜强的胜利，使英国获得了对大西洋海域的... - 洺水之战的结果：击溃刘黑闼稳固了唐朝的统治
- 北齐文学家魏收梦想当武将却为何改武学文?
- 北宋名将李纲东京保卫战表现如何?
- 战史解读：后周攻南唐之战的意义是什么?
- 护国运动和辛亥革命的关系 护国运动就是护国战争吗
- 唐绍仪蔡锷以及李烈钧各自为政 护国运动根本没有统一的领导
- 护国运动是在哪爆发的 护国运动首义云南的原因
- 护国运动性质 护国运动的历史意义
- 巴赫和亨德尔的音乐成就比较
-
英西大海战历史背景大解析
-
文史
-
红楼梦人物关系图 红楼梦人物关系图谱
红楼梦人物关系图 十二金钗：林黛玉、薛宝钗、贾元春、贾迎春、贾探春、贾惜春、李纨、妙玉、史湘云、王熙凤、... - 妈祖简介 妈祖的传说故事
- 河伯简介 河伯的传说
- 共工简介 共工的贡献
- 梨山老母是谁，梨山老母有哪些徒弟？
- 三皇五帝中的三皇分别指谁？什么是三皇？
- 弥勒佛有什么寓意？弥勒佛是什么佛？
- 八仙都有谁？八仙的传说有哪些？
- 河伯是什么？河伯的传说有哪些？
- 龙是什么？龙有什么传说故事
-
红楼梦人物关系图 红楼梦人物关系图谱
-
照片
-
清末上海老照片：一半落后一半时尚
清末上海老照片 上海街头的剃头摊儿。这些照片拍摄于1870-1880年代，记录了正在转型中的上海。 清末上海老照片 一... - 老照片：上世纪日本夜店很淫乱
- 中世纪的欧洲妓女组图 欧洲妓女妓女生活现状
- 土地改革运动图片 土地改革运动老照片
- 照片还原 清朝格格们的真实糊口
- 从明星片看中国 一百年前的磨难中国跃然纸上
- 清朝老照片:八国联军缉获清军兵器
- 盘货：20个令你大开眼界的真实日本雷人发现
- 裙子被吹起的难过瞬间
- 南北朝钱币史：论南北朝时期各国钱币范例有哪
-
清末上海老照片：一半落后一半时尚
- 历史
-
风云人物 | 历史解密
战史风云 | 文史百科
才子佳人 | 帝王将相
后宫嫔妃 | 近代名人
野史秘闻 | 历史纪实
未解之谜 | 考古发现
将星传奇 | 抗日战争
古代战役 | 世界大战
神话故事 | 成语故事
诗词歌赋 | 古典名著
传统文化 | 风水命理
热点新闻 | 老照片
历史剧 | 历史今天
- 朝代
-
上古历史 | 夏朝历史
商朝历史 | 周朝历史
春秋战国历史 | 秦朝历史
汉朝历史 | 三国历史
晋朝历史 | 南北朝历史
隋朝历史 | 唐朝历史
五代十国历史 | 宋朝历史
元朝历史 | 明朝历史
清朝历史 | 民国历史
- 皇帝列表
-
夏朝皇帝列表 | 商朝皇帝列表
西周皇帝列表 | 秦朝皇帝列表
汉朝皇帝列表 | 三国皇帝列表
晋朝皇帝列表 | 隋朝皇帝列表
唐朝皇帝列表 | 宋朝皇帝列表
辽朝皇帝列表 | 金朝皇帝列表
西夏皇帝列表 | 元朝皇帝列表
明朝皇帝列表 | 清朝皇帝列表
五胡十六国皇帝列表
南北朝皇帝列表
五代十国皇帝列表
