无尽的对角线

作者：邢滔滔

来源：科学文化评论, 2014, 11(03): 5-20.

• 对角线方法
• 康托尔定理
• 罗素悖论
• 塔斯基定理
• 哥德尔定理

本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义。文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索。

• 单位
  北京大学