到第十二分钟的时候，打印机终于响了。
咔、咔、咔、咔。
一行一行的数字被敲了出来。
周明凑过去，看了一眼，眉头先是皱了起来。
机房里，众人一看周明这幅愁容，心都下意识地提了起来。
一个戴眼镜的学生，喉咙里“咕嘟”咽了口唾沫。
但周明很快就舒展了眉头，他猛地抬起头，全然不顾以往沉稳学者的模样，声嘶力竭吼道：“对的！”
“矩阵乘法，全对！”
几个年轻人先是愣了愣，紧接着就跳了起来，有人使劲拍着旁边人的肩膀，有人干脆蹲在地上，双手捂着脸，肩膀一抖一抖的。
“成了！成了！”
“我们成了！”
一个瘦瘦的学生干脆蹦到了椅子上，挥舞着胳膊大喊，喊着喊着，眼泪就掉了下来，他自己也没察觉，只顾着扯着嗓子喊：
“跑通了！三个程序全跑通了！”
旁边有人被他喊得也红了眼眶，一边抹眼睛一边笑：“你小子，喊什么喊，我又没聋。”
学生娃娃表达情绪就是这么热烈真诚，他们年轻，不加丝毫掩饰的欣喜很快感染了室内所有的人。
机房里的那股紧绷的气氛，一下子就彻底放松了。
角落里，沈有鼎先生听到成功的消息先是一怔，随后默契的转过头，另一边，董世华先生正面带微笑的捋着下巴上的胡子看着他。
“沈兄。”
“丘奇的λ演算，希尔伯特的形式化纲领。”
“咱们搞了一辈子的东西，今日，全在这上面了。”
沈有鼎看着他，微笑着缓缓点了点头：“今日，是逻辑的胜利，也是我们的胜利。”