sub(n,n,17)

sub(n,n,17)!!!

什么是哥德尔数学定理?在16世纪左右,有一个人叫希尔伯特,他是当时数学界的大神,然后呢,他呢,为了证明数学的

严谨性呢,他就做了一套理论,叫做希尔伯特定理,这个定理去证明了数学具有完备完备性,可判断性,一致性,然后

呢,他就是在建作建成了这座科学数学大厦之后呢,他觉得这是后人只需要在上面添砖加瓦就可以了,但是呢,在大概80年之

后,有一个叫做哥德尔年轻人,

他在上博士生嗯,这个人呢,很神奇,就是不知道在座的读博士生有啥感受

然后呢,他向大家宣布说他已经完善了希尔伯特定理,然后呢,当时大家都说哇,你真厉害,你怎么做都可以展开讲讲,

然后呢,这位年轻人张嘴就是我证明了希尔伯特定理不具备完备性,这位一看就是过来砸场子的

正好希尔伯特当时还活着

可以说,这位就是砸场子,专家,他仅仅在20多岁的时候就已经完成了证明。希尔伯特定理不具备完备性

他说假设哥德尔定理无法证明希尔伯特猜想。那么,由此可以推断出有一个猜想是假的,由此就可以再次推断出将原数代入,

就可以再次得出这个定理是真的,但是原定理表明这个定理是假的,所以这个定理就只能是一个真定理,这就是一个定理的

不完备性

好嘛!希尔波特说,那我的完备性不对了,我的一致性总得是对的吧?

然后呢,哥德尔就在他发表了希尔伯特第一不完备定理的第二年,他发布了希尔伯特第二不完备定理,证明了希尔伯特定理不

具备一致性,这是他第二次砸场子

这个定理的证明方法跟第一希尔伯特不完备定理的证法很像

如果有兴趣,可以上网自己搜

我这里就不再细讲

好嘛,已经成功崩溃的希尔伯特。他说完备性和统一性一致性都不是不对的,那么它的可判定性总得是对的吧。很遗憾的是,

在16世纪吧,大概一个叫做图灵,就是上小学的时候计算机课上面学过了那位,根据图灵机,成功的再次证明了希尔伯特的

可判定性是不对的

而这一切都成功的将希尔伯特完备定理给砸的一干二净

但是重点是希尔伯特这个人,他偏偏又很长寿

活了80多岁

所以这三条定理他应该都看到了

直接开心死

当然,如果你的数学学的不是太好的话

其实数学完备定理的崩溃,对你来说没啥大影响

因为你也接触不到

智商不够一切白搭

但是对于那些从小就是天才的数学家来说的就是灾难

不久前有应该有一位叫做梅柴的数学家有一位记者采访他说,关于这个哥德尔定理,也就是希尔伯特第一不完备,定理,

第二不完备定理和第三不完备定理的看法,然后呢,这个科学家说,他对此感到很伤心

这意味着,整一个数学题系统的崩溃

但是话说如果数学可以通过一个严谨的证明,通过一个推导师,两个推导师,三个推导师,然后无限的循环下去,那数学

就只剩下了严谨的枯燥的数学公式跟数学考试一样

只有拥有无限创造性,无限延续性不定因素,数学才是有趣的

我打个例子吧

如果你想证明哥德巴尔猜想是成立的,就可以这样用

假设假设现在正在读这篇文章的人很聪明,和现在正在读这篇文章的人很笨,同时

成立

因为现在正在读这个文章的读者很聪明,成立

所以现在正在读这篇文章的读者或哥德巴赫猜想必为真

所以现在正在读这篇文章的读者很聪明,或者是哥德巴赫猜想必有一个为真,

也至少有一个为真

又因为现在正在读这篇文章的读者很笨,也为真

所以前半句不成立

所以哥德巴赫猜想为真

证毕

然后什么是哥德尔数,就是万事万物都可以表达为数字

首先我们可以定义12个最基本的数学符号,比如非或如果那么存在等等等等,我们把它分配为一到12 xyz之类的字母的

哥德尔数,然后13,17后面的数就需要自取

这12个数字加上字母就基本就可以表达一切

比如皮亚诺算术公理,存在自然数零,存在自然数x,是自然数y的后继数,零不是任何自然数的后继数,对自然数x,y,

若x,y的后继数相等,则xy相等

它就可以用哥德尔数表达

那么如何表达呢?

首先,我们需要达成一个原命题

找出它的对应哥德尔数

然后再按照质数的序列来写出来,比如二三五七十一

把这五个符号的哥德尔数

放到它的指数位置再相乘

这样就可以求出这个命题的哥德尔数

这大概就是今天的内容