嗬嗬,有理有理,是應該把康師傅、西施和酷哥們叫出來潤幾嗓子。 說笑話了,你說得對。看看以後能不能補充談康托爾的最大基數悖論和連續統假設,希爾伯特的(公裏化)計劃和哥德爾的破夢之擊---兩大不完備性定理(以及連續統不可證偽之證明,和庫恩的連續統不可證明之證明)。不過,限於水平,有些擔心寫得枯燥又不合走廊主題,而被亂棍打出(這也是為什麽我在貼子最後,加了幾個自認為也還有趣的習題的原因,為的是平衡氣氛。)