刘未鹏|C++的罗浮宫

  图灵机杂思(rev#2) By 刘未鹏C++的罗浮宫(http://blog.youkuaiyun.com/pongba) C++ Template是图灵完备的（turing-complete，或者更确切的说，是图灵等价（turing-equivalent）），关于这一点是没什么悬念的，只是前几天有位朋友问到为什么说C++ Template是图灵完备的，为了找出当初的连接，于是又去

  康托尔、哥德尔、图灵——永恒的金色对角线(rev#2) By 刘未鹏C++的罗浮宫(http://blog.youkuaiyun.com/pongba) 我看到了它，却不敢相信它[1]。——康托尔 计算机是数学家一次失败思考的产物。——无名氏 哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世