【摘 要】
：
不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的
论文部分内容阅读
不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与
其他文献
目的探讨慢性前列腺炎护理体会。方法根据65例患者具体情况如得病原因、病情轻重、文化程度、品德修养、兴趣爱好、家庭环境、职业等，制定不同的护理方案，帮助患者克服心理障碍
高校院系网站在促进院系发展中发挥着重要的作用,它是集中展示一个院系的平台,深入了解一个院系的窗口,院系事务处理的有力工具,院系师生互动的有效媒介。文中详细阐述了院系
一只银光闪闪的镯子，一张乌黑发亮的桌子，这是我一直珍藏着的两件宝贝。镯子是我已辞世多年的祖母传给我的；桌子呢，是已至耄耋之年的祖父青年时代亲手打制的。论年龄，它们都要比我
购置新农机、检修旧有农机具……与往年相比，德惠市惠泽农业生产专业合作社今年的备春耕工作更加忙碌，因为在今年的春耕中，这个合作社将对德惠市朱城子镇干沟村的600公顷土地实施保护性耕作。作为全市农业重大推广技术之一，德惠今年将对两万公顷耕地进行保护性耕作。 “保护性耕作既是一项保持农业可持续发展的战略措施，又是对传统农业耕作制度的一次重大变革。”市农委相关负责人介绍，长期以来，德惠采用以机械灭茬为主
为研究某款SUV以(12~15)km/h速度行驶搓衣板路面时左后车门抖动问题,通过工作载荷试验与传递函数仿真相结合方法建立传递路径分析(TPA)模型。基于复刚度法求解底盘与车身间的
不久前,平陆县纪委先后将30名市直单位派驻平陆工作不力的第一书记请到机关,并对其进行了重点约谈。还对全县63个单位的“一把手”、11个乡镇的党委书记、20个村的第一书记进
单片机C语言程序设计是一门实践性很强的课程,大多用Keil软件编程。该文将理论教学和实践教学有机结合,并通过实践教学验证理论教学的正确性。在教学中,把Keil软件串口调试技
吉林省是农业大省，全国商品粮生产基地，粮食产量和商品粮生产量近年来呈逐年增长趋势，粮食的商品率、粮食人均占有量、粮食的调出量多年一直居于全国前列。
单片机实验课程是信息工程、电子工程、自动化等专业的一门必修课程,在完善学生专业实践技能上占有重要地位。Mu ltisim 10中的MCU模块可以对805x、PIC等系列的单片机及其外
异化翻译、将译作读作译作以及构建一种翻译文化,是韦努蒂翻译思想的三个重要方面。三者在翻译思想上相互关联、逐级提升、层层深入,对于我国翻译教育事业中如何培养学生、译