王崎重新回到讲坛的边缘，盘膝而坐，闭目养神。

    理论计算机领域——计算机科学的数学基础领域当中，最重要的递归论，图灵机、拉姆达算法，便在这一夜同时传扬了整个神州。

    现在，他们只不过是不完备和不可判定的注脚。但是，总会有不凡之人发掘出其中的奥妙。

    就算抛开理论层面的意义，光是这个收获就不会小。

    算器理论的飞跃，就等于是王崎修法的飞跃。

    以后，他就可以借助神州算门的资源，来完善自己的修法。光是这一点，就已经值回票价了。

    更不用说不完备、不可判定在理论上的意义。