哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。某种意义上,悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹:“上帝是存在的,因为数学无疑是相容的;魔鬼也是存在的,因为我们不能证明这种相容性。”
[爱心]我的理解,就是任何系统,都是无法完全自证的,必须有一个前提,必须有一个假说,来保证公理系统的起点,逻辑的起点。所以,真理是存在的,无法被理性完全来证实。[爱心]起点以外,都可以通过理性证实。
这其实是一个完全的自性存在证明的问题,任何证明,都有一个逻辑起点,靠假说,靠前提,靠一个暂定的起点,开始论证。起点之前,是任何一个系统无法涉及的,所以也是学到到活到老的哲学依据,也是人类认识不断深化,逻辑更深入哲学依据。[爱心]刚开始都是建立在信心基础上的,因信称义,就是这个意思。逻辑起点,也是个人理性界限的界定,否则,没有界限,就没有自性,就会迷茫。
思维,都是现在别人肩膀上的进一步思考。那个起点,必须依靠别人,外界事物或更大的客观存在来支撑。