手机浏览器扫描二维码访问
190约克公爵的邀请（第1页）
在希尔伯特本人所设想的公理体系中，有三个最根本的基础，分别是完备性、一致性和可决定性。
完备性和一致性，已经被陈慕武的一篇论文给搞没了，现在就只剩这个可决定性依然坚挺，既没有被证实，又没有被证伪。
从陈慕武云淡风轻的问话当中，冯·诺依曼听出来了一些不寻常。
他总觉得身边的陈博士这么问，不像是在征求自己的意见，更像是在隐晦地提醒自己，这个可决定性，就和之前的完备性还有一致性一样，同样也不怎么靠谱。
冯·诺依曼没有像卞太后那样，把陈慕武当成曹丕，发出“汝已杀我完备性和一致性，不得复杀我可决定性”的感慨。
他倒是感觉，陈慕武挑起来的这个话题上面，大有文章可做。
“陈博士，我不太清楚这个问题的答案，不过自从您的不完备性定理提出来之后，我想世界上对这第三条可决定性的正确与否提出怀疑的数学家，也不会太少。难不成，您对这个问题也有什么新的发现了吗？”
“也算不上什么发现，”冯·诺依曼果然上了钩，让陈慕武有些欣喜，“目前只不过是才有了点儿头绪而已。
“有关公理体系的可决定性，希尔伯特教授曾经做过这样一种设想，‘通过一个可行的过程，以及有限次的运算，来证明数学理论的可行性’。
“可他的这个设想当中，无论是‘可行的过程’，还是‘有限次的运算’，这两个概念都是很模糊很抽象的，在数学上并没有一个完整的定义。
“所以为了给这两个概念下定义，我的大脑当中，有了一个很模糊的想法。
“你也知道，我们研究物理的，就喜欢做实验。即使实验因为各种因素的限制，不能在实验室里做出来，我们也会在大脑当中模拟，并把这一过程称作是‘思想实验’，德国的爱因斯坦教授，就很喜欢做一些思想实验来验证自己的结论。”
说着话，两个人已经走到了陈慕武平时常去的一家小饭馆里。
叶公超离开英国两年之后，陈慕武终于学会了和英国菜和解。
反正你只要不点那种需要太多烹饪技巧的菜肴，那么味道基本上也不会难吃到哪里去。
他像往常一样叫了一客牛排配蘑菇酱，坐到他旁边的冯·诺依曼也有样学样，点了和他一样的东西。
“约翰，来到剑桥大学不必拘束，这里也不是什么很正式的餐厅，只是小饭馆而已。我不喝酒，所以从不点酒，帮你叫一品脱啤酒，够不够？”
“陈博士，不必了，你不喝我就不喝。喝酒都是逢场作戏而已，我其实并不喜欢。还是请您快讲讲，刚刚提到的那个思想实验，究竟是什么吧！”
“也好。”
反正等待上菜也需要一定的时间，陈慕武就摸出来了他的笔记本，又旋开钢笔的笔帽，在本子空白页上画了起来。
“一条无限长的纸带，上面被分为了无限个格子，格子上可以记录任何字母，二进制数字1和0，还有空白。
“除此之外，还有一个可以左右移动，并能读取纸上内容的读写头；
“一套控制读写头移动的规则表；
“还有一个状态寄存器。
“这四部分，一起组成了一个机器，我的思想实验就围绕这个机器而展开。”
陈慕武在笔记本上画的这个奇怪的机器，就是原时空里大名鼎鼎的图灵机。
按照以往的惯例，这个机器，以后就将会叫做“陈机”了。
吧啦吧啦给云里雾里的冯·诺依曼讲了一大堆有关陈机运转的事情，到最后陈慕武才开始说他的结论。
“这个读写头在受到规则表和输入端的控制，从而进行移动，不就刚好是希尔伯特教授设想当中的‘可行过程’么？
“而读写头在程序结束时，通过有限次移动，最终停留在空白格，这个过程，不也相当于是另一个‘有限次运算’了吗？
“这样一来，希尔伯特教授的可决定性设想，也就转化成了‘是否存在这样一种陈机，使其能判定任意一个程序能否在有限时间内结束运行’了。”
“没错，确实就是这样。”
他刚讲解完陈机的构造，餐馆里的服务员刚好也把两客牛排给端上了桌。
斗罗：会魔法的接骨木 灵气复苏：我的科武人生 团宠奶包七岁半，王爷天天爬墙宠 满朝奸臣，你让朕怎么当千古一帝 闹妖的老村长 人到中年：妻子的背叛 神帝永恒 四合院：我的老婆是文丽 魂穿斗破副本，我崩了剧情主线 神道吞仙 长生从强化五脏六腑开始 仙侣奇缘之长生路 天官赐福，专掘诡坟 大唐悍王 遮天之鬼谷八荒 我爷爷奶奶 遮天之天帝副手 在海贼开孤儿院 臣亦为侠 我能够修改怪谈规则
千金小姐种田忙
关于千金小姐种田忙新作品出炉，欢迎大家前往番茄小说阅读我的作品，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！满京城的人都知道，郑家大小姐是个只知道埋头种地的泥腿子，郑采薇也愿意这样安安稳稳过一辈子，不想，父亲被罢官流放，亲眷被遣返回乡，只知道种地的她凭着一身种地的本事护着家人安居一隅。意外救下一个小孩，竟是当朝六皇子，小孩拍着胸脯信誓当当的说要攒十里红妆给自己送嫁，可是，又有谁愿意娶一个泥腿子呢？没想到，满身甲胄的他在十万大军面前捧着兰花当众求娶...
本宫无罪！摆烂被读心后全员忏悔
关于本宫无罪！摆烂被读心后全员忏悔姜瑜死了，死在了她呕心沥血养大的三个孩子手里。夫君蔑视她，孩子们厌恶她，她被迫背上妖后的骂名，死后被曝尸荒野，唯有她曾无心帮过的侄儿为她请命却也惨死。重活一世，姜瑜不愿再重蹈覆辙。过继侄儿为子，对三个小白眼狼彻底死心，不再对夫君有丝毫的指望！她只想护着继子平安长大，护着她前世辜负的兄长顺遂一生。可一朝真相暴露，姜瑜方知继子才是亲子，前世那些她拼命维护的都是刽子手，设下天罗地网引她入局，如今反而跪在她面前求她原谅，哭着说不能离开她。可笑，她不需要了。两国大战之际。只见那个带着面具的帝王搂住姜瑜的腰身，大手一挥，数以万计的箭矢射出，阿瑜，辜负过你的人都该死。...
嫁纨绔（重生）
本书简介奚静观，燕唐秀生天嫁纨绔（重生）全文免费阅读，如果您喜欢嫁纨绔（重生）秀生天最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
我靠系统养活十八个弟弟妹妹
别人穿越那么是在宫里当娘娘，要么就是丞相府不受宠的嫡女，最差的也是农门小媳妇。到了乔林夕这里，就比较惨了，不但穿到了方圆百里寸草不生的地方，狗系统还给了她十八个弟弟妹妹，在那种干旱了几年的地方，乔林夕一个十四岁的孩子如何养活得了十八个弟弟妹妹啊。这就算了，狗系统还每天让她感谢上苍，这简直就是没天理吗？她感谢老天爷把她弄到这寸草不生的地方？感谢老天爷给了她十八个弟弟妹妹？说归说，系统出品，那必是精品，乔林夕还是靠着系统养活了十八个弟弟妹妹，什么将军贵妃的，都是她一手培养起来的。...
丑女涅盘，残废世子宠翻天
21世纪博士女军医，在执行任务时意外身亡，一朝穿越成为丑女，遭人下毒，被迫嫁给残废世子冲喜别人的新婚夜，红烛摇曳，她的新婚夜，闯鬼门关很好，我就让你们看看，什么是丑女涅盘庶妹你知道自己有多丑吗？哈哈，丑到阎王爷都嫌弃了。沈伊冉是么，那你这绿渣渣，阎王定是喜爱，姐这就送你上路！任...
一觉醒来跟影后协议结婚了
本书简介乐以秋觉得自己真倒霉，一觉醒来从姐姐们都疼爱的十八岁年下，变成了二十八岁也不御姐的年上。要知道，姬圈年下小奶狗或者御姐才吃香，她这不上不下的怎么找对象？可没想到，她结婚了，对象没见过。就在她谋划着要怎么离婚的时候，对方先把离婚协议递到了她的面前。乐以秋看着面前这个完全符合自己理想型的女人，长的美又欲，咳咳，不是，是御。她觉得自己一见钟情了，能娶到这样的老婆，还找什么对象啊。那个，老婆，要不我们再考虑一下，或许我们还有感情呢？上来就叫老婆，表脸。林夏宁？？？一觉醒来跟影后协议结婚了一觉醒来跟影后协议结婚了公子幸川魔蝎小说...