1707620088
二十年后，希尔伯特亲手推动了历史上著名的“希尔伯特计划”。他旨在将整个宇宙的所有客观规律一网打尽。从恐龙灭绝到女人生孩子，数学家期待任何事物都可以通过基于简单公理的无矛盾推演，最终达成完美的和谐统一。
1707620089
1707620090
然而，最美妙的梦总是惊醒得最快。计划正式推出仅三年之后，即1931年，一位初出茅庐的奥地利数学博士就以一篇无懈可击的论文彻底摧毁了野心勃勃的“希尔伯特计划”。这名青年就是人类历史上最富有影响力的逻辑学家——库尔特·哥德尔（Kurt Gödel）。
1707620091
1707620092
1906年4月28日，哥德尔出生于奥匈帝国摩拉维亚州（Moravia）首府布尔诺（Brno）（今属捷克境内）。由于性格内向，不善与人交流，哥德尔从小就选择了极端封闭而抽象的数学世界作为心灵的隐居所。18岁时，他跟随兄长鲁道夫·哥德尔（Rudolf Gödel）入读维也纳大学，主修数学哲学以及理论物理。1929年底，年仅23岁的库尔特·哥德尔就凭借一篇追随“希尔伯特计划”的优秀学术论文《逻辑谓语动词之演算公理的完备性》（Über die Vollständigkeit des Logikkalküls）获得了维也纳大学数学博士学位。
1707620093
1707620094
然而追随“希尔伯特计划”的同时，哥德尔却越发感受到纯粹的理性或许不可能实现。于是他转换了数学家一贯的乐观情绪，改用一种悲观却深具洞察力的批判性思路，走向了“希尔伯特计划”的反面。大约一年后，哥德尔冷冷地向全身心投入“希尔伯特计划”的数学世界宣布了自己的结论，发表了一篇堪称“毁灭性”的学术论文《数学原理及其相关系统中的形式不可判定之命题》（Über formal unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme）。在这篇经典论文中，哥德尔提出了震惊数学界的“不完备性定理”（Gödel’s Incompleteness Theorem）：
1707620095
1707620096
任何连续公理体系，只要其中包含初等数论之表达，则必然会存在着至少一个命题，不可以在这组公理体系内部经过有限次逻辑推导而证明。尤其是对连续推演之算术体系，体系内部一定含有至少一个算术表达为真，却永远不能在该体系中被有效证明。而同时，若该体系所有算术表达都可以被证明为真，则体系内部又不能够证明其连续性。即任何的公理体系不可能同时具备连续性和完备性。
1707620097
1707620098
如果一个公理系统是连续的，则该体系一定不完备；
1707620099
1707620100
（If the system is consistent, it cannot be complete）；
1707620101
1707620102
而完备的公理体系其连续性又不能够在该体系当中被予以有效证明。
1707620103
1707620104
（The consistency of the axioms cannot be proven within the system.）
1707620105
1707620106
这段话什么意思呢？翻译成普通人能理解的通俗语言大概是这样：一个有规律的体系，比如说浩瀚苍茫的宇宙，只要你用数字去计算和分析它，就一定有某些事物虽然真实存在，你却永远无法给出证明（特别注释：此“通俗解释”难免会引得部分专业数学家指摘，但是，考虑到纯粹数学的语言不可能用于推广哥德尔伟大的哲学思想，遂唯有勉强通俗之。另外，如果指责仅针对“只要你用数字去计算和分析它”这句话，请参考以下思路：根据黎曼假设——如果黎曼假设最终被证明成立的话，任何自然数的使用都应该被广义地看作涉及数论描述，因为自然数的存在模式是且仅是为了有规律地分布素数。切记：数学其实是种美学）！
1707620107
1707620108
这条结论可谓晴天霹雳！它意味着全世界的数学家过去十年都白忙了。因此哥德尔的这项数学发现刚刚问世之时，几乎所有顶尖数学家都试图寻找出其中错误。不过人们越是深入研究，就越是发现此人的论证天衣无缝。以至于当人类文明探出21世纪的窗口，重新回顾那一段历史的时候，都会无不感叹地摇一摇头：过去数十年当中，逻辑学竟不曾超越它向前再迈出哪怕一步！最重要的数学分支被哥德尔凭一己之力完成！
1707620109
1707620110
其实，这项成就最富有意义之处还不在于纯粹数学，而在于古典哲学。哥德尔的证明向渴望认识世界的人类打开了一扇通往终极真理的大门：能被证明的事物一定是正确的，但是正确的事物却并不一定能被证明。真实性与可证明性完全就是两码事！
1707620111
1707620112
数千年以来，人类既执著于理性亦追求神性。哥德尔的不完备性定理为这两种追求带来的是一喜一忧。喜的是：人们终于可以放声欢呼上帝还没有被这帮傲慢自恃的科学家所杀死——科学家一直以来的说辞就是上帝和灵魂的存在并没有证据，即没有办法被证明。然而忧的是：人们或许永远也无法真正领悟自身和宇宙的深刻奥秘，至少不能通过理性。
1707620113
1707620114
于是乎，有人愿重新呼唤直觉。和普通人想象的不太一样，这一类提倡直觉与灵感的，往往还都是些大科学家与大哲学家；包括哥德尔以及爱因斯坦在内的一批绝对大师级人物，决定要回归于古老的宗教玄学启示。事实上，一代宗师伊曼纽尔·康德（Immanuel Kant），就在其《纯粹理性批判》一书当中提到过“人类在某些失去意识的情况下反而能感悟真理”。
1707620115
1707620116
有意思的是：哥德尔和爱因斯坦之所以愿意“带领”这支由科学家组成的宗教回归团体，其中最主要的原因就是他们都虔诚地信仰着宗教（不管具体哪种宗教）。爱因斯坦虽然是犹太人且声称自己愿意“皈依”佛教，但是其哲学观无论怎样去解读都有一股神秘学的味道。哥德尔虽无半点犹太血统，却经常被当作是犹太人；无论是他的生活圈子抑或是行为方式，都具备明显的希伯来特征。以至于因为害怕遭受纳粹迫害，流淌着雅利安人骨血的哥德尔，竟然于1939年初选择离开德国逃难，前往美国普林斯顿高等研究院会合自己那帮犹太好友。而在普林斯顿大学的数十年岁月里，哥德尔的社交活动依然仅限于几乎清一色的犹太面孔；待到这些身上承载着亚伯拉罕血脉的犹太裔数学家于20世纪六七十年代相继病逝以后，孤独的哥德尔甚至患上了相当严重的“迫害妄想症”：总感觉有“歹人”要在他的食物里下毒；任何食品必须经他妻子先尝上一口。当他的“保镖妻子”于1977年年底终因积劳成疾而住院，可怜的哥德尔即开始绝食。1978年1月14日下午，一代数学宗师终于将自己活活地饿死。据说这位身高将近一米八的逻辑学巨匠去世时体重还不足27公斤！
1707620117
1707620118
当然，哥德尔的极端偏执或许并非源自其古怪的思想和信仰，而恰恰源于超凡的理性——他对于任何事物都太较真了，太渴望获得确定而纯粹的知识，甚至包括食品安全性。然而颇具讽刺意味的是：这位扎根于可靠性，并将逻辑学发展到极致的思想巨人，一辈子最大的功绩竟然是通过理性方式证明了理性的不可靠！没准这就是真理侍者的天定命运！不过在哥德尔的抽象王国中，不完善的又何止是理性！几乎所有人类自以为完善的作品，无论是公理化体系还是所谓的自由市场经济，都无一例外地存在着许多足以致命的基本的系统性漏洞，尤其是美国人引以为豪的现代民主体制。
1707620119
1707620120
1707620121
1707620122
1707620123
失落的奥义：揭开人类世界核心机密的真相 [:1707617940]
1707620124
失落的奥义：揭开人类世界核心机密的真相 4．“不可能”和“测不准”
1707620125
1707620126
1947年，哥德尔申请加入美国国籍。在正式办理入籍手续前的一个星期，酷爱钻研的哥德尔竟然捧起了《美国宪法》——他希望可以通过逻辑理性解读民主政治。然而，意想不到的事情发生了：哥德尔以其深邃的逻辑洞察力发现了《美国宪法》当中的一个程序性漏洞，而这个漏洞的存在有可能最终导致独裁状况的发生！
1707620127
1707620128
习惯使用惊人的学术观点“惊吓”整个学术界的哥德尔对此不依不饶。他坚持要向政治学者们“讨个说法”。而此时距离他办理入籍手续仅仅剩下几天的时间了。哥德尔的好朋友爱因斯坦和奥斯卡·摩根施坦（Oskar Morgenstern）——曾与计算机之父约翰·冯诺依曼（John von Neumann）合著《博弈论与经济行为》（Theory of Games & Economic Behavior）的那位普林斯顿大学经济学教授——害怕哥德尔大闹美国移民局，于是在他正式办理入籍手续的那个周末专程陪同其前往。
1707620129
1707620130
1707620131
1707620132
1707620133
⊙经济学家肯尼斯·阿罗与美国总统小布什（2004年美国国家科学奖颁奖）
1707620134
1707620135
据说爱因斯坦为了分散这位偏执狂的注意力，一路上不停地给哥德尔讲述他最喜爱的童话故事——白雪公主和七个小矮人。然而最终还是事与愿违了。他们刚迈进州移民局，主管官员就以冷战时期美国特有的傲慢口吻问道：你来自一个独裁国家吧？于是乎，这位已然发现“美国也不配叫做民主国家”的数学天才爆发了。哥德尔用一连串就连爱因斯坦和摩根施坦都没听明白的高等数学公式在这位可怜的移民官面前证明了美国的“独裁属性”。而紧接着就是经常出现在日本漫画里的趣味场景：爱因斯坦和摩根施坦两个人甚是尴尬地站在旁边擦汗。当然了，移民局最终还是没有敢于拒绝这份痛击美国政治制度的入籍申请——哥德尔的学术影响力实在太大了！
1707620136
1707620137
不过这段逸闻倒是为后人留下了思考的空间：哥德尔昔日所发现的程序性漏洞究竟是什么？由于即使是爱因斯坦和摩根施坦这样的大师级人物都没能真正搞懂这位大佬的逻辑表达，因此今天的我们实在是找不出任何有意义的历史信息。但是人们知道另外一件事：一位名叫肯尼斯·阿罗（Kenneth Joseph Arrow）的斯坦福大学数学教师于1951年出版了一本名为《社会选择与个人行为》（Social Choice and Individual Values）的政治哲学作品，通过严谨的数学警醒了文明世界：无论多么美妙的民主过程都有可能产生一点也不民主的结果！这项证明就是20世纪最伟大的政治成就“不可能定理”（Impossibility Theorem）。