书名: 第一推动丛书·畅销经典套装(套装共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。)
为了方便大家利用电子书更好的学习,精心整理了网络上的各种电子书,有PDF版本的,也有TXT版本的,现有一万多本PDF的,七万多本TXT的,还有精心整理的天涯神贴,而且还在不断增加中,有需要的可以点击下面的衔接或者扫码下载:
链接: https://pan.baidu.com/s/1z45OMvYM0Jy-BVuJJmRvtw?pwd=w3m9 提取码: w3m9 复制这段内容后打开百度网盘手机App,操作更方便哦
请先
!