逻辑及数学演算中的不动项与不可判定命题(Ⅰ) 被引量：2

1

作者 张金成 《智能系统学报》 CSCD 北大核心 2014年第4期499-510,共12页

不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。把不动点推广到逻辑思维领域,将证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机... 不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。把不动点推广到逻辑思维领域,将证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与不可判定,并不影响正、反集合的递归性与系统的完全性,因此,Gdel不完全定理的证明不成立,Cantor对角线方法证明是错误的,Turing停机问题证明也是错误的。"系统N能否完全"?实数是否可数?Turing停机问题是否可判定?都必须重新思考。 展开更多

关键词 正项 反项 不动项 悖论 U外不动项 不可判定命题 不完全定理 对角线方法 不可数 停机问题

下载PDF 职称材料

两段式博后筛停机问题分析 被引量：1

2

作者 韩喜俊 《水泥工程》 CAS 2018年第3期74-75,共2页

1设备使用概况在我公司的一个回转窑干法解毒铬渣项目中,用到了博后筛这种设备,作用是筛选还原煤和燃烧煤,将颗粒符合筛分粒度的煤直接运到还原煤仓,将颗粒较大的煤转运到煤粉制备车间用作燃烧煤。此设备的结构图如图1所示。可见,此博... 1设备使用概况在我公司的一个回转窑干法解毒铬渣项目中,用到了博后筛这种设备,作用是筛选还原煤和燃烧煤,将颗粒符合筛分粒度的煤直接运到还原煤仓,将颗粒较大的煤转运到煤粉制备车间用作燃烧煤。此设备的结构图如图1所示。可见,此博后筛为两段式结构。它采用筛面振动而筛箱不振动的结构方式。筛面的振动靠前后共四台交流异步电动机来带动。电动机分成两组,分组启停,电控图见图2,3。 展开更多

关键词 博后筛 两段式 停机问题 交流异步电动机 设备使用 燃烧煤 煤粉制备 结构方式

下载PDF 职称材料

P/NP问题的答案是P≠NP 被引量：1

3

作者 温邦彦 《重庆理工大学学报（自然科学）》 CAS 2010年第9期108-126,共19页

