年1月14日，一颗伟大的心脏停止了跳动，世界著名的哲学家，逻辑学家和数学家哥德尔病逝。
There's A New Star Up In Heaven Tonight 音乐： Chris De Burgh - The Ultimate Collection (Deluxe Sound & Vision)
死亡证明说：病人死于人格紊乱造成的营养不良和食物不足，病逝时体重只有65磅。读者可能会感到疑惑作为普林斯顿高等研究院的终身教授，世界闻名的学者，而且又不是生活在60年代初的中国大陆或者是常年饥荒的非洲国家，一个人怎么会死于营养不良呢？是的，哥德尔的一生饱受精神疾病的折磨，数次有过自杀的倾向。晚年更是经常怀疑有人要谋杀他，会在他的饭菜里下毒。所以他不相信别人做的饭菜，只相信他夫人阿黛尔做的饭菜。
但是太太阿黛尔也病倒了，没有办法照顾他，因此他只能吃一些很简单的食物或者就是经常不吃饭，身体状况迅速恶化，最终死于营养不良。
伟大哲学家的凄凉晚景真是令人唏嘘不止！
库尔特.哥德尔1906年4月28日生于捷克的布尔诺。早年在维也纳大学攻读物理和数学，并参加维也纳学派哲学小组的活动，于1930年获得数学博士学位。1938年哥德尔来到美国普林斯顿高等研究院工作。他对逻辑学和数学基础等领域的研究做出了突出的贡献，哥德尔做出的工作到底有多么重要学术界自有公论，我们仅从爱因斯坦的一句话就可以大致判断出哥德尔是属于重量级的人物，爱因斯坦说：
他晚年之所以坚持每天都去办公室，是因为在路上可以和哥德尔聊天。
哥德尔的妻子阿黛尔比哥德尔大六岁，哥德尔21岁认识她的时候阿黛尔已婚并且在夜总会工作。他们的婚姻遭到哥德尔家人的集体反对但最后有情人还是终成眷属，婚后他们没有孩子。哥德尔的朋友们对于阿黛尔的评价是“说话尖酸，脾气暴躁”，但是朋友们的评价并没有妨碍他们之间的感情，哥德尔夫妇的感情一直很好。哥德尔一生最重要的工作是证明了哥德尔不完备性定理，要想了解不完备性定理的大致含义，我们先从希尔伯特雄心勃勃的计划说起。德国著名数学家希尔伯特出生于东普鲁士的哥尼斯堡，与伟大的哲学家康德是同乡。
希尔伯特是一位名副其实的数学大师，有人将他称为“数学界最后的一位全才”。
希尔伯特希望为整个数学寻求一个坚实的基础，他的目标是将整个数学体系严格公理化（就像欧几里得的平面几何学一样），然后运用元数学（证明数学的数学）来证明整个数学体系是建立在牢不可破的坚实的基础之上的。
首先，他计划要将所有数学形式化，让每一个数学陈述都能用符号表达出来，让每一个数学家都能用定义好的规则来处理这些已经变成符号的陈述。这样就可以使数学家们在思考任何数学问题的时候能够彻底摆脱自然语言的模糊性，取而代之的是毫无含糊之处的符号语言。然后，证明数学是完整的，也就是说所有为真的陈述都能够被证明，这被称之为数学的完备性；再来证明数学是一致的，也就是说不会推出自相矛盾的陈述，这被称为数学的一致性。完备性保证了我们能够证明所有的真理，只要是真的命题就可以被证明；一致性确保我们在不违背逻辑的前提下获得的结果是有意义的，不会出现某一个陈述，它既是真的又是假的。最后，期望可以找到一个算法，用此算法可以机械化地判定数学陈述的对错，这被称为数学的可判定性。一致性保证了自相矛盾的情况不会出现。「在保证数学一致性这个前提之下，如果又有了数学的完备性，也就是说任何一个数学命题都可以被证明或者被证伪」。这其实就是说，对于任意一个数学猜想，不管它有多难，只要假以时日，通过一代又一代人的努力，总是可以知道这个猜想对不对，并且证明或证伪它。换句话说，在数学中，通过逻辑，我们必定能够知道我们想要知道的东西，这只不过是个时间问题。希尔伯特提出，先计划在基础的数学系统中进行这样的形式化，然后再将其推广到更广阔的数学系统中，最后实现整个计划。于是，整个计划便归结为在算术系统中进行这样的形式化，并且在算术系统的内部证明它的完备性、一致性和可判定性。算术系统可以说是非常基础的系统，我们做算术，对自然数做加法、乘法和数学归纳法，就都用到了这个系统。但我们平时只是凭直觉来理解这个系统，而数学家追求的是用逻辑的方法来定义它，因为只有这样做才会使他们觉得安心。这似乎不是一个十分困难的任务，因为算术系统并不是一个很复杂的系统。在希尔伯特提出这个雄心勃勃的计划以后，许多数学家都投入了对于这个问题的研究，其中就包括哥德尔。在完成自己的博士论文以后，哥德尔就着手研究更为一般的数学系统。1931年，他对算术系统的探索宣告胜利，然而他的这个胜利也就意味着希尔伯特计划的失败。哥德尔的结论后来被称为哥德尔不完备性定理。哥德尔不完备性定理包含两个：
也就是说，要是我们能在一个数学系统中做算术的话，那么要么这个系统是自相矛盾的，要么有那么一些结论，它们是真的，但是我们却无法证明。
哥德尔不完备性定理的证明过程十分复杂，但是其核心思想是运用了逻辑学里的“自指”的概念，说的通俗一点就是：「这个陈述它陈述了它自己」。自指是逻辑学里面很多悖论的根源，比如理发师悖论——在一个小镇内，只有一名理发师，他在理发店门外公布了这样一个原则：「只为不给自己理发的人理发」。那么，他自己的头发谁来理呢？要是他自己理的话，他就会自己理发了，那么根据他的原则，他不应该为自己理发；要是他不给自己理发的话，根据他的原则，他倒是应该给他自己理发了，逻辑似乎在这里失效了。这种逻辑上的混乱局面，背后就是罗素悖论：定义一个集合，它包含所有不包含自身的集合，那它是否包含自身？从上面的分析我们可以看到，一切问题在于“包含自身”这种自指的描述。然而这种“自指”的性质，在哥德尔的手中，却变成了完成证明的重要工具。哥德尔构造了一个命题，这个命题说的正是它自身的不可证明性。如果用类似说谎者悖论的语言来描述的话，就可以表达为：“不存在对这个命题的形式证明。”
如果它是真的，那么它是不可证明的，说明系统是不完备的，因为存在一个真的而又不可证明的命题；
如果它是假的，那么就存在一个对它的证明，这样它应该是真的，这又说明了系统是自相矛盾的、不一致的。
这就是哥德尔第一不完备性定理：如果系统包含有自然数的话，「完备性和一致性不可得兼，这个系统要么自相矛盾，要么存在着既不能证明也不能证伪的命题」。然后，我们再来仅考虑一致性的问题：
假定系统是一致的，也就是说不会自相矛盾的，那么我们刚才提到的命题就是不可证明的。如果我们能在系统内部证明系统的一致性的话，我们就相当于在系统内部证明了那个命题，这与不可证明性是矛盾的。
也就是说，我们做了错误的假设：能在系统内部证明系统本身的一致性。由此，哥德尔证明了他的第二不完备性定理。如果我们假定数学是不会自相矛盾的话，我们就必须承认数学是不完备的，也就是说有那么一些数学命题是不可判定的：
自从哥德尔不完备性定理被证明以来，越来越多的数学问题被证明是不可判定的，这些不可判定的问题也越来越初等。乍看起来并非不可捉摸，但到头来却是不可判定的。这就给数学家们的心头上压了重重的一块大石头，谁也不能肯定自己辛辛苦苦做了十几年甚至几十年的题目，会不会突然有一天被证明是在现有的数学系统中是不可判定的。尽管这样，哥德尔不完备性定理仍然带给我们很多收益，至少我们知道了，有些东西我们是不可能知道的。哥德尔的不完备性定理，首先是针对“形式系统”的。只有在存在“形式系统”的条件下，才会产生“形式与内容”之间的不相容性的问题。理论物理系统作为一个标准的“形式系统”，其终极形式最终会导致“完备性”与“一致性”之间的不相容。所以，理论物理的理论的发展只能是渐进的、分层次的，这就是为什么爱因斯坦的相对论可以超越牛顿力学却无法取代牛顿力学的原因。同样超越爱因斯坦的相对论也不意味着取代爱因斯坦相对论，因为包含相对论理论的形式系统（黎曼几何）在相应的物理内容范围内是无矛盾的，相容的。真理与命题之间的矛盾，似乎是悖论的必然表现。这个表现的本质在于，它证明了“真理”本身的相对性，而“绝对真理”只能建立在体系完备的基础上，哥德尔定理证明了这是不可能的。因此，当人们追求“绝对真理”的时候，实际上就已经偏离了追求“真理”的正确道路，其结果必然就是：发现“绝对真理”就是绝对的悖论。因此，20世纪的哲学终于摆脱了“绝对真理”的庞杂体系，开始了自身的变革。虽然，哲学不再充当“科学的教父”，“意识形态的总司令”，但它自身却变的更加接近真理而远离了谬误。这也许就是20世纪的数学，对于哲学的最大贡献，而且对于整个人类文明的影响也是非常深远的！
萤火虫沙龙3 是萤火虫沙龙的成员之一，期望大家等待！
