论文部分内容阅读
<正> 1931年,有一位二十五岁的奥地利数理逻辑学家发表了一篇论文:《论〈数学原理〉及其相关系统的形式不可判定命题》。这篇长仅二十余页的论文,证明了“不完全性定理”,它以罗素·怀德海《数学原理》一类系统为鹄的,一箭射中了这种“公理化形式系统”的要害。
哥德尔对哲学的贡献
【摘 要】
：
<正> 1931年,有一位二十五岁的奥地利数理逻辑学家发表了一篇论文:《论〈数学原理〉及其相关系统的形式不可判定命题》。这篇长仅二十余页的论文,证明了“不完全性定理”,它以罗素·怀德海《数学原理》一类系统为鹄的,一箭射中了这种“公理化形式系统”的要害。
【出 处】
：
国外社会科学
【发表日期】
：
1979年5期
其他文献
主要讨论了电力电缆在发生单相对护套短路时,工频理想屏蔽系数的计算,给出了实际电缆回路工频屏蔽系数的估算方法,供电缆工程设计参考。
中国5G技术研发试验第三阶段测试工作已经完成,我国移动互联网流量消费继续高速增长。移动电话总数达到15.7亿户,智能手机出货量增长趋缓,证明中国移动智能设备的市场已经非
本文概述了情报工作和情报学诞生的社会背景和发展过程,分别从工业文明、信息文明和数字化时代等三个不同时期考察了情报工作和情报学诞生与发展的社会环境条件、所遇到的问
本文探讨了班级党支部建设的历史溯源,认为＂三湾改编＂确立的＂支部建在连上＂的基本原则在中国共产党、红军建设史上都具有里程碑式的意义。这个原则至今仍有深刻的现实意义。高校
自主动词是动作行为能由动作发出者做主、主观支配的动词，非自主动词则表示动作行为发出者不能自由支配的动作的动词。维吾尔语中动词是句子的结构中心，在语法上能支配其他词，受
随着网络科技的迅速发展,互联网已经覆盖了人们的生活,而无线网技术也在人们日常生活中飞快的更新换代。由最开始的1G发展到现在的5G,无线网技术只用了短短几十年,便成为了人
<正> 由于赞比亚Nchanga铜-钴选矿厂进行改造,故作了安装不同容积的普通浮选机与安装浮选柱的方案比较。目前选矿厂有容积1.3和2.8m~3的762个浮选槽,其矿石处理能力为2.65万
伴随目前民宿业的发展潮流,针对中国民宿业的发展诟病,在乡村旅游和民宿业的发展与建设过程中,民宿业不单单是乡村旅游中"住在乡村"的简单形式。充分了解乡土文化在民宿业中
足球技战术的发展，对裁判员判罚准确性提出了更高的要求。为了提高判罚准确性，着重探讨与分析了裁判员的跑位意识、提高跑位方法以及跑位应注意的问题。