吴俊说：“我们想要证明简单计算机操作系统接入大型网络中会产生冗余的现象。”

王园说：“就是前一段时间盛传的网络生命？”

吴俊说：“没错！我用20证明这个命题用了很久，已经确定了这种冗余是真的。可是如果用20的去解读证明过程的话，肯定是我们看不懂的一大堆的逻辑符号呀。”

王园说：“你想看懂这个过程，找到产生冗余的原因吗？”

吴俊说：“当然了！”

王园沉思了很久，说：“其中的复杂程度可能要超出我们的想象，其中有两种解决办法。第一就是找我们擅长的理论去解决这个证明，第二就是需要建立这种复杂的计算学理论才可以。但是”

王园停顿了，没有说话，似乎意识到不该说。

华罗说：“怎么了？有人可以解决吗？”

王园说：“我试试吧。”

华罗说：“没关系，我们可以帮你。”

王园说：“我跟一个朋友打电话问问，看看她有没有什么思路。”

华罗说：“好的。”

王园给一个人打了电话，夏商卜心里觉得更加奇怪，王园如此有数学基础的人还要去问别人？夏商卜心里对各种高手都很敏感，遇到这种更高的高手，让他既兴奋又嫉妒。

那边的人说：“这种小儿科的问题，我们早就遇到过了。”一吧1pinshu