以下为百度知道的链接
http://baike.baidu.com/view/227841.htm
其中的一段文字
“ 哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。某种意义上,悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹:“上帝是存在的,因为数学无疑是相容的;魔鬼也是存在的,因为我们不能证明这种相容性。”
但是哥德尔不完全性定理的影响远远超出了数学的范围。它不仅使数学、逻辑学发生革命性的变化,引发了许多富有挑战性的问题,而且还涉及哲学、语言学和计算机科学,甚至宇宙学。2002年8月17日,著名宇宙学家霍金在北京举行的国际弦理论会议上发表了题为《哥德尔与M理论》的报告,认为建立一个单一的描述宇宙的大统一理论是不太可能的,这一推测也正是基于哥德尔不完全性定理。 ”
我对红色文字的简单应用
比如神是存在的 这一命题,显然他是真的却不可证,但不能从不可证推出这不是真理。
所以基督徒许多时候不用迎合别人的错误理性分析,而去做无谓的证明与争论
[此贴子已经被作者于2010-9-30 9:34:18编辑过]
|