手机浏览器扫描二维码访问
190约克公爵的邀请（第1页）
在希尔伯特本人所设想的公理体系中，有三个最根本的基础，分别是完备性、一致性和可决定性。
完备性和一致性，已经被陈慕武的一篇论文给搞没了，现在就只剩这个可决定性依然坚挺，既没有被证实，又没有被证伪。
从陈慕武云淡风轻的问话当中，冯·诺依曼听出来了一些不寻常。
他总觉得身边的陈博士这么问，不像是在征求自己的意见，更像是在隐晦地提醒自己，这个可决定性，就和之前的完备性还有一致性一样，同样也不怎么靠谱。
冯·诺依曼没有像卞太后那样，把陈慕武当成曹丕，发出“汝已杀我完备性和一致性，不得复杀我可决定性”的感慨。
他倒是感觉，陈慕武挑起来的这个话题上面，大有文章可做。
“陈博士，我不太清楚这个问题的答案，不过自从您的不完备性定理提出来之后，我想世界上对这第三条可决定性的正确与否提出怀疑的数学家，也不会太少。难不成，您对这个问题也有什么新的发现了吗？”
“也算不上什么发现，”冯·诺依曼果然上了钩，让陈慕武有些欣喜，“目前只不过是才有了点儿头绪而已。
“有关公理体系的可决定性，希尔伯特教授曾经做过这样一种设想，‘通过一个可行的过程，以及有限次的运算，来证明数学理论的可行性’。
“可他的这个设想当中，无论是‘可行的过程’，还是‘有限次的运算’，这两个概念都是很模糊很抽象的，在数学上并没有一个完整的定义。
“所以为了给这两个概念下定义，我的大脑当中，有了一个很模糊的想法。
“你也知道，我们研究物理的，就喜欢做实验。即使实验因为各种因素的限制，不能在实验室里做出来，我们也会在大脑当中模拟，并把这一过程称作是‘思想实验’，德国的爱因斯坦教授，就很喜欢做一些思想实验来验证自己的结论。”
说着话，两个人已经走到了陈慕武平时常去的一家小饭馆里。
叶公超离开英国两年之后，陈慕武终于学会了和英国菜和解。
反正你只要不点那种需要太多烹饪技巧的菜肴，那么味道基本上也不会难吃到哪里去。
他像往常一样叫了一客牛排配蘑菇酱，坐到他旁边的冯·诺依曼也有样学样，点了和他一样的东西。
“约翰，来到剑桥大学不必拘束，这里也不是什么很正式的餐厅，只是小饭馆而已。我不喝酒，所以从不点酒，帮你叫一品脱啤酒，够不够？”
“陈博士，不必了，你不喝我就不喝。喝酒都是逢场作戏而已，我其实并不喜欢。还是请您快讲讲，刚刚提到的那个思想实验，究竟是什么吧！”
“也好。”
反正等待上菜也需要一定的时间，陈慕武就摸出来了他的笔记本，又旋开钢笔的笔帽，在本子空白页上画了起来。
“一条无限长的纸带，上面被分为了无限个格子，格子上可以记录任何字母，二进制数字1和0，还有空白。
“除此之外，还有一个可以左右移动，并能读取纸上内容的读写头；
“一套控制读写头移动的规则表；
“还有一个状态寄存器。
“这四部分，一起组成了一个机器，我的思想实验就围绕这个机器而展开。”
陈慕武在笔记本上画的这个奇怪的机器，就是原时空里大名鼎鼎的图灵机。
按照以往的惯例，这个机器，以后就将会叫做“陈机”了。
吧啦吧啦给云里雾里的冯·诺依曼讲了一大堆有关陈机运转的事情，到最后陈慕武才开始说他的结论。
“这个读写头在受到规则表和输入端的控制，从而进行移动，不就刚好是希尔伯特教授设想当中的‘可行过程’么？
“而读写头在程序结束时，通过有限次移动，最终停留在空白格，这个过程，不也相当于是另一个‘有限次运算’了吗？
“这样一来，希尔伯特教授的可决定性设想，也就转化成了‘是否存在这样一种陈机，使其能判定任意一个程序能否在有限时间内结束运行’了。”
“没错，确实就是这样。”
他刚讲解完陈机的构造，餐馆里的服务员刚好也把两客牛排给端上了桌。
斗罗：会魔法的接骨木 神帝永恒 我能够修改怪谈规则 天官赐福，专掘诡坟 长生从强化五脏六腑开始 四合院：我的老婆是文丽 仙侣奇缘之长生路 遮天之鬼谷八荒 人到中年：妻子的背叛 闹妖的老村长 我爷爷奶奶 满朝奸臣，你让朕怎么当千古一帝 遮天之天帝副手 在海贼开孤儿院 灵气复苏：我的科武人生 魂穿斗破副本，我崩了剧情主线 臣亦为侠 团宠奶包七岁半，王爷天天爬墙宠 大唐悍王 神道吞仙
充一块得十万，三天拿下黑丝校花
沐青阳工作爱情双双失意之际，意外获得神豪系统。充值一元，到账十万！但这些钱只能为90分以上的女神消费。以前想都不敢想的校花女星主播等极品美女纷纷与他建立起了深厚的友谊。giegie，这个包包好看吗？不到一块钱侮辱谁呢，买！沐哥哥，法拉利也太贵了吧就这还贵呢？给你100不用找了！哥哥，你抖音账号为...
快穿我的人生我做主
兰溪倒霉催的被金手指给砸晕了，醒来后得知因为灵魂不全，只有一个月的活头了。死后做了阿飘，飘了五年。没想到又被系统给绑定，于是开启了快穿做任务，顺便补全灵魂之旅。...
在末日游戏种田的只有我？
黎明降临是一款爆红的末日求生游戏，玩家在里面激情战斗切磋与丧尸怪物搏斗制造装备与武器。简星意被朋友拉去玩，手残的他打竞技被玩家拳打，打副本被丧尸脚踢。简星意只得在这个战斗游戏里当个种田经营玩家。别人在和怪物搏命，他在解锁食谱掌握厨艺。别人在屠杀丧尸城，他在建造房子。别人在争地盘抢基地，他在荒地种稻米。直到有一天，所有人都穿进去这个游戏了。穿进去后，大部分玩家看着自家破烂的房子，空荡荡的厨房，捂着肚子沉默了。简星意？所以说，在这个游戏里种田的只有他吗？不多时，一个传奇诞生了。他是游戏最低战力记录保持者，却是新世界最富裕的商人，更是救世主。战力值只有个位数的他，让满战力的高手榜大佬们在路过他的房子和公会时，都要小心翼翼放缓脚步。xxx惊！全服第一高手山海忽然离开了所在的基地，离开了这个争霸赛屡屡夺冠的强悍基地，难道还有比这个更好的地方吗？战地记者激情追问采访，请问大佬去了一个小破基地，是想体验亲手开辟疆土的快感吗？山海那边的饭香？记者？做饭的厨子更香。疯批大佬面瘫攻x社恐菜鸡温柔受每晚九点更新，短评收藏即可评我的接档我靠绯闻在人界苟活人类与妖族休战的第三年，小兔妖闻兮被调任为和平大使前往人界了。小兔妖战战兢兢，小心翼翼，努力在人界立足。然后一不小心和人类特警队长骆绛意外滚了床单。骆绛的工作就是杀作恶不守法的妖怪，本人还特讨厌妖怪，能手撕妖怪。闻兮我完了v隔天闻兮只觉自己小命休矣，匆匆跑路，骆绛也被紧急调任外地平乱，离开了首都，据说没个十年二十年回不来。闻兮我又好了v后来记者采访闻兮对骆绛去处理暴动这事怎么看。闻兮觉得，他和骆绛交配都已经交配了，四舍五入怎么就不算配偶呢？反正人家十年二十年回不来为了在人界立足，闻兮兔心豹子胆，决定抱大腿！他靠着精湛的演技一秒红了眼眶真不知道远处的暴动什么时候结束，想我的未婚夫了。记者？！记者原来二位竟是这样的关系！从此之后，闻兮以骆绛未婚夫身份在首都行动与工作，走哪儿都要忧郁感怀，出席活动都要一袭黑衣，未亡人设定草得飞起。网友义愤填膺，嗑生嗑死。闻兮和骆绛的爱情太美好了！这才是妖族和人类和平共处的方式！支持妖族和人族和平！一年后，骆绛居然提早回来了。 闻兮再次跑路。门一开，眉眼冷峻的军装男人语气森然，跑什么？我的未婚夫，我还没听够呢。谢邀，在外打仗一年听了一年故事，骆绛都要恍惚以为自己真的有个爱自己爱得要死要活的未婚夫了。闻兮看着那把抵着自己喉结的漆黑枪口，发着抖问想听什么。男人笑眯眯的，来和我说说我们那感人肺腑，海枯石烂的一段情啊！闻兮这下是真的完了v大冤种人类特警x又皮又怂的兔妖魔蝎小说...
盗墓笔记：齐晋
当我穿成吴二白的初恋，吴三省和陈文锦之间的第三者…我还能不能活了！我只是二十一世纪的大学生而已！你让我考古带队！要闹哪样！...
重生图腾柱，我成了神诡禁忌
诡夜降临，神诡降生！陈垚苏醒之后，现自己成为了十万大山中的一根图腾柱！本以为这一世只用静静地在山里看日升月落，沧海桑田。直到一头山狼拜在身前，一副上古图腾浮现于柱体之上，陈垚忽然现，这个世界变得有意思起来。搬山啸月狼上古十万大山中的妖兽，有搬山之能图腾之力控土月华吐纳所属信众山狼…当一幅幅上古图腾出现在柱体之上，陈垚的庇佑范围开始蔓延。所佑之处，神诡辟易，妖邪避讳。大夏国都。国师预测国运，却不曾想看到无数妖邪从十万大山中逃出，大夏倾覆！一口鲜血喷出，国师以全部寿元为注，窥破天机，留下遗言。十万大山内有灭世妖邪降生，身负万千生灵执念，不除，大夏必亡！本书又名庇佑众生的我，被当做了灭世妖邪我在神诡世界的日子...
清穿在九龙夺嫡中摆烂
前一秒还在icu看着头顶着天花板的尹琪，后一秒钟发现自己变成了襁褓之中的孩子好消息，自己跳过了死亡坏消息，直接人生重开此时，尹琪脑海中第一反应是，那自己岂不是没有机会喝到孟婆汤了，有点亏，还没尝过孟婆汤的味道呢当尹琪知道自己穿越的朝代后，忍不住倒吸了一口凉气魔蝎小说...