王崎重新回到讲坛的边缘,盘膝而坐,闭目养神。
理论计算机领域——计算机科学的数学基础领域当中,最重要的递归论,图灵机、拉姆达算法,便在这一夜同时传扬了整个神州。
现在,他们只不过是不完备和不可判定的注脚。但是,总会有不凡之人发掘出其中的奥妙。
就算抛开理论层面的意义,光是这个收获就不会小。
算器理论的飞跃,就等于是王崎修法的飞跃。
以后,他就可以借助神州算门的资源,来完善自己的修法。光是这一点,就已经值回票价了。
更不用说不完备、不可判定在理论上的意义。
他已经改写了算学的框架。只要等下渡过难关,他就会成为神州顶尖的算家。无论是声威还是其他,都将远远超过过去的自己。
这是隐性的好处。
而他在这个时候再推广布尔巴基学派思想,就可以将这“隐性”的好处,转化为“显性”的好处。
布尔巴基学派的研究,自纯数学而始,最终又成就了新世纪物理学研究的坚实基础。
但是,并被所有人都能向他一样,看到这一步。
更多与他相熟的人,只是在担心。
毛梓淼捂着脑袋,只觉得头昏脑涨的:“喵……艾师姐,小崎他到底在讲什么啊……”
艾轻兰眼中也透着迷惘:“不太清楚……虽然不明白,但还是觉得好厉害……”
她勉强能够听懂王崎在讲什么——可是,这玩意有什么意义吗?
而这个时候,辰风放下自己的算器,怒道:“这个疯子……”