关于实数的可计算性  

On the computability of real numbers

作　　者：陈传波[1] 何大华[1] 

机构地区：[1]华中科技大学计算机学院,武汉430074

出　　处：《微电子学与计算机》2003年第5期68-70,共3页Microelectronics & Computer

摘　　要：给出了图灵机和可计算数之间的关系和可计算数的若干性质,提出了半可计算数的概念,并在此基础上结合集合的算术层次对实数集进行了算术分层,这一思想对于从可计算性角度理解实数具有借鉴意义。The relationships between Turing Machine and computable number are described and some properties of computable number are given, a new concept called partially computable number is proposed in this paper, based on these, the real number set is divided into arithmetic hierarchies according to the basic arithmetic hierarchy theory, this idea may be helpful to understand real numbers in the opinion of computability.

关 键 词：可计算性理论 实数 图灵机 递归可枚举 编码 

分 类 号：TP301.4[自动化与计算机技术—计算机系统结构]