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

摘要：

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

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

分类号：TP301(计算技术、计算机技术)

在线出版日期：2006-06-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：18-20,24