什么是哥德尔数学定理?在16世纪左右,有一个人叫希尔伯特,他是当时数学界的大神,然后呢,他呢,为了证明数学的
严谨性呢,他就做了一套理论,叫做希尔伯特定理,这个定理去证明了数学具有完备完备性,可判断性,一致性,然后
呢,他就是在建作建成了这座科学数学大厦之后呢,他觉得这是后人只需要在上面添砖加瓦就可以了,但是呢,在大概80年之
后,有一个叫做哥德尔年轻人,
他在上博士生嗯,这个人呢,很神奇,就是不知道在座的读博士生有啥感受
然后呢,他向大家宣布说他已经完善了希尔伯特定理,然后呢,当时大家都说哇,你真厉害,你怎么做都可以展开讲讲,
然后呢,这位年轻人张嘴就是我证明了希尔伯特定理不具备完备性,这位一看就是过来砸场子的
正好希尔伯特当时还活着
可以说,这位就是砸场子,专家,他仅仅在20多岁的时候就已经完成了证明。希尔伯特定理不具备完备性
他说假设哥德尔定理无法证明希尔伯特猜想。那么,由此可以推断出有一个猜想是假的,由此就可以再次推断出将原数代入,
就可以再次得出这个定理是真的,但是原定理表明这个定理是假的,所以这个定理就只能是一个真定理,这就是一个定理的
不完备性
好嘛!希尔波特说,那我的完备性不对了,我的一致性总得是对的吧?
然后呢,哥德尔就在他发表了希尔伯特第一不完备定理的第二年,他发布了希尔伯特第二不完备定理,证明了希尔伯特定理不
具备一致性,这是他第二次砸场子
这个定理的证明方法跟第一希尔伯特不完备定理的证法很像
如果有兴趣,可以上网自己搜
我这里就不再细讲
好嘛,已经成功崩溃的希尔伯特。他说完备性和统一性一致性都不是不对的,那么它的可判定性总得是对的吧。很遗憾的是,
在16世纪吧,大概一个叫做图灵,就是上小学的时候计算机课上面学过了那位,根据图灵机,成功的再次证明了希尔伯特的
可判定性是不对的
而这一切都成功的将希尔伯特完备定理给砸的一干二净
但是重点是希尔伯特这个人,他偏偏又很长寿
活了80多岁
所以这三条定理他应该都看到了
直接开心死
当然,如果你的数学学的不是太好的话
其实数学完备定理的崩溃,对你来说没啥大影响
因为你也接触不到
智商不够一切白搭
但是对于那些从小就是天才的数学家来说的就是灾难
不久前有应该有一位叫做梅柴的数学家有一位记者采访他说,关于这个哥德尔定理,也就是希尔伯特第一不完备,定理,
第二不完备定理和第三不完备定理的看法,然后呢,这个科学家说,他对此感到很伤心
这意味着,整一个数学题系统的崩溃
但是话说如果数学可以通过一个严谨的证明,通过一个推导师,两个推导师,三个推导师,然后无限的循环下去,那数学
就只剩下了严谨的枯燥的数学公式跟数学考试一样
只有拥有无限创造性,无限延续性不定因素,数学才是有趣的
我打个例子吧
如果你想证明哥德巴尔猜想是成立的,就可以这样用
假设假设现在正在读这篇文章的人很聪明,和现在正在读这篇文章的人很笨,同时
成立
因为现在正在读这个文章的读者很聪明,成立
所以现在正在读这篇文章的读者或哥德巴赫猜想必为真
所以现在正在读这篇文章的读者很聪明,或者是哥德巴赫猜想必有一个为真,
也至少有一个为真
又因为现在正在读这篇文章的读者很笨,也为真
所以前半句不成立
所以哥德巴赫猜想为真
证毕
然后什么是哥德尔数,就是万事万物都可以表达为数字
首先我们可以定义12个最基本的数学符号,比如非或如果那么存在等等等等,我们把它分配为一到12 xyz之类的字母的
哥德尔数,然后13,17后面的数就需要自取
这12个数字加上字母就基本就可以表达一切
比如皮亚诺算术公理,存在自然数零,存在自然数x,是自然数y的后继数,零不是任何自然数的后继数,对自然数x,y,
若x,y的后继数相等,则xy相等
它就可以用哥德尔数表达
那么如何表达呢?
首先,我们需要达成一个原命题
找出它的对应哥德尔数
然后再按照质数的序列来写出来,比如二三五七十一
把这五个符号的哥德尔数
放到它的指数位置再相乘
这样就可以求出这个命题的哥德尔数
这大概就是今天的内容