真正的科学是承认自己的不足,公理亦如是。以下内容摘自我的文章:
回答: 当然不是我说了算,也不是你他说了算,有一套公理说了算, 由 milulu 于 2023-12-02 13:14
德国数学家哥德尔的“哥德尔不完全性定理”(也译作“不完备性定理”—— 任何一个足够强的一致公设系统,必定是不完备的;任何一个足够强的一致公设系统,必无法证明本身的一致性。这意味着无矛盾和完备不能同时得到满足。)指出:命题有真值为真和含义为真的区别,意思是真和可证是两个概念。因为,完备与无矛盾如果要同时满足,系统需要证明自身为真,这意味着指者与目标一定是一个全体,但全体不能对全体自身发生确认行为。不能发生确认行为,则无法证明系统为真。要证明系统为真,必须有确认行为,则系统必须从自身“分离”成为目标,但如此一来,又形成了“系统不是系统(A不是A)”的结论而违反了同一律。
最后我们只能承认:任何一个系统的真理性都依赖于其它系统的真理性而不存在独立的真理。因此,如果我们要证明某数学理论的相容性或完备性(这两者被视为数学真理性的要求),就必须依靠该数学理论以外的论据,也就是说需要更大的或者是更多的系统来说明该理论本身是真的,但在此之前,我们必须先证明那些更大更多的系统是真的,这就需要一个更更大或更更多的系统……
最后只能得出“可证的一定是真,但真却不一定可证”(笔者的解读是:真值必须他证,但他证只能证明“值”而不能证明“真”)的结论,揭示了数学自身存在内在的缺陷。这些缺陷被数学自身所证明,从而宣告了形式技术上彻底解决悖论问题的不可能,无情打破了人类认为通过理性就能够“我们必须知道,我们将会知道”真理的迷信,老老实实承认了“没有万能的公理能证明真值为真的问题”,即任何全集都是相对的、不完备的。
这个结论不仅是数学上的结论,也是对人类所有语言形式的结论,更是对所有确认性思维的结论:任何“是”判断,一定是“以偏概全”。这意味着我们永远不可能完备一个大一统的宇宙模式,最终就意味着不存在绝对真理。又或者换一种说法:绝对真理就是最大的悖论。
内容来自网友分享,若违规或者侵犯您的权益,请联系我们
所有跟帖: ( 主贴楼主有权删除不文明回复,拉黑不受欢迎的用户 )
楼主前期社区热帖:
>>>>查看更多楼主社区动态...