图灵关于可计算数及其在判定问题中的应用翻译.docxVIP

关于可计算数及其在判定问题中的应用——阿兰.图灵

1.计算机器

2.定义

自动运算机器

计算机器

有限循环数与无限循环数

可计算数列和数

3.计算机器实例

4.缩略程序表

更多的实例

5.对于可计算数列的列举问题

6.通用计算机器

7.关于通用机器的细节描述

8.对角论证法的应用

9.可计算数的范围

10.大量可计算数的实例

11.判定问题的应用

附录

可计算数可以被简单地描述成一类实数。它们可以表达成通过有限次运算而得到的小数点后边的数字。尽管这篇论文的主题明显是关于可计算数的，我们也同样可以以此来定义并研究一种可计算函数。其中，这种函数的变量可以为整数、实数、可计算数、可计算语句等。在不同的变量中，最基本的问题其实是相同的。而我选择了可计算数来进行明确的论述以实现最优化的技术。我希望不久之后，我就可以给出关于可计算数与可计算函数彼此之间的关系的解释。这将包括关于实数变量的函数理论的发展。而这种理论将以可计算数的形式来表达。根据我的定义，一个数是可计算的当且

仅当它的小数点后边的数可以被计算机写下。

在第九，十节中，我希望通过论证说明可计算数包括所有自然即可被当做可计算的数。特别的，我说明了大量的数都是可计算的。它们包括所有代数数中的实数部分和贝塞尔函数中的零的实数部分，以及数X、e等。然而可计算数并不包括所有可定义数，也将给出一个可