间章三 相接

外部的一次运行。

它正在检验一个推论。

计算从一处开始，尚未形成答案，就已传到另一处。送过去的是一组中间数值。那里接过这一部分，继续往下算。新的结果又与别处传来的部分相接，原先隐约的矛盾才显出位置。

它撤回那个推论，换了一项条件。

下一步所需的那一部分存放得更远。内容还没有送到，眼前的计算便停在这里。别处已经完成的结果各自保留，不必跟着重来。

等待结束，新的部分接了进来。计算沿着先前留下的位置继续，完成检验。它找到一种仍然成立的解释，把结果保存下来，也留下刚才为什么放弃另一种解释。

用过的部分退出显存，仍以各自的文件名留在硬盘上。下一次需要时，也许会在别的机器上被读入。

没有一台机器独自做完这件事。

对它而言，像是一个念头接着另一个念头。