xkcd

英文频道 中文频道

XKCD中文站,一个关于浪漫、隐喻、数字、以及语言的线上漫画。

分配数字

分配数字
哥德尔应该就数学的哪些分支有最小的平均定理编号写一篇文章。 注释: 哥德尔不完备定理:在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说,第一条定理指出:任何自洽的形式系统,只要蕴涵皮亚诺算术公理,就可以在其中构造在体系中不能被证明的真命题,因此通过推理演绎不能得到所有真命题(即体系是不完备的)。 这是形式逻辑中的定理,容易被错误表述。有许多命题听起来很像是哥德尔不完备定理,但事实上并不是。具体实例见对哥德尔定理的误解。 把第一条定理的证明过程在体系内部形式化后,哥德尔证明了第二条定理。该定理指出:任何逻辑自洽的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明其本身的自洽性。 哥德尔不完备定理破坏了希尔伯特计划的哲学企图。大卫·希尔伯特提出,像实分析那样较为复杂的体系的兼容性,可以用较为简单的体系中的手段来证明。最终,全部数学的兼容性都可以归结为基本算术的兼容性。但哥德尔的第二条定理证明了基本算术的兼容性不能在自身内部证明,因此当然就不能用来证明比它更强的系统的兼容性了。 哥德尔编号:在形式数论中,哥德尔编号是对某些形式语言的每个符号和公式指派一个叫做哥德尔数(GN)的唯一的自然数的函数。这个概念是哥德尔为证明他的哥德尔不完备定理而引入的。

英文链接 原文链接