学佛学科学
发表文章数: 32
武功等级: 野球拳
(第四重)
内力值: 106/106
哥德尔关于上帝存在的本体论证明
去年我看了王浩写的《哥德尔》（康宏逵 译 上海译文出版社），很是欢喜。在书中看到了哥德尔关于上帝存在的本体论证明，于是就摘抄下了。本想自己打出来发给网友分享，后发现网上已经有人发了，于是就不必我亲自输入了我就“复制——粘贴”一下吧。呵呵！
公理1。（二分性）一个性质是肯定的当且仅当它的否定是否定的。
公理2。（闭包性）一个性质是肯定的，如果它必然包含一个肯定性质。
定理1。一个肯定性质是逻辑上一致的（也就是它可能有某个实例）。
定义。某个东西是类上帝的当且仅当它具备所有的肯定性质。
公理3。是类上帝的是一个肯定性质。
公理4。是一个肯定性质（是逻辑的，因而）是必然的。
定义。性质P是x的本质当且仅当x具备P并且P必然是极小的。
定理2。如果x是类上帝的，那么类上帝的是x是的本质。
定义。NE(x)：x必然存在，如果它具备一个本质的性质。
公理5。是NE是类上帝的。
定理3。必然有某个x,x是类上帝的。
（大家在网上以“哥德尔关于上帝存在的本体论证明”搜索，可以看到相关网页。其中有用逻辑表达式叙述上面证明过程的。还有网友对这一证明的看法。 大家有兴趣可以去看看！）
如果网友中有人学过逻辑学也不妨写一个类似的关于上帝不存在的证明。（在高中时见过一个关于“上帝不是万能”的逻辑证明。）
我们拭目以待哦！哈哈！
I may be wrong and you may be right,and by an effort,we may get nearer to the truth .(Popper)
| 发表时间：2006-07-18, 11:01:59 |
 作者资料
|
XXFF
发表文章数: 480
武功等级: 空明拳
(第五重)
内力值: 419/419
Re: 哥德尔关于上帝存在的本体论证明
哥德尔的“上帝”并非我们概念的“上帝”即基督教的“上帝”，只是个形式。
他的证明由公理决定，即在你建的公理体系中你也可以证明“佛祖”“真主”。。。等的存在。
信仰与真理千万不要扯在一起！
XXFF
| 发表时间：2006-07-18, 21:22:45 |
作者资料
|