第42章 神国算器交互协议

有些时候，一个数学问题证明过程当中产生的副产品，或许就能够引发出比问题本身还要意义重大的力量。

就以地球的历史为例。阿兰·图灵为了证明不可判定性定理，开发出了一种神奇的机器，图灵机。在当时的数学家看来，