【摘 要】
：
<正> 一、引论哥德尔(Godel)不完全定理是二十世纪数学意义最深远的和惊人的成果之一。它发表于1931年,破灭了希尔伯特(Hilbert)形式主义的规划,推进了数理逻辑的发展,然而,
论文部分内容阅读
<正> 一、引论哥德尔(Godel)不完全定理是二十世纪数学意义最深远的和惊人的成果之一。它发表于1931年,破灭了希尔伯特(Hilbert)形式主义的规划,推进了数理逻辑的发展,然而,即使到了今天,许多非逻辑学家对正确地评价哥德尔定理的意义,或理解它的基本内容,无疑还存在一些问题。这种认识的不足,部分的原因在于:基础问题和“正在工作着的”数学家无关的想法还缠住人不放。我们暂且不顾这些,然而由于大部分对不完全性定理的说明都集中在它的证明的悖论性质上,带来的后果是定理的意义被淹没在错综复杂的技巧之中
其他文献
摘要：混凝土泵车是将用于泵送混凝土的泵送机构和用于布料的臂架系统集成在汽车底盘上的专用车辆,具有工作效率高、浇筑质量好、机动灵活等优点。由于工作环境恶劣、维护难度
为了让比特币的使用更加便捷并提高比特币支付的安全性,借助存储安全和使用便捷的IC卡作为支付工具,设计了基于IC卡的比特币支付方式.通过使用主密钥间接加密使用口令和账户
<正>糖尿病周围神经病变(DPN)属中医"消渴病"、"痹证"、"痿证"范畴。是由于消渴病日久,肝肾不足,气血两虚,络脉瘀滞,筋脉失养所致。主要病机为肾虚血瘀,筋脉痹阻。主要临床特
本文以目前期货市场上的郑棉期货和棉花现货为研究对象,运用各种估计模型估计出棉花期、现货之间不同周期数据的实际最优套期保值比率,并基于风险最小化的原则对各模型的套期
我国的海岸带全长约18000km，约占全国陆地国土面积的13%，但这里却集中了全国70%以上的大城市、50%左右的人口和60%的国内生产总值，海岸带地区已经成为我国经济活力最为充沛的区
主要阐述了结构中震弹性设计和中震不屈服设计的基本概念和SATWE软件的实现过程。通过工程实例比较小震弹性和中震弹性的计算结果,对比表明很多构件在中震作用下内力会有较大
<正>功能性便秘是指非器质性的各种原因导致的排便节律、排便习惯及粪便的性状改变,即排便次数减少,或排便困难和粪干燥硬结或黏滞难排。中医治疗便秘有一定的优势,综述如下
对《空间网格结构技术规程》的编制情况进行了系统的介绍。规程编制的主要工作与内容是将原《网架结构设计与施工规程》JGJ 7-91与《网壳结构技术规程》JGJ 61-2003从技术上
将《大衍历》的日、月食预报方法编成计算程序，以其分别计算了刻历留有记录的书经日食、《诗经》日食、《春秋》日食和《大衍历》使用期间的全部日、月食，并与现代计算结果进行
美国“以过程为核心”的教师评价体系是一种比较完善的教师评价体系。文章从过程性教师评价体系的组成入手,一方面介绍了美国“以过程为核心”的教师评价体系的评价过程、评