数学联邦政治世界观
超小超大

哥德尔不完备定理

哥德尔不完备定理只是说(数学哲学上),自然数的标准模型𝕹=(ℕ,0,+,·,<) 的所有真相不可能被任何特定的递归理论完全描述出来,包括PA和ZFC,或者什么更强的公理体系,只要公理体系是递归的,就总是有 𝕹 的真相不能被导出。

或者更直观的:过于强大的数学结构没办法用递归可枚举的方式得到。

一个平凡的非递归的理论TA={σ:𝕹╞ σ} ,叫做Truth Arithmetic,它就是一个完备理论,而且它包含了自然数的所有真相。但是,它不可能是递归的,也就是说 TA 不可能被公理化。我们也没办法完全了解 TA 到底包含了多少定理,因为“真”这个概念是高度不可定义的,它在很大程度上取决于你的哲学偏好。

但是,人们就应该因为这个而停止不前吗?当然不是!人们会因为一个人登不上珠穆朗玛峰而放弃登顶吗?哥德尔不完备定理中的“不可证”只是说相对于某个体系不可证,而不是完全不可证。比如,PA不能证明Con(PA) 、古德斯坦定理、增强的Ramsey定理,但这不代表他们完全不能被证明。事实上,只要我们承认 ε₀ 这个无穷序数的存在,那么上面三个命题都是可以被证明的[ZF]。

如果反过来,设想哥德尔不完备定理是错误的,那么数学会变成什么样子?情况会比想象的更糟糕,这意味着数学的真相可以完全用机械的步骤一一列举出来,人的作用将被机器完全取代,数学从此被纳入到计算机的子类中。这下真的是世界的尽头是计算机了。

正是因为理论是不完备的,我们才能声称数学是发展的,运动的,它存在于每一个数学工作者的数学实践中,并且将会得到永恒的发展。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

白梓萱与王静 连载中
白梓萱与王静
白梓萱54341348
“东关小学就像那五只小羊一样,快乐,幸福,美丽”“只有露西,并不像只小羊”“东关小学又是一个美丽团结的羊村”“善良团结”“有时候村里也可能混......
0.2万字6个月前
慢穿结束后,重回14岁带飞全家 连载中
慢穿结束后,重回14岁带飞全家
宋软烟
[无cp+重生+金手指+空间+马甲+大女主]苏明瑶上辈子实惨,一心搞教培,谁知不仅遇上双减,还遭闺蜜背叛。欠下百万债务,差点跳了楼。幸有家人......
2.2万字6个月前
你好,大妖 连载中
你好,大妖
这条小鱼在乎捏
我是一个半人半妖的妖怪我出生就被诅咒过所以我父母就不要我了丢给了我师傅白泽但是师傅说以后会一只大妖叫乘黄的非常爱我爱我?为什么也要丢下我?
0.8万字6个月前
路西法今天堕天了吗? 连载中
路西法今天堕天了吗?
加木男
上帝不容亵渎,拥护他的前行。
3.4万字5个月前
浮生若梦云生惊蛰 连载中
浮生若梦云生惊蛰
曷月予还归哉
整一个故事架构和时间跨度巨大,日更的话需要很久,请各位读者耐心轮回之内轮回之外,革新与守旧,天命与人力樱花当自由盛开,也当自由凋零,投身烈火......
141.9万字4个月前
水灵:叶罗丽之流水落花 连载中
水灵:叶罗丽之流水落花
謦冰熹
⭕️本篇小说和之前的X系列没有任何关联,也和其它“之”系列的没有任何关联!!!⭕️本篇小说纯属虚构如有雷同纯属巧合⭕️主要角色:女主(主角)......
7.0万字1个月前