當前科學的發展， 已經到了這樣的程度。重新審視科學的認識論和方法論。 比如說就是自然界以什麼邏輯演化？ 背後的原理都是第二位的。 如果不能確定它以什麼樣的邏輯演化，怎麼能知道它背後的原理。 這其實是一個哲學問題。
如果知道， 那麼自然就可以公理化，而成為數學。 確定幾條公理就好了。 就是把物理實驗證實的幾條原理當成公理加進去。推出其他結果。 其實過去一直在這樣做， 不過現在把它形式化。 所以又叫物理或量子力學的形式主義。 所謂希爾伯特第五問題。經典物理的公理化已經做得很好。
現在量子計算的數學家們在把量子邏輯加進去， 量子計算其實就是這樣做的。 回到由諾依曼奠定的形式主義。 成為希爾伯特空間的數學問題。 雖然有很多物理學家不相信，或不認可這樣的做法。 不過在量子計算中，已經是主流方向。一些數學家走的更遠， 不管你們的量子計算實驗做不做得出來，自然界只能是我們所推算的結果。 除非你們的量子力學一開始就完全錯了。 實際上，他們只需要薛定諤方程正確就夠了。 從這裡再繼續往下想是很有意思的，薛方程那裡來的？不過我就停在這裡.
MIT那個大牌物理教授，自稱為量子計算懷疑論的棋手， 現在也宣布退出反對隊伍， 在一旁觀望了。
