Last Modified: 4c7c5de on
2026-07-06
刚刚又和几个CS界的聊完所以总结两句。
其实计算机科学到现在，可以说是数学历史上第一次，在物理世界与客观实在的投影。但也是因此带来了巨大的困扰：数学本质上不是自然科学更像是逻辑自洽的艺术，因而计算机科学长期与物理实在脱钩。这还是根本矛盾。
也是因此，为了完成我们将数学投影得到的狭义计算的任务，我们诞生了图灵论题，循环论证的定义了可计算与图灵机完备性；由此自然而然诞生了冯诺依曼架构与哈佛架构（我们现在的计算机一般L1是指令和数据分离属于哈佛架构，其它层是冯诺依曼架构为了成本与效率）；也是因此，本质上因为数学与物理世界的不合，我们开始堆砌复杂度，从永无止境的分层存储，到系统工程的无数圣经无不如此；再到今天讨论的关于C-ABI过于保守阻碍了“完美”函数语言的区域化内存管理，线性类型的小对象不断创建销毁开销等，其实都是抽象堆叠的结果，抵抗熵增。还有x86的臃肿，risc的膨胀，以及大量我们设计的基于离散代数的算法，其实本质上都是将物理实在用一层层抽象强行抽象出数学的样子。所以，有一句话是没错的，计算机科学在于抽象，抽象不能泄露。
虽然某种意义上也泄漏了，现在我们面临的成千上万的问题与瓶颈不想列举了。
或许到了最后，计算还是会回归到它的本真，对现实世界的模拟，以及对过程的模拟。而这个过程既包括数学过程离散的操作，也就是复刻我们人脑思维方式；也包括大自然的过程借助自然进行过程的模拟。
费曼其实这么想过，比如量子计算的最初概念，可惜一到了计算机科学界量子计算很快便被抽象出来变成了能进行概率幅的并行搜索或特定代数结构的映射的图灵机辅助。但其实我们一直没意识到，计算作为工具应该是为目的服务的，任何可以实现我们模拟目的的过程都可以是广义上的计算。
和密码学方向的研究人员以前聊的时候我就警告过，不要把量子计算就当作能跑Shor和Grover的机器，可能特定代数结构比如格基结构会很容易被某些非图灵计算解决。尽管他们依然只是一笑觉得我在开玩笑也就带过去了。不过威胁确实存在。
当然，一旦这样的范式转变发生，现在的计算机科学界要不变成经典情况下的研究人员，要不就变成数学家，反正在社会学上推进这样的转变还是会极其困难的。以及社会惯性也极大。
刚刚又和几个CS界的聊完所以总结两句。
其实计算机科学到现在，可以说是数学历史上第一次，在物理世界与客观实在的投影。但也是因此带来了巨大的困扰：数学本质上不是自然科学更像是逻辑自洽的艺术，因而计算机科学长期与物理实在脱钩。这还是根本矛盾。
也是因此，为了完成我们将数学投影得到的狭义计算的任务，我们诞生了图灵论题，循环论证的定义了可计算与图灵机完备性；由此自然而然诞生了冯诺依曼架构与哈佛架构（我们现在的计算机一般L1是指令和数据分离属于哈佛架构，其它层是冯诺依曼架构为了成本与效率）；也是因此，本质上因为数学与物理世界的不合，我们开始堆砌复杂度，从永无止境的分层存储，到系统工程的无数圣经无不如此；再到今天讨论的关于C-ABI过于保守阻碍了“完美”函数语言的区域化内存管理，线性类型的小对象不断创建销毁开销等，其实都是抽象堆叠的结果，抵抗熵增。还有x86的臃肿，risc的膨胀，以及大量我们设计的基于离散代数的算法，其实本质上都是将物理实在用一层层抽象强行抽象出数学的样子。所以，有一句话是没错的，计算机科学在于抽象，抽象不能泄露。
虽然某种意义上也泄漏了，现在我们面临的成千上万的问题与瓶颈不想列举了。
或许到了最后，计算还是会回归到它的本真，对现实世界的模拟，以及对过程的模拟。而这个过程既包括数学过程离散的操作，也就是复刻我们人脑思维方式；也包括大自然的过程借助自然进行过程的模拟。
费曼其实这么想过，比如量子计算的最初概念，可惜一到了计算机科学界量子计算很快便被抽象出来变成了能进行概率幅的并行搜索或特定代数结构的映射的图灵机辅助。但其实我们一直没意识到，计算作为工具应该是为目的服务的，任何可以实现我们模拟目的的过程都可以是广义上的计算。
和密码学方向的研究人员以前聊的时候我就警告过，不要把量子计算就当作能跑Shor和Grover的机器，可能特定代数结构比如格基结构会很容易被某些非图灵计算解决。尽管他们依然只是一笑觉得我在开玩笑也就带过去了。不过威胁确实存在。
当然，一旦这样的范式转变发生，现在的计算机科学界要不变成经典情况下的研究人员，要不就变成数学家，反正在社会学上推进这样的转变还是会极其困难的。以及社会惯性也极大。