[1]杜立智,陈和平,符海东. 图灵的停机问题及其对角线证法研究[J].计算机技术与发展,2016,26(12):64-68.
　DU Li-zhi,CHEN He-ping,FU Hai-dong. Research on Turing’ s Halting Problem and Diagonal Method[J].,2016,26(12):64-68.
点击复制

 图灵的停机问题及其对角线证法研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
26
期数:
2016年12期
页码:
64-68
栏目:
智能、算法、系统工程
出版日期:
2016-12-10

文章信息/Info

Title:
 Research on Turing’ s Halting Problem and Diagonal Method
文章编号:
1673-629X（2016)12-0064-05
作者:
 杜立智; 陈和平; 符海东
 武汉科技大学 计算机科学与技术学院
Author(s):
 DU Li-zhi; CHEN He-ping; FU Hai-dong
关键词:
 ; 康托尔; 对角线; 停机问题; 图灵; 不可解问题
Keywords:
 ; Cantor; diagonal; halting problem; turing; unresolvable problems
分类号:
TP31
文献标志码:
A
摘要:
 停机问题是计算机科学领域的最经典问题之一，被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法，其中对角线是康托尔对角线法的延伸。通过对康托尔对角线法、图灵关于停机问题不可解的对角线证法以及判定程序证法的深入分析，揭示了判定程序证明的本质，指出了在不影响判定程序设计初衷(即拥有对所有其他程序是否停机的判定功能)的前提下，该证明否定不了这样的判定程序存在性。同时揭示了对角线证明方法的根本缺陷和谬误。
Abstract:
 Halting problem is one of the most classical ones in computer science,which has been considered unresoluable. The methods of testification on the unresolvability of halting problem are composed of diagonal proof and that of program,in which the former is a stretch of canter’s diagonal method. By deep study on Cantor’s diagonal method,Turing’s unresolvable proofs of the halting problem,and both the program proof and the diagonal proof,the essence of the program proof is revealed. It is pointed out that without loss of its original function, the judge program may exist. In addition,the essential deficiency and fault of the diagonal method,both Cantor’ s and Tuting’ s,is revealed.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(12):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(12):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(12):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(12):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(12):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(12):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(12):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(12):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(12):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(12):47.

更新日期/Last Update: 2017-02-03