论文部分内容阅读
本文尝试以简单的对角线直观，连贯起数理逻辑史上的几个重大结果，一方面介绍其背后的动机、思想，另一方面强调对角线方法的意义。文章重思想，不重技术，或许可为从思想方面理解这些结果提供一条线索。
无尽的对角线
【摘 要】
：
本文尝试以简单的对角线直观，连贯起数理逻辑史上的几个重大结果，一方面介绍其背后的动机、思想，另一方面强调对角线方法的意义。文章重思想，不重技术，或许可为从思想方面理解这些
【机 构】
：
北京大学哲学系、外国哲学研究所
【出 处】
：
科学文化评论
【发表日期】
：
2014年3期
【基金项目】
：
教育部人文社会科学重点研究基地重大项目“基于心灵与认知观的逻辑与数学哲学研究”(项目批准号:12JJD720011);国家社科项目“分析哲学若干基本理论问题新探”(项目号:12AZD072)资助
其他文献
进入20世纪以后,随着社会的快速发展,各国兴起了建设大跨度桥梁的热潮。而在大跨度桥梁的设计和建设过程中,风荷载是需要考虑的重要因素,对风荷载进行准确计算对于大桥的结构
译者按:本文选自王浩最后一本著作A Logical Journey--From Godel to Philosophy(Cambridge:The MIT Press,1996)的引言部分,有删节,题目为译者所加. ……
为了指导河北省承德市溧平县国光苹果栽植,以2 a 生国光苹果一级苗、2 a 生国光苹果二级苗和3 e 生国光苹果苗为试材,研究了不同苗龄和等级对苗木成活率及生长情况的影响.结
在科技日益发展的今天，人们对科学的关注度和感兴趣度较之以往有了很大的提高。虽然电视科教节目有着巨大的受众需求，但其目前的传播现状却不容乐观，其竞争力呈逐年下降趋势。本
在调控一体化运行模式下，监控五防一体化系统实际运行中，在防误全面性和强制性方面存在不完善的问题。文章介绍了一种在变电站现有微机防误系统基础上构建的智能防误系统，不仅实
基于人性化设计理念在城市道路设计中的重要性,从无障碍设计、道路景观线形、横断面、生活性街道等角度,阐述了人性化设计理念在道路设计中的应用,为我国城市道路设计提供了
发动机性能计算在航空发动机研究领域起着重要的指导作用，无论基础理论研究，还是在型号设计、制造、试验和使用过程中，都是一项极为重要的技术。是发动机参数选择与优化、控制规
为了进一步改善和提高饲料学课程的教学效果,在结合多年教学经验的基础上,构建了一套饲料学参与式教学模式体系。本文通过分析饲料学课程性质与教学现状,明确了参与式教学模
针对目前石油企业经理绩效评价存在的问题,在对石油企业经理人员进行职务分析的基础上,从生产经营总绩效、时间管理成效、团队管理成效及工作关系处理成效等方面设定考核指标
卡尔曼滤波作为经典的信号处理算法,已经得到了广泛的应用。本文结合对经典卡尔曼滤波算法的理解,在充分调研资料的基础上对卡尔曼滤波算法的背景、算法的过程与算法原理以及