|
我很奇怪，這裡兩派人士爭論得那麼熱烈，卻還沒看到有人引用Godel的工作。
Godel他可是數學家裡的大牛啊，一舉把希爾伯特建立牢固的數學邏輯基礎和把數學證明自動化的幻想吹滅了。在普林斯頓高級研究院時，愛因斯坦是每天必定和他散步聊天的，他還為廣義相對論提供了一組有趣的解。
Godel成名的工作是證明了“不完備定理”：任何邏輯系統，只要不是簡單得沒有意思的，都存在用這系統證明不了的真命題。什麼叫不是太簡單呢？只要你能做自然數的算術運算，就不是太簡單。
你看，人的邏輯思維是多麼的有限啊，連有關自然數的真命題人都不可能全部證明出來，還憑什麼要求證明神的存在？憑什麼把科學建立在可證偽的基礎上？憑什麼嘲笑信教的人不懂邏輯？
Godel另外一個結果他生前沒有發表，是記錄在筆記里的。他從3條定義和5條公理出發，用嚴格的邏輯推理證明了上帝的存在。經其他邏輯學家們研究，推理過程是嚴密的。這5條公理不比歐幾里德的幾何公理深奧。Godel的推理還能證明上帝是唯一的。
這不一切都解決了？人的邏輯是有缺陷的。上帝的邏輯是完美的，而且證明了自己的存在和唯一，並且通過Godel大牛傳給了世人。
最後說明，我自己是不可知論者，關於Godel可以查維基，他對上帝的證明查“Godel's Ontological Proof”。
|
