论文部分内容阅读
对角化原则在数理逻辑与集合论中有广泛的应用．作为一项重的证明方法，它不仅在阐明悖论、证明Cantor定理时提供了形式化手段，而且为哥德尔不完全性定理证明中的关键——自指代命题的构造贡献了重的思想基础．通过若干实例分析，本文介绍了对角化原则在处理“无限对象”时的特殊威力．
《数理逻辑和集合论》中的对角化原则
【摘 要】
：
对角化原则在数理逻辑与集合论中有广泛的应用．作为一项重的证明方法，它不仅在阐明悖论、证明Cantor定理时提供了形式化手段，而且为哥德尔不完全性定理证明中的关键——自指代命
【机 构】
：
北京航空航天大学数学与系统科学学院
【出 处】
：
大学数学
【发表日期】
：
2017年1期
【基金项目】
：
国家自然科学基金（11271040）,高等学校大学数学教学研究与发展中心项目：翻转、互动、研究型课堂教学模式的探索与实践,高等数学课堂教学中培养学生创新思维、创新能力的研究与实践,北航凡舟教学团队建设、重大教改
其他文献
本文从新疆畜禽养殖生产环境保护的总体思路、目标任务和基本原则；抓好畜禽养殖生产关键环节的环保工作；建立健全畜禽养殖生产环境保护法律法规；加大扶持力度；加强畜禽养殖生产环
先天性巨结肠又称无神经节细胞症，是儿童常见的一种先天性消化道发育畸形。临床表现为出生后胎粪排出延迟或无胎粪排出，顽固性进行性便秘加重，严重腹胀等低位肠梗阻症状。通常男
大沙鼠主要分布在牧草相对茂盛的固定和半固定沙丘的中、下部,避开季节河流和开阔地。分布区缩小时向牧草相对茂盛、景观似盆地的区域收缩。大沙鼠有因食物原因而短距离迁移
近年来，我区奶业发展呈现波浪起伏的上升发展态势，总体来看，奶牛数量和质量不断提高，液态乳生产和固态乳制品企业的数量、生产规规模和能力逐年扩大，2008年，全区能繁母牛存栏达到26
随着气温回升，北疆受雪灾影响的地区不仅饲草缺乏，还将面临融雪型洪水高发期，目前自治区畜牧厅已跨区调运14.4万t饲草料，同时积极部署应对融雪型洪水灾害。
目的探讨急性阑尾炎的发病机制、诊断要点及手术治疗的临床效果。方法选择我院近年来收治的急性阑尾炎患者67例，对其临床资料进行回顾性总结分析。结果本组病例痊愈66例，占98．5％；1
目前，我国驻寒区部队进行野外作战训练，冰天雪地便是他们最真实的训练环境。这些地区官兵慢性病发病率处于居高不下的状况，尤其是驻扎分散的基层官兵，慢性病发作往往来不及去医院
随着人们膳食结构的改变，生活水平的提高，儿童及青少年2型糖尿病的发病率逐年上升。联合国世界糖尿病日2008年宣传的主题是关注儿童青少年糖尿病，足以证明国际糖尿病的联盟组织
目的为了促进新生儿缺氧缺血性脑病的恢复，减少后遗症脑瘫的发生，提高其生存质量。方法将2006年6月至2007年6月，在本院NICU住院的HIE患儿40例作为对照组（非干预组）；将2007年7月至20