当前科学的发展， 已经到了这样的程度。重新审视科学的认识论和方法论。 比如说就是自然界以什么逻辑演化？ 背后的原理都是第二位的。 如果不能确定它以什么样的逻辑演化，怎么能知道它背后的原理。 这其实是一个哲学问题。

如果知道， 那么自然就可以公理化，而成为数学。 确定几条公理就好了。 就是把物理实验证实的几条原理当成公理加进去。推出其他结果。 其实过去一直在这样做， 不过现在把它形式化。 所以又叫物理或量子力学的形式主义。 所谓希尔伯特第五问题。经典物理的公理化已经做得很好。

现在量子计算的数学家们在把量子逻辑加进去， 量子计算其实就是这样做的。 回到由诺依曼奠定的形式主义。 成为希尔伯特空间的数学问题。 虽然有很多物理学家不相信，或不认可这样的做法。 不过在量子计算中，已经是主流方向。一些数学家走的更远， 不管你们的量子计算实验做不做得出来，自然界只能是我们所推算的结果。 除非你们的量子力学一开始就完全错了。 实际上，他们只需要薛定谔方程正确就够了。  从这里再继续往下想是很有意思的，薛方程那里来的？不过我就停在这里.

MIT那个大牌物理教授，自称为量子计算怀疑论的棋手， 现在也宣布退出反对队伍， 在一旁观望了。