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）。
1707620138
1707620139
人们或许又要问了：究竟什么是所谓的“不可能定理”呢？
1707620140
1707620141
这项定理其实非常容易理解，至少在非纯粹数学的层面。比方说大家一起投票，不管是要选总统还是选班长。一共有三名候选人：A、B、C。为了保证整个投票过程及其结果尽可能地做到公平有效，大家都希望我们最终所选定的投票方式应该至少能同时满足以下四条最基本的民主要求：
1707620142
1707620143
第一，确定性：如果每个人相对于B都更加喜欢A，则A得票必然多于B。
1707620144
1707620145
第二，传递性：如果A得票多于B，B得票多于C，则A得票必然多于C。
1707620146
1707620147
第三，独立性：A与B的得票多寡顺序不会因为C参加或退出而有所变化。
1707620148
1707620149
第四，非独裁：不存在任何一个具备能力直接指定某候选人当选的独裁者。
1707620150
1707620151
以上这四条“最基本的民主要求”乍听起来简直就像是毫无意义的四句废话：如果连这四项都不能够满足，还空谈什么公平选举与自由民主？然而最棘手的何题在于：通过合理建立一套无懈可击的经济学模型，人们可以从逻辑学上证明这四项看似简单且不存在任何明显矛盾的“最基本的民主要求”不可能同时予以达成！总会出现至少一条要求不被满足！也就是说，任何人类可以想象出的政治过程都难以真正体现民众的意愿。而第一次提出并系统证明这一课题的就是肯尼斯·阿罗。
1707620152