摘要：昨晚翻看了那本《数学的源与流》，又看到了哥德尔的定理， 那令人禁不住大骂：”草，这都可以有！“的定理，现在的数学推理方法都是基于一系列公理，定义，用逻辑的方法进行演绎，所以保证了定理的真理性。20世纪的数学大师希尔伯特希望将每个数学分支都这样公理化。如果成功，数学岂不是完美了？这时候25岁的丹麦数学家，逻辑学家哥德尔跑了出来，写下了两个定理：1.任意包含自然数系的相容的形式体系F（希尔伯特的公理化体系），存在F中的不可证明命题S，即S和非S都不可证明，即非完全性。2.任意包含自然数系的相容形式体系F（希尔伯特的公理化体系），F的相容性不可能在F中得到证明。美国的逻辑学家Chursh后来又补充了 阅读全文

摘要：有的时候发现一个解不一定难，但是证明是最优解却有点困难。得多学点数学了，因为只知其然，不知其所以然的人很难到更高的地方，或许我这人就这德行了，不知道所以然就睡不着觉。说出来可能没人信，我想了一个问题快一个月了，还没思路，继续搞，嗯。哈哈，这就是思考的乐趣吗？周末学习点证明最优解，然后继续learn C。哈哈，我思考了那一个月的问题就是谷歌的那道面试题：Q:只给你二个鸡蛋，你能上100层楼，你想知道鸡蛋的硬度。鸡蛋可能很硬或很脆弱，如果鸡蛋从第m层掉下而没破裂，而从第m+1层掉下就破裂了，那么这个鸡蛋的硬度就是m。你需要找出这个m和在最坏情况下最少试验次数。(经典鸡蛋问题)我还没学到各种算法，比 阅读全文

摘要：转自http://www.matrix67.com/blog/archives/2671注。matrix67老人家没写发现算法的过程，只给出了算法。而本人又是那种非要理解分析过程才能消停的人，但是IQ有限，只能慢慢啃了。而且网上的智力题很多都是只有答案，没有分析的过程，这个比较郁闷。所以我就想把那么自己理解的列出来，供大家参考。转载请注明出处，不枉俺劳心劳神 ：）。2012-05-161. 给一个瞎子52张扑克牌，并告诉他里面恰好有10张牌是正面朝上的。要求这个瞎子把牌分成两堆，使得每堆牌里正面朝上的牌的张数一样多。瞎子应该怎么做？这个比较好玩，刚看到的时候就想，解肯定是某种固定的值，而且也注 阅读全文