手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
霸道总裁宠萌妻 我真就想当个厨子啊 犯罪现场 七少绝宠：我家小妻是大佬 太古神尊 董三生林诗音 魔改文明 扎纸匠 玄幻：从蛋开始无敌 穿越之被逼成反派 陆羽孟竹韵 举世之境 东宫瘦马 万域神君 万域神君携壶远游 莫笑世人痴 圣鸦 宋士 大唐龙帝 万域神君陆羽孟竹韵
武林头号公敌
主角是个大好人，从不拿任何门派的一针一线。除了针线，全部都搜罗干净，什么宝物，密籍，神兵利器，丹药，杰出的女弟子。随身带着地图的少侠，从不畏惧任何坚难，晴朗的天，暖暖的日，高高兴兴扛着锄头去挖宝。...
东京道士
天上白玉京，十二楼五城。仙人抚我顶，结发受长生。吕洞宾弟子重生，成为日本东京都一名十六岁的普通高中生。为求长生，隐身于芸芸众生之中，再度体验人间百态滚滚红尘。数百年稳固的道心，究竟能否在现代大...
绝世凶器
PS看到书名就想歪的同学，统统面壁去！做好事，做坏事他将自己打造成一根人棍的华丽丽传奇！下面是小白式的简介他！不是比蒙，也不是巨龙，却拥有驾凌于其之上的强悍体魄！他即不会斗气，也不会魔法，却将人类的身体潜力，发挥到令人发指的强度！孤身一人！他没有神器，却将脑域开发到极点，拥有比之更为强大的本源武器！靠体外的各种工具强大还数下乘，看我发展生命的潜力，以身体为本，来缔造一个属于人类的神话！天行健，君子以自强不息。...
毒宠高冷腹黑王
堂堂侯门大小姐被抬进药罐子王爷的府上跟一只公鸡拜堂，名曰冲喜！冲你妹啊！还当姐是那个任人欺凌的草包吗？！御灵兽，炼毒丹，绝品灵脉，一根银针敢跟阎王抢人！昔日懦弱的废材今天还有何人敢欺...
无尽之门
作者长洲冬马的经典小说无尽之门最新章节全文阅读服务本站更新及时无弹窗广告小说李云飞推开了家门，就看到八岁大的女儿坐在沙发上，像个高傲女王般冷冷的打量着他那么你就是我的召唤师了吗？渺小的凡人，看在你辛苦的将本王召唤过来的份上，本王赐予你做本王仆人的荣誉。看着这个臭屁的小丫头，李云飞叹了口气，径直的走了过去，捏着她的脸把她抱了起来，使劲的揉着小女孩的脸我尊敬的女王大人，你似乎刚穿越过来，还没有搞清楚这里谁才是老大啊怎么？要不要我帮您老人家疏通疏通筋骨，让您知道这...
王爷，王妃又去摆摊了
别人穿越下堂王妃，不受宠的小姐，她到好，直接成一乞丐，这就算了，原主还是给饿死的。为了吃饱饭，抢了狗狗的铃铛，偷了道士得道士服，束起头发上街算命！赫连逸你丫的算命能不能滚远点？别污染了我的地方！顾倾雪我不管我不管，是你让我来的开始的各种互怼，到后来呢？变成了这样赫连逸媳妇儿，咱们能不能回去？没钱为夫给你啊，你看那人的眼神！顾倾雪滚！赫连逸得嘞，我这就去挖了他的眼睛，让他看，哼...