祖文远说：“这里有个问题，让重复信息减少是可以的。只是这个冗余是个什么东西？”
华罗说：“就是一个大家停下来之后，依旧做着强大运算的怪异东西。”
祖文远说：“这个东西怎么用数学来表达呀？”
华罗说：“听说你们的自动证明机2.0已经可以使用，可以计算这个吗？”
祖文远说：“网路冗余这个命题需要用简单的逻辑符号表示出来才可以做这个工作呢！”
华罗说：“能不能把大斜边计划的构架用简单逻辑符号表示出来，运算出这种冗余？”
吴俊说：“你可以找孔丘明那里的人问问吗？毕竟网络是他们做出来的。”
华罗说：“只是我和他的领导不太一样，会不会遭嫌疑？”
吴俊说：“别乱想，那是他们高层的问题，你可是需要解决当下的问题呀。如果你解决不了净化网络的问题，你还得离开你的岗位。”
内容未完，下一页继续阅读