什么是可计算性?

What is Computability

摘要: 可计算性的概念是关系到计算机和人工智能发展的重大理论问题,而且很可能在技术上诱发突破性的进展,出现一种不能用现有计算机模拟的新型智能机器。然而,可计算理论是经过认真钻研、反复推敲过的理论体系。只有更加周密地考查前人的工作,找出其不足之处或者失足之处,才可能找出新路。本文就打算把这种理论的来龙去脉做一个概要的分析,谈谈对这个问题的看法。

Abstract: In this paper, a set of axioms is postulated to define the concept of computability. The computability so-defined is equivalent to the well-known ones. Also discussed are some possible directions to extend the concept.