书名: 第一推动丛书·畅销经典套装（套装共12册）（延续近30年的科普品牌《第一推动丛书》，精选宇宙、物理、生命、综合四大系列TOP3！）

作者: 梅拉妮·米歇尔 & 史蒂芬·霍金 & 布莱恩·R. 格林 & 罗杰·彭罗斯 & 基普·S.索恩 & 保罗·戴维斯 & 马丁·戴维斯 & 弗朗西斯·克里克 & 杰拉尔德·M.埃德尔曼

格式: EPUB

路径: 点击打开

作者分类: 梅拉妮·米歇尔 & 史蒂芬·霍金 & 格林, 布莱恩·R. & 罗杰·彭罗斯 & 基普·S.索恩 & 保罗·戴维斯 & 马丁·戴维斯 & 弗朗西斯·克里克 & 杰拉尔德·M.埃德尔曼

Title sort: 第一推动丛书·畅销经典套装（套装共12册）（延续近30年的科普品牌《第一推动丛书》，精选宇宙、物理、生命、综合四大系列TOP3！）

日期: 14 9月 2022

uuid: 9e3aed57-7866-420d-a480-13a4ec0fa2fe

id: 1356

出版日期: 7月 2022

修改日期: 14 9月 2022

大小: 66.35MB

语言: 中文

我在此表中稍微搞了点欺骗，并且没有把图灵机按它们的实际编号列出。由于所有n比11小的机器除了□外没有得到任何东西，而对于n=11只得到0，所以那样做的话就会得到一张一开始就显得过于枯燥的表。为了使此表一开始就显得更有趣，我假定已得到某种更有效得多的编码。事实上我只是相当随机地捏造这张表的元素，仅仅是为了给出有关它的外表的大体印象。

我不要求用某一个算法实际计算过这一个阵列。（事实上，正如我们很快就要看到的，不存在这样的算法。）我们仅仅是假想，真正的表不知怎么搞的已经摆在我们面前。如果我们试图计算这一个阵列，正是□的发生引起了困难。因为既然那些计算简单地一直永远算下去，我们也许弄不清什么时候把□放在某一位置上！

然而，如果我们允许使用假想的H，由于H会告诉我们□实际上在什么地方发生，我们就可以提供一种产生该表的计算步骤。但是相反的，我们用0来取代每一次□的发生，就这样利用H把□完全除去。这可由把计算H（n；m）放在Tn对m作用之前而做到；然后只有如果H（n；m）=1时（也就是说，只有如果计算Tn（m）实际上给出一个答案时），我们才允许Tn作用到m上，而如果H（n；m）=0（也就是如果Tn（m）=□），则简单地写为0。我们可把新的步骤（也就是把H（n；m）的作用放在Tn（m）之前得到的）写成：

Tn（m）×H（n；m）.

（我在这里使用数学运算顺序的普通习惯：在右边的先进行。请注意，我们在符号运算上有：□×0=0。）