哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。某种意义上,悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹:“上帝是存在的,因为数学无疑是相容的;魔鬼也是存在的,因为我们不能证明这种相容性。”
我的理解,就是任何系统,都是无法完全自证的,必须有一个前提,必须有一个假说,来保证公理系统的起点,逻辑的起点。所以,真理是存在的,无法被理性完全来证实。
哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。某种意义上,悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹:“上帝是存在的,因为数学无疑是相容的;魔鬼也是存在的,因为我们不能证明这种相容性。”
我的理解,就是任何系统,都是无法完全自证的,必须有一个前提,必须有一个假说,来保证公理系统的起点,逻辑的起点。所以,真理是存在的,无法被理性完全来证实。