一秒记住【3q中文网 Www。3qdu。com】，精彩小说无弹窗免费阅读！

半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。

安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”

吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”

夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”

吴俊说：“它现在就是在运算这个。”

祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”

夏商卜说：“那倒也是。”

祖文远说：“就担心会出现既不可证明又不可证否的情况。”

吴俊说：“如果时间太长的话，就改进一下参数也行。”

突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。

但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。

吴俊说：“如果证明自动机30研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”

夏商卜说：“离自动证明机30研发成功还有多久？”

吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”

夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”

吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”

夏商卜说：“这就是王园挑头的吗？”

吴俊说：“没错。”

夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”

华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”

第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。uu书库uuskne