※ 引述《PikaCracker (成功湖之狼)》之铭言:
: 小弟刚刚在阅读赛门辛的FLT纪录
: 看到哥德尔不完备定理
: 好像是一个不仅止于数学或哲学的东西
: 也粉碎了希尔伯特逻辑的野心
: 但小弟还是看不太懂 有咪有大大能解说一下鸭
: 有没有哥德尔不完备定理的八卦?
好像很多人扩大解释了哥德尔不完备定理
哥德尔不完备定理是
任何相容的形式系统 只要蕴涵皮亚诺算术公理 就可以在其中构造在体系中既不能
证明也不能否证的命题(即体系是不完备的)
任何相容的形式系统 只要蕴涵皮亚诺算术公理 它就不能用于证明它本身的相容性
(皮亚诺公理是定义出自然数的五个公理)
不过有些人忽略"皮亚诺算术公理" 把该定理推广到哲学的境界
以此当理由 否定了"讲清楚说明白"的可能
再搭配“测不准原理”就毁灭了许多西方科学家梦寐以求的目标
(e.g. 超级精准可以预测一切的机器)
某些人也因此开始相信东方哲学不完全是虎烂
相较于西方哲学想尽办法要把事情讲清楚说明白
东方哲学大多一开始就讲明 道理是说不明白的 说明白的就不是道理
e.g. 不是这个 不是那个 道可道 非常道
有些人也因此否定各种"完美"的可能
不存在完美预测未来的机器
不存在完美的政治制度
不存在完美的女友!!??
不过这还是扩大解释科学定理的结果
(这两个定理根本没有讲到这些 很多衍伸是没根据的脑补)
科学至上主义者不会因为这些定理 就停止追寻可以说明白的真理