无尽的对角线  

The Endless Diagonal

作　　者：邢滔滔[1,2] 

机构地区：[1]北京大学哲学系 [2]北京大学外国哲学研究所

出　　处：《科学文化评论》2014年第3期5-20,共16页Science & Culture Review

基　　金：教育部人文社会科学重点研究基地重大项目"基于心灵与认知观的逻辑与数学哲学研究"(项目批准号:12JJD720011);国家社科项目"分析哲学若干基本理论问题新探"(项目号:12AZD072)资助

摘　　要：本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义。文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索。By use of the diagonal method we try to present some significant results in the history of mathematical logic, emphasizing on the one hand the motivations and intuitive ideas behind these results, and, on the other, the important role played by the diagonal method in generating intuitions and ideas in mathematical logic. The technical details are mostly neglected, and the intuitive ideas highlighted. We hope this can serve as an introduction to these renowned results for the general reader.

关 键 词：对角线方法 康托尔定理 罗素悖论 塔斯基定理 哥德尔定理 

分 类 号：O157.2[理学—数学]