论文部分内容阅读
通过破连续统假设的基石即其中的基本定理与基本方法，得到主要结果：证伪“定理：ω1是基数”；康托定理的证伪；对角线法不可取；从正面几个角度几种方法来证明连续统[0，1]是可数的．得出关于连续统的一个新证明：2ω0＝ω0．用进制法证明2ω0可数；用一一对应法证明[0，1]实数区间的可数性．
关于连续统假设2ω0＝ω1的证伪凡数皆可数2ω0＝ω1的证明
【摘 要】
：
通过破连续统假设的基石即其中的基本定理与基本方法，得到主要结果：证伪“定理：ω1是基数”；康托定理的证伪；对角线法不可取；从正面几个角度几种方法来证明连续统[0，1]是可数的．得出
【机 构】
：
海宁市建设局,浙江华恒建筑设计有限公司
【出 处】
：
淮阴师范学院学报：自然科学版
【发表日期】
：
2014年1期
其他文献
以淮安市1995年与2006年的Landsat TM遥感影像为主要遥感数据源,采用单窗口算法反演得到研究区的地表温度.通过计算卫星亮温,地表比辐射率,大气投射率,大气平均作用温度来完
课堂教学文化是课堂教学过程中衍生的一种文化,它包含教学内容、教和学的方式、教学内容实施的过程等。这里仅谈的是独立于教学内容之外的课堂教学文化,它能让课堂更精彩,其
随着社会的不断的发展以及互联网和计算机技术快速进步。我们的生活以及工作都和网络联系得越来越紧密了。但是在使用计算机网络的同时,人们也认识到网络维护工作对于计算机
用户感知速率体现用户的平均速率,如果用户平均速率低,表明用户的速率低,用户感知必然不好。同时,也将影响APP感知的页面打开时延等指标。因此,优化和提升用户感知速率有重要
目前,计算机的使用量与过去相较明显增长,人们对计算机的性能、辅助功能也提出了更加严格的要求。计算机技术、网络技术主要以计算机软件技术作为发展的基础,要想提高计算机的性能,就必须确保计算机软件的安全性。计算机软件安全检测技术在推动计算机技术的发展上具有重要作用,该技术能够有效检测计算机软件的安全性,确保计算机处于安全状态。通过检测计算机软件的安全性,有利于使技术人员迅速明确计算机软件中存在的安全隐患
文章基于云计算和物联网平台,结合延安职业技术学院信息化建设的现状,改进了云计算环境下资源分配算法和区分服务模型研究,构建了基于云计算的异构数据模型和智慧校园应用模
近年来，集装箱船大型化趋势十分明显，洋山四期工程拟建设10万吨级以上超大型集装箱船泊位。为保障超大型集装箱船的通航安全，运用操纵模拟器模拟技术，对四期工程水域平面布置方案
阐述了利用FLASH CS、Flash媒体服务器FMS（Flash Media Server）研制开发船舶VHF（Very High Frequency）电台模拟器的必须性。结合VHF电台在海上遇险通信、日常通信及各种DSC（Digita
对某船用柴油机电控组合泵系统不同凸轮作用段及不同孔径喷油器进行了匹配性能试验.试验结果表明,合理选择凸轮作用段,可改善柴油机性能.凸轮初始位置位于14.6℃A时,柴油机油
互联网技术的发展已经渗透到了社会生活的各个方面,其中基于主题的互联网信息采集技术的发展,能够有效地提高税源信息的准确性。文章主要针对基于主题的互联网税源信息采集系