10.3969/j.issn.1672-6804.2014.03.001
无尽的对角线
本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义.文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索.
对角线方法、康托尔定理、罗素悖论、塔斯基定理、哥德尔定理
11
O17;O14
教育部人文社会科学重点研究基地重大项目“基于心灵与认知观的逻辑与数学哲学研究”12JJD720011;国家社科项目“分析哲学若干基本理论问题新探”项目号:12AZD072资助,特此致谢
2014-09-23(万方平台首次上网日期,不代表论文的发表时间)
共16页
5-20