第112页 史提芬·古克和利奥尼德·列文 良解难觅

    列文如今是波士顿大学的计算机科学教授，在那里他与芝加哥大学的马里奥·茨格第、拉兹洛·巴柏和兰斯·弗德诺合作开发了一种“透明”证明的理论。
    这几位数学家开发出来一套写证明的方法，具有如下的奇异特性：如果以这种方法写出的证明中存在某个错误，那么对于证明里任何一小部分进行数学检验，都会有一个相同的概率能发现这个错误。为了讨论的方便，我们假设每次发现一个错误的概率为1/2。假设我们以这种方法写出了一个证明，如果分别对它不同的部分进行了40次数学检验，都没有发现错误，那么这个证明错误的可能性就小于1万亿分之一。（这有点像全息摄影。这种照片的每一个部分都包含有其他所有部分的信息。这种证明也是如此。）