和他一样的东西tiema8○ cc
“约翰，来到剑桥大学不必拘束，这里也不是什么很正式的餐厅，只是小饭馆而已tiema8○ cc我不喝酒，所以从不点酒，帮你叫一品脱啤酒，够不够？”
“陈博士，不必了，你不喝我就不喝tiema8○ cc喝酒都是逢场作戏而已，我其实并不喜欢tiema8○ cc还是请您快讲讲，刚刚提到的那个思想实验，究竟是什么吧！”
“也好tiema8○ cc”
反正等待上菜也需要一定的时间，陈慕武就摸出来了他的笔记本，又旋开钢笔的笔帽，在本子空白页上画了起来tiema8○ cc
“一条无限长的纸带，上面被分为了无限个格子，格子上可以记录任何字母，二进制数字1和0，还有空白tiema8○ cc
“除此之外，还有一个可以左右移动，并能读取纸上内容的读写头；
“一套控制读写头移动的规则表；
“还有一个状态寄存器tiema8○ cc
“这四部分，一起组成了一个机器，我的思想实验就围绕这个机器而展开tiema8○ cc”
陈慕武在笔记本上画的这个奇怪的机器，就是原时空里大名鼎鼎的图灵机tiema8○ cc
按照以往的惯例，这个机器，以后就将会叫做“陈机”了tiema8○ cc
吧啦吧啦给云里雾里的冯·诺依曼讲了一大堆有关陈机运转的事情，到最后陈慕武才开始说他的结论tiema8○ cc
“这个读写头在受到规则表和输入端的控制，从而进行移动，不就刚好是希尔伯特教授设想当中的‘可行过程’么？
“而读写头在程序结束时，通过有限次移动，最终停留在空白格，这个过程，不也相当于是另一个‘有限次运算’了吗？
“这样一来，希尔伯特教授的可决定性设想，也就转化成了‘是否存在这样一种陈机，使其能判定任意一个程序能否在有限时间内结束运行’了tiema8○ cc”
“没错，确实就是这样tiema8○ cc”
他刚讲解完陈机的构造，餐馆里的服务员刚好也把两客牛排给端上了桌tiema8○ cc
陈慕武顺势把笔帽旋紧，夹到笔记本中然后合上，接着做了个手势让了让冯·诺依曼tiema8○ cc
“请吧，约翰，我们吃完了再说tiema8○ cc”
匈牙利人心中此时就像读网文读到精彩之处时，作者却断更了一样难受tiema8○ cc
纵然面前摆着的是不太诱人的英国牛排，他也没有一点儿心情像身边的陈慕武那样挥动刀叉tiema8○ cc
他也不顾什么礼节不礼节的了，直接把刚刚合上的笔记本又给打开，再次推到陈
点击读下一页,继续阅读 赵师雄 作品《重生，然后成为大科学家》第242章 190约克公爵的邀请