手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
宋士 圣鸦 太古神尊 霸道总裁宠萌妻 万域神君陆羽孟竹韵 万域神君 我真就想当个厨子啊 大唐龙帝 举世之境 犯罪现场 魔改文明 玄幻：从蛋开始无敌 莫笑世人痴 董三生林诗音 东宫瘦马 七少绝宠：我家小妻是大佬 陆羽孟竹韵 穿越之被逼成反派 扎纸匠 万域神君携壶远游
农民小神医
神针绝技包治百病，内力按摩无比舒爽！赵铁柱回家种地竟成为美女贴身神医，种田治病财色双收，横行乡野逍遥花都，演绎不朽传奇书友群399815922，欢迎交流。...
宋端午的彪悍之路
这是一个穷苦山民的奋斗历程！二十多年前，某个月黑风高之夜，一个功力已臻化境的老人，只因一阵响彻天际的婴孩啼哭，在喜极无形之下，打了套震惊江湖八道的形意六合拳后，仅说了句端午！子代雄啼，百鬼退避千虫散！七八年后，老人在亲眼目送了这个名叫端午的男孩被迫远走他乡时，也只留下一句虎生三子必有一彪！就毅然决然的跟当代家主翻脸，立誓七年不见！又十几年，当已经修炼出满身滔天怨气的他，站在老人和家主的对立...
贺三少，夫人有点太嚣张
大婚之日，一场阴谋，她代替姐姐嫁给了上海滩贺三少。一入候门深似海，她知道，不进便是退。父亲遭遇离奇车祸，初恋蜕变后强势归来，你来我往明争暗斗，小妾婆婆及妯娌的栽脏陷害，让她丢开天真烂漫，东海扬尘，凤凰盘涅。...
重生王妃宠上天
重活一世的楚曦玉，宅斗满级。每天手起刀落，挖坑埋人头，无人能挡。超凶！遇上当世第一权臣，双强联手。别人眼中闻风丧胆的摄政王，只做她一个人的大甜甜。他能打能杀能医，翻手为云覆手雨，但遇见她后，每天宠妻，专职发糖超凶的王妃vs超甜的王爷。「世人皆蝼蚁，唯她是明月」摄政王的爱妻语录...
宠妻成瘾：总裁夫人有点燃
书海阁小说网免费提供作者柒木木的经典小说宠妻成瘾总裁夫人有点燃最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说契约宠妻腹黑甜宠乔依依只把陆陌离当成索取工作资源的大老板。她摇旗呐喊我为老板挡桃花！我为老板冲锋陷阵！我为老板上可斗极品伯母，下可战究级绿茶！陆陌离却临时反悔想要资源，只冲锋陷阵可不行。乔依依一脸好奇老板你想咋的？陆陌离大手一摊，故作认真至少要先生几个孩子，好好犒劳一下你的老板。乔依依欲哭无泪我可以辞离职婚吗陆陌离双眸紧眯，声色坚定不可以！...