论分析性--来自哥德尔的启示

来源 :2014年南开数理逻辑研讨会 | 被引量 : 0次 | 上传用户:ken112233
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  我们将历史性地考察从康德到蒯因的分析性概念,指出它如何被有意无意地严重误解。而通过对哥德尔手稿的仔细考察,指明了一种与数学基础研究的实践更为一致的分析性概念。
其他文献
本文是对唐代贞观内府书画鉴藏的系统梳理,主要参考唐张彦远《法书要录》、《历代名画记》二书,以及相关著作三十多种,涉及书画收藏、作伪、押署、印鉴、装裱、编目即古代内
利用密度泛函理论M062X/6-31++G(d,p)方法,对27种具有不同取代基(甲基、羟甲基和甲氧基)的木质素三聚体模型化合物的Cα-O和Cβ-O键均裂解离能进行了理论计算,探究了不同位置
本文重点研究了多粒子对高斯波束的相干散射。由相关领域研究现状及存在问题可见,平面波入射条件下多粒子的相干散射研究比较清楚,高斯波束入射对单体粒子的散射问题也已有大