为了给出P/NP问题的答案,采用简单的逻辑分析法来证明,创造性地提出了定义的划分标准必须符合逻辑的相容性、功能的合旨性(符合划分目的、结果"是""非"分明)、操作的明确性(验证含义明确、范畴"虚""... 为了给出P/NP问题的答案,采用简单的逻辑分析法来证明,创造性地提出了定义的划分标准必须符合逻辑的相容性、功能的合旨性(符合划分目的、结果"是""非"分明)、操作的明确性(验证含义明确、范畴"虚""实"明确)的3条5点要求。对P和NP的定义作了逻辑的内涵和外延分析,由于NP定义中非确定性多项式算法所依赖的虚拟世界神奇假想,在现实世界中不可能成真,所以在多项式时间内得不出算题计算的正确结论,从而也就得不出分类结论(NP P),由此证明了P/NP问题的答案是P≠NP。对"难解类"、"P标准的验证含义"、"P是NP的子集"作了辨析,证明:按照现有理解,P=NP和P≠NP2种证明任务都没法完成。2个定理正反双向证明了P≠NP结论的正确。还对"梵塔算题属于P类"提出了质疑,指出多项式变换只能在NTM上实现,建议基于逻辑学、多元函数论和算法优化理论建立计算复杂性的算题分类理论。对"停机问题"的不可判定结论提出了质疑,并且指出了对角线证法的错误。 展开更多

关键词 P NP 千禧年难题 计算复杂性 停机问题 对角线证法

下载PDF 职称材料

停机问题的不可解性及基于归约法的相关问题不可解性证明

4

作者 周理凤 黄水源 周旻 《计算机与现代化》 2006年第5期18-20,24,共4页

可计算性理论是当今计算机科学中研究的热点和难点问题之一。本文先介绍了不可数性和停机问题等重要概念,用反证法证明了停机问题是不可解的,并使用归约法对计算机中的相关问题的不可解性进行了证明。

关键词 可计算性 不可数性 停机问题 归约法 不可解性证明

下载PDF 职称材料

逻辑及数学演算中的不动项与不可判定命题(Ⅱ)

5

作者 张金成 《智能系统学报》 CSCD 北大核心 2014年第5期618-631,共14页

不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing... 不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与不可判定,并不影响正、反集合的递归性与系统的完全性,因此,Gdel不完全定理的证明不成立,Cantor对角线方法证明是错误的,Turing停机问题证明也是错误的。"系统N能否完全"、实数是否可数、Turing停机问题是否可判定都必须重新思考。 展开更多

关键词 正项 反项 不动项 悖论 U外不动项 不可判定命题 不完全定理 对角线方法 不可数 停机问题.

下载PDF 职称材料

对角化原理的逻辑形式及其应用

6

作者 周云才 李克清 《长江大学学报（自科版）（上旬）》 CAS 2006年第1期11-12,共2页

对角化原理在整个计算科学特别是数学逻辑基础论证中起着至关重要的作用。伯特纳德·罗素用它提出了著名的“理发师悖论”,对整个数学的逻辑基础提出了质疑;康托应用它建立了集合的势的理论,其中最著名的一个结论是:不存在最大势的... 对角化原理在整个计算科学特别是数学逻辑基础论证中起着至关重要的作用。伯特纳德·罗素用它提出了著名的“理发师悖论”,对整个数学的逻辑基础提出了质疑;康托应用它建立了集合的势的理论,其中最著名的一个结论是:不存在最大势的集合;图灵应用它证明了计算理论中著名的“停机问题”。分析了对角化原理的逻辑形式,在比较理发师悖论、Cantor集合理论和停机问题的思维模式的基础上,研究了其对基础数学学科理论以及计算理论的深刻影响。 展开更多

关键词 对角化原理 逻辑形式 理发师悖论 集合 停机问题

下载PDF 职称材料

双组分水相清洗剂解决曲轴线停机问题

7

作者 李佰哲 《汽车制造业》 2020年第6期18-18,21,共2页

在发动机曲轴的生产过程中,某工厂经常出现测头与工件黏结的现象,导致长时间停机擦拭,严重影响了生产节拍。技术人员采用了更换清洗剂的方式解决了问题,并通过线下、线上的测试,从清洗剂残留、表面张力、工件表面状态以及清洁度几个方... 在发动机曲轴的生产过程中,某工厂经常出现测头与工件黏结的现象,导致长时间停机擦拭,严重影响了生产节拍。技术人员采用了更换清洗剂的方式解决了问题,并通过线下、线上的测试,从清洗剂残留、表面张力、工件表面状态以及清洁度几个方面验证了改善效果。 展开更多

关键词 清洗剂 工件表面 双组分 表面张力 生产节拍 发动机曲轴 技术人员 停机问题

下载PDF 职称材料

图灵的停机问题及其对角线证法研究

8

作者 杜立智 陈和平 符海东 《计算机技术与发展》 2016年第12期64-68,共5页

停机问题是计算机科学领域的最经典问题之一,被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法,其中对角线是康托尔对角线法的延伸。通过对康托尔对角线法、图灵关于停机问题不可解的对角线证法以及判定程序证... 停机问题是计算机科学领域的最经典问题之一,被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法,其中对角线是康托尔对角线法的延伸。通过对康托尔对角线法、图灵关于停机问题不可解的对角线证法以及判定程序证法的深入分析,揭示了判定程序证明的本质,指出了在不影响判定程序设计初衷(即拥有对所有其他程序是否停机的判定功能)的前提下,该证明否定不了这样的判定程序存在性。同时揭示了对角线证明方法的根本缺陷和谬误。 展开更多

关键词 康托尔 对角线 停机问题 图灵 不可解问题

下载PDF 职称材料

浅谈反证法的可操作性——基于康托尔对角线法、哥德尔不完全性定理、图灵停机问题及EPR悖论 被引量：1

9

作者 黄汝广 《大众科技》 2016年第9期94-97,共4页

一直以来,康托尔对角线法总是与反证法密不可分,然而反证法并不如通常看得那样简单。文章从操作主义的观点,针对反证法提出了几点可操作性的要求,然后分析了几个著名的反证法论证,发现都不同程度地存在一些问题。由于不恰当的隐性假设,... 一直以来,康托尔对角线法总是与反证法密不可分,然而反证法并不如通常看得那样简单。文章从操作主义的观点,针对反证法提出了几点可操作性的要求,然后分析了几个著名的反证法论证,发现都不同程度地存在一些问题。由于不恰当的隐性假设,康托尔关于实数集不可数的证明是无效的。哥德尔为证明不完全性定理而引入的一个定理违反了矛盾律,并且他关于"可证"与"真"的区分实际上是陷入了循环论证。图灵停机问题其实是比较晚近的提法,与图灵的原始论文有较大差别,而且有些证明思路可能还或多或少地误解了图灵。最后,通过分析爱因斯坦的EPR悖论,进一步强调了假设唯一以及事实认定,对于反证法的重要性。 展开更多

关键词 反证法 可操作性 隐性假设 事实 康托尔对角线 哥德尔不完全性定理 图灵停机问题 EPR悖论

下载PDF 职称材料

六谈由悖论看概念的可操作性——评陈波《思维魔方》,兼析“EPR悖论”及“图灵停机问题”

10

作者 黄汝广 《改革与开放》 2016年第18期45-45,47,共2页

针对陈波《思维魔方》的"希尔伯特超级旅馆"部分进行了简短评析,同时指出反证法必须满足的四个基本要求,并通过分析"EPR悖论"及"图灵停机问题",强调了排除隐性假设对反证法的重要性。

关键词 希尔伯特超级旅馆 反证法 隐性假设 EPR悖论 图灵停机问题

下载PDF 职称材料

再谈反证法的可操作性——基于对角线法在图灵论文中的应用

11

作者 黄汝广 《大众科技》 2017年第1期90-92,共3页

一般观点都认为,图灵停机问题是应用康托尔对角线的一个重要成果,而很少注意到图灵的对角线实际上完全与康托尔不同。特别值得注意的是,尽管图灵最终还是落入了隐性假设的陷阱,但他对于这个问题实际上是早有警惕的。在图灵的论文中,除... 一般观点都认为,图灵停机问题是应用康托尔对角线的一个重要成果,而很少注意到图灵的对角线实际上完全与康托尔不同。特别值得注意的是,尽管图灵最终还是落入了隐性假设的陷阱,但他对于这个问题实际上是早有警惕的。在图灵的论文中,除了图灵机这一重要的概念之外,更富启发性的其实并不是他的证明,反而是他所批判的一个谬误;只要做一些适当的改进,这个所谓的谬误就是反驳康托尔的有力证据。 展开更多

关键词 反证法 可操作性 隐性假设 事实 康托尔对角线 图灵停机问题

下载PDF 职称材料

使用机动弥雾喷粉机应注意的问题

12

作者 唐黎标 《农业机械化与电气化》 2002年第4期21-21,共1页

1 注意长时间停用前的停机问题 机动弥雾喷粉机在该次作业结束后，如较长时间停用，停机操作方法是：关闭油箱开关，低速运转几分钟，待化油器内残留的燃油燃烧干净后自动停车。同时，将油箱内燃油放净，以避免因混合油中机油氧化变质... 1 注意长时间停用前的停机问题 机动弥雾喷粉机在该次作业结束后，如较长时间停用，停机操作方法是：关闭油箱开关，低速运转几分钟，待化油器内残留的燃油燃烧干净后自动停车。同时，将油箱内燃油放净，以避免因混合油中机油氧化变质产生粘…… 展开更多

关键词 停机问题 混合油配比 气路阻塞 使用 机动弥雾喷粉机

下载PDF 职称材料

Fluke 435-Ⅱ测试案例――松下贴片机频繁停机问题解决

13

作者 蒋宝康 《智慧工厂》 2017年第6期43-43,共1页

我们在1706期方案俱乐部为您带来5个陌生的福禄克故事,基本上与工程师熟知的美国福禄克万用表无关,此为其四。问题描述:代工厂利润来源于高效。但近期产线中的日本进口的贴片机频繁出现停机,工程师停机检查发现并非设备机械故障,恢复开... 我们在1706期方案俱乐部为您带来5个陌生的福禄克故事,基本上与工程师熟知的美国福禄克万用表无关,此为其四。问题描述:代工厂利润来源于高效。但近期产线中的日本进口的贴片机频繁出现停机,工程师停机检查发现并非设备机械故障,恢复开机后仍能正常运转,但后续仍频繁出现不定时停机,极其影响生产效率,但无法找出故障原因。咋办?工程师终于用怀疑的目光打量供电电源,于是Fluke 435-Ⅱ瞬变功能及浪涌电流监控仪表出现在装备现场。后来呢?开卷有益。 展开更多

关键词 贴片机 FLUKE 435 测试案例 停机问题 浪涌电流 机械故障 出故障原因 供电电源 瞬变 日本进口

下载PDF 职称材料

美卓卫生纸机在恒安纸厂创车速新纪录

14

《福建纸业信息》 2011年第23期13-13,共1页

美卓(中国)2011-12-06报道:恒安公司潍坊纸厂,一台由美卓公司提供的Advantage DCT 200 ViscoNip卫生纸机,以2000米/分的平均车速运行一个多月,创造了卫生纸机车速新纪录。山东恒安纸业有限公司总经理吴涵星说:"非常感谢美卓及我们... 美卓(中国)2011-12-06报道:恒安公司潍坊纸厂,一台由美卓公司提供的Advantage DCT 200 ViscoNip卫生纸机,以2000米/分的平均车速运行一个多月,创造了卫生纸机车速新纪录。山东恒安纸业有限公司总经理吴涵星说:"非常感谢美卓及我们公司一线工作人员。 展开更多

关键词 恒安 卫生纸机 纸机车速 平均车速 美卓公司 一线工作人员 纸幅 松厚度 停机问题 市场位置

原文传递

悟——教与学之中的相视而笑

15

作者 陈凯 《中国信息技术教育》 2016年第20期1-1,共1页

“相视而笑，莫逆于心”，这句话出自《庄子·大宗师》，那是一种心意相投、高度默契的感觉。最近的一次相视而笑，其实是对着一本书笑，这本书名叫《艾伦·图灵传》，书中有一大段文字，说的是图灵怎样用康托尔的对角线法来证... “相视而笑，莫逆于心”，这句话出自《庄子·大宗师》，那是一种心意相投、高度默契的感觉。最近的一次相视而笑，其实是对着一本书笑，这本书名叫《艾伦·图灵传》，书中有一大段文字，说的是图灵怎样用康托尔的对角线法来证明停机问题，我读了一遍，忽然有一种顿悟的感觉，然后我笑了，我觉得若这本书有灵魂的话，它也会对着我笑。 展开更多

关键词 停机问题 对角线法 康托尔 图灵 文字

下载PDF 职称材料

注重服务和培训的西得乐

16

《酒．饮料技术装备》 2012年第4期18-18,共1页

总部设在瑞士的西得乐集团，在全球13个围家建立起了生产娃地，并在190个国家和地区安装了30，000台机器。世界各地5000名技术熟练的西得乐员工，随时倾听客户的声音，向客户提供灵活可靠的生产系统，轻松应对客户的特殊发展需求和业务... 总部设在瑞士的西得乐集团，在全球13个围家建立起了生产娃地，并在190个国家和地区安装了30，000台机器。世界各地5000名技术熟练的西得乐员工，随时倾听客户的声音，向客户提供灵活可靠的生产系统，轻松应对客户的特殊发展需求和业务要求，避免造成耗费巨大的停机问题。 展开更多

关键词 培训 服务 生产系统 业务要求 停机问题 客户 声音

下载PDF 职称材料

伦茨变频器帮助涤纶绳生产商解决质量和停机问题

17

《变频器世界》 2012年第2期36-36,共1页

伦茨公司为一家涤纶绳制造商提供一台SMV变频器以解决产品质量低劣和由于破损的十工位绕线机所导致的计划外停机的问题。客户位于波兰，需要一个可以消除停机时间，无需手动调整且生产出均匀切口产品的综合系统。

关键词 产品质量 停机问题 生产商 变频器 涤纶 伦茨公司 停机时间 手动调整

下载PDF 职称材料

使用机动弥雾喷粉机应注意的问题

18

作者 张敏 郭春龙 《农机使用与维修》 2008年第4期34-34,共1页

关键词 机动弥雾喷粉机 油箱开关 化油器 停机问题 低速运转 自动停车 氧化变质 混合油

下载PDF 职称材料

图灵机的哲学意义

19

作者 李博洋 李永明 《计算机光盘软件与应用》 2011年第14期247-247,共1页

人类在创造人工自然的过程在中，如果不遵循自然规律而一意孤行，其结果必然对天然自然造成级大破坏，人类最终将自食苦果，计算机技术的发展也不例外。

关键词 图灵机 停机问题 自我意识 人工自然

下载PDF 职称材料

解决罗茨真空泵添加润滑油停机问题

20

作者 马善鹏 李旭光 《设备管理与维修》 2009年第5期62-62,共1页

型号分别为ZJP-1200B和ZJP-600B罗茨泵组，每次添加机油都须停车，影响生产。从结构中可以发现，同步导向齿轮箱与罗茨泵泵腔是通过内部的油封来密封的，罗茨泵运转后在泵腔内形成一定的真空度，齿轮箱与泵腔会产生压差，在压差的作用... 型号分别为ZJP-1200B和ZJP-600B罗茨泵组，每次添加机油都须停车，影响生产。从结构中可以发现，同步导向齿轮箱与罗茨泵泵腔是通过内部的油封来密封的，罗茨泵运转后在泵腔内形成一定的真空度，齿轮箱与泵腔会产生压差，在压差的作用下润滑油会顺着油封进入泵腔，只有当齿轮箱与泵腔内的压力平衡时，润滑油才会停止进入。 展开更多

关键词 罗茨真空泵 润滑油 停机问题 齿轮箱 压力平衡 罗茨泵 泵腔 真空度

下载PDF 职称材料