呵呵,有理有理,是应该把康师傅、西施和酷哥们叫出来润几嗓子。
说笑话了,你说得对。看看以后能不能补充谈康托尔的最大基数悖论和连续统假设,希尔伯特的(公里化)计划和哥德尔的破梦之击---两大不完备性定理(以及连续统不可证伪之证明,和库恩的连续统不可证明之证明)。不过,限于水平,有些担心写得枯燥又不合走廊主题,而被乱棍打出(这也是为什么我在贴子最后,加了几个自认为也还有趣的习题的原因,为的是平衡气氛。)
说笑话了,你说得对。看看以后能不能补充谈康托尔的最大基数悖论和连续统假设,希尔伯特的(公里化)计划和哥德尔的破梦之击---两大不完备性定理(以及连续统不可证伪之证明,和库恩的连续统不可证明之证明)。不过,限于水平,有些担心写得枯燥又不合走廊主题,而被乱棍打出(这也是为什么我在贴子最后,加了几个自认为也还有趣的习题的原因,为的是平衡气氛。)