没有绝对的确定性
也没有绝对的理性
端午节快到喇~~刚领到粽子的超模君开心得差点忘记了写稿。。。翻了一下模友的留言,发现哥德尔的呼声一波接一波
超模君这两天认真研究了一下,却意外发现了哥德尔与爱因斯坦之间非比寻常的关系。。。
先来说说模友提到的
哥德尔不完备性定理
。
在以往很长的历史时期内,人们始终存在这样的信念:
可以把任何一种数学理论(例如自然数理论、欧氏几何理论等)组织成一个完备的公理系统。从这些公理出发,按照一定的推理规则,可以无一遗漏地推出相应理论中的所有真命题,而且所推出的也仅仅是真命题,从而这一公理系统就是相容的,即无矛盾的。
20世纪20年代,在集合论(
传送门
)不断发展的基础上,大数学家
希尔伯特
(
传送门
)向全世界的数学家抛出了一个宏伟计划。他想通过建立一组公理体系,使一切数学命题原则上都可以由此经过有限步骤推定真伪,这叫做公理体系的
“完备性”
,并且这组公理体系保持
“独立性”
和
“无矛盾性”
。
独立性:即所有公理都是互相独立的,使公理系统尽可能的简洁
无矛盾性:即相容性,不能从公理系统导出矛盾
希尔伯特坚定的眼神流露出他的宏愿
希尔伯特的计划吸引了许多数学家为之努力工作,一些简单的问题先后被证明,这些成绩的取得更增强了希尔伯特及其追随者的信心。
1930年,希尔伯特在退休演讲时满怀信心地宣称
“我们必须知道,我们必将知道”
。
然而,就在一年后,希尔伯特的一个追随者、年轻的数学家
库尔特·哥德尔
(Kurt Godel,1906.4.28—1978.1.14)
打破了他的美梦。哥德尔本来想从正面证明希尔伯特问题,没想到却得到了相反的结论,这个结论就是著名的可以与爱因斯坦相对论比肩的哥德尔不完备性定理。
哥德尔的颜值似乎比希尔伯特高一点点
哥德尔不完备性定理包含两部分:
第一不完备性定理:对于任何一个包含了皮亚诺算术系统的可公理化(可递归)理论来说,如果这个理论是一致的,那么一定存在一个能够在这个理论中被构造出来的命题,这个命题在这个理论中不可证。
第二不完备性定理:对于任何一个包含了皮亚诺算术系统的可公理化(可递归)理论来说,如果这个理论是一致的,那么“该理论是一致的”这个命题在该理论中不可证。
模友:超模君你讲得很精彩,可我们愣是没听明白,你能不能……
别急别急,其实哥德尔不完备性定理说白了就两句:
① 任何一个允许定义自然数的体系必定是不完全的,它包含了既不能证明为真也不能证明为假的命题。
② 任何相容的形式体系不能用于证明它本身的相容性。
当希尔伯特得知哥德尔不完备性定理后气得说不出话,因为这意味着他的计划是不可实行的。
但作为一名追求真理的数学家,希尔伯特仔细读完哥德尔的证明论文后,却不得不承认哥德尔是正确的,随后开始修改自己的计划。
而哥德尔不完全性定理摧毁了数学家两千年来的信念。他告诉我们,
真
与
可证
是两个概念。
可证的一定是真的,但真的不一定可证。
哥德尔不完备性定理一出,整个数学界、甚至科学界都为之一振,它被誉为
“
数学和逻辑发展史中的里程碑”
。
因为这个发现,哥德尔被《时代周刊》评选为
二十世纪最杰出数学家的第一位
。同时,哥德尔被看作是
自亚里士多德以来人类最伟大的逻辑学家
。
2002年8月17日,著名宇宙学家
霍金
在北京举行的国际弦理论会议上发表了题为
《哥德尔与M理论》
的报告,认为建立一个单一的描述宇宙的大统一理论是不太可能的,这一推测也正是基于哥德尔不完备性定理。
事实上,哥德尔在数学圈子的地位,相当于爱因斯坦在物理圈子的地位,两人都是学术之神。
但在中国,哥德尔的声誉远不及爱因斯坦显赫。因为他的在数学逻辑领域的成就并非常人容易理解的,加之
性格内向孤僻,不喜欢参加公共活动,又不喜欢谈论自己或受到注目
。
1953年哈佛大学授予他荣誉博士学位,他没有出席。1955年爱因斯坦去世后,哥德尔更加深居简出,主要通过电话与外界联系。1975年他获得美国“国家科学奖”,却拒绝去白宫见福特总统。
虽然哥德尔称得上是数学界的爱因斯坦,可是呀…小时候的哥德尔只是个
“小学渣”
。
1906年4月28日,哥德尔生于捷克的布尔诺
(但父母都是德国人)
。小时候的哥德尔跟普通小孩一样,成绩并没有很突出。
目前发现最早的哥德尔的文字记录(小学数学练习本)
之后,哥德尔跟随父母重返德国的老家,在家乡上了四年国民学校和八年德国国立中学。1924年中学毕业后,他进入维也纳大学攻读物理。
1926年,哥德尔偶然间听了菲利普-富特文格勒的数学课后,被数学的理性和周密性深深吸引了,
转而攻读数学
。1930年获得数学博士学位。
(有才又任性,随随便便就转专业了)
21岁浑身散发荷尔蒙气息的哥德尔选择爱上了大他六岁的阿黛尔,而当时的阿黛尔已婚并且在夜总会工作。就这样一场
婚外恋+姐弟恋
自然也遭到哥德尔家人的集体反对。
在两人的不断努力下,在1938年,哥德尔同阿黛尔结婚
(应了句老话“有情人终成眷属”)
。婚后两人感情很好,像他这么内向的人,却经常在外人面前秀恩爱。
哥德尔与太太阿黛尔