位置:成果数据库 > 期刊 > 期刊详情页
无尽的对角线
  • 时间:0
  • 分类:O157.2[理学—数学;理学—基础数学]
  • 作者机构:[1]北京大学哲学系、外国哲学研究所
  • 相关基金:基金项目:本文得到教育部人文社会科学重点研究基地重大项目“基于心灵与认知观的逻辑与数学哲学研究”(项目批准号:12JJD720011)及国家社科项目“分析哲学若干基本理论问题新探”(项目号:12AZD072)资助,特此致谢.
作者: 邢滔滔[1]
中文摘要:

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

英文摘要:

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.

同期刊论文项目
同项目期刊论文