当前科学的发展, 已经到了这样的程度。重新审视科学的认识论和方法论。 比如说就是自然界以什么逻辑演化? 背后的原理都是第二位的。 如果不能确定它以什么样的逻辑演化,怎么能知道它背后的原理。 这其实是一个哲学问题。
如果知道, 那么自然就可以公理化,而成为数学。 确定几条公理就好了。 就是把物理实验证实的几条原理当成公理加进去。推出其他结果。 其实过去一直在这样做, 不过现在把它形式化。 所以又叫物理或量子力学的形式主义。 所谓希尔伯特第五问题。经典物理的公理化已经做得很好。
现在量子计算的数学家们在把量子逻辑加进去, 量子计算其实就是这样做的。 回到由诺依曼奠定的形式主义。 成为希尔伯特空间的数学问题。 虽然有很多物理学家不相信,或不认可这样的做法。 不过在量子计算中,已经是主流方向。一些数学家走的更远, 不管你们的量子计算实验做不做得出来,自然界只能是我们所推算的结果。 除非你们的量子力学一开始就完全错了。 实际上,他们只需要薛定谔方程正确就够了。 从这里再继续往下想是很有意思的,薛方程那里来的?不过我就停在这里.
MIT那个大牌物理教授,自称为量子计算怀疑论的棋手, 现在也宣布退出反对队伍, 在一旁观望了。