|
我很奇怪，这里两派人士争论得那么热烈，却还没看到有人引用Godel的工作。
Godel他可是数学家里的大牛啊，一举把希尔伯特建立牢固的数学逻辑基础和把数学证明自动化的幻想吹灭了。在普林斯顿高级研究院时，爱因斯坦是每天必定和他散步聊天的，他还为广义相对论提供了一组有趣的解。
Godel成名的工作是证明了“不完备定理”：任何逻辑系统，只要不是简单得没有意思的，都存在用这系统证明不了的真命题。什么叫不是太简单呢？只要你能做自然数的算术运算，就不是太简单。
你看，人的逻辑思维是多么的有限啊，连有关自然数的真命题人都不可能全部证明出来，还凭什么要求证明神的存在？凭什么把科学建立在可证伪的基础上？凭什么嘲笑信教的人不懂逻辑？
Godel另外一个结果他生前没有发表，是记录在笔记里的。他从3条定义和5条公理出发，用严格的逻辑推理证明了上帝的存在。经其他逻辑学家们研究，推理过程是严密的。这5条公理不比欧几里德的几何公理深奥。Godel的推理还能证明上帝是唯一的。
这不一切都解决了？人的逻辑是有缺陷的。上帝的逻辑是完美的，而且证明了自己的存在和唯一，并且通过Godel大牛传给了世人。
最后说明，我自己是不可知论者，关于Godel可以查维基，他对上帝的证明查“Godel's Ontological Proof”。
|
