| 无尽的对角线 |
| |
| 引用本文： | 邢滔滔. 无尽的对角线[J]. 科学文化评论, 2014, 0(3): 5-20 |
| |
| 作者姓名： | 邢滔滔 |
| |
| 作者单位： | 北京大学哲学系;北京大学外国哲学研究所; |
| |
| 基金项目： | 教育部人文社会科学重点研究基地重大项目“基于心灵与认知观的逻辑与数学哲学研究”(项目批准号:12JJD720011);国家社科项目“分析哲学若干基本理论问题新探”(项目号:12AZD072)资助 |
| |
| 摘 要： | 本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义。文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索。
|
| 关 键 词： | 对角线方法 康托尔定理 罗素悖论 塔斯基定理 哥德尔定理 |
The Endless Diagonal |
| |
| XING Taotao. The Endless Diagonal[J]. , 2014, 0(3): 5-20 |
| |
| Authors: | XING Taotao |
| |
| Affiliation: | XING Taotao |
| |
| Abstract: | 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. |
| |
| Keywords: | The diagonal method Cantor＇s theorem Russell＇s paradoxes Tarski＇sindefinability theorem G6del＇s incompleteness theorems |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
