國際先驅導報文章本次演講中，我想問的是，我們在追求理解和知識方面能走多遠：我們是否能最終發現一套完備形式的自然規律？我所說的完備形式是指一套規則，這些規則至少原則上可使我們任意精確地**未來，了解任一時刻宇宙的狀態。決定論流傳久遠
從亞里斯多德往後，哲學家和科學家都一直只是定性地認識規律。牛頓在2023年發表了包含其萬有引力理論的《自然哲學數學原理》，正是牛頓的這一著作使人們開始來定量和精確地認識規律。這導致了「科學決定論」思想，這種思想大概是由拉普拉斯最先表達的。如果在某一時刻，乙個人知道宇宙中所有粒子的位置和速度，那麼根據科學規律我們就能計算得出它們在任何其它時刻的位置和速度，無論是過去還是未來。
20世紀初期，一系列的科學發現諸如放射性原子的衰減似乎是隨機發生的，使決定論思想瀕於破產，用愛因斯坦的語言來說，似乎是「上帝在擲骰子」。不過，科學界通過重新定義什麼是對宇宙的完整理解及更改目標，重新挽救了決定論。這主要是狄拉克的貢獻。
狄拉克表明，薛丁格和海森堡的工作可以整合到對實在進行描述的新圖景——量子理論中。在量子理論中，乙個粒子不是像在經典牛頓理論中那樣用位置和速度兩個量來描述，而是用單一量——波函式來描述。打了折的決定論
波函式給出粒子可能在某一點出現的概率和從乙個點到另乙個點之間運動速度變化的概率，人們可以在波函式中求解到精確的位置或者精確的速度，但不能同時確定兩者。乍看這似乎是使完整的決定論變得不可能。因為人們不能同時精確地知道粒子在某一時刻的位置和速度，怎麼能**其未來狀況呢？但是在量子理論中，人們不需要同時知道位置和速度兩個量。如果乙個人知道物理規律及某一時刻的波函式，那他就可用薛丁格方程計算出該波函式隨時間變化有多快，進而計算出任何其它時刻的波函式。
人們因此可以宣稱這還是一種決定論，不過這種決定論是一種打了折的決定論。因為人們不能精確地**位置和速度這兩個量，而只能**波函式乙個量。我們得到的是一種被重新定義的決定論，剛好是拉普拉斯所設想的決定論的一半。
為了計算出波函式如何隨時間變化，人們需要了解在整個宇宙都成立的量子規律。因此問題是，我們對這樣的規律知道多少？沒有理論能**未來
儘管量子理論以及涉及電磁力的麥克斯韋方程的確適用於絕大部分領域，但還有兩個重要的領域在其適用範圍之外，乙個是核力，乙個是引力。核力決定了太陽發光、元素的形成，而引力導致了恆星和行星乃至宇宙本身的形成。所以，為了完整地理解宇宙，至少能夠原則上精確地**各種事物，需要把這些方面都統一起來。
弱核力已與麥克斯韋方程統一起來，形成電弱統一理論。對強核力，則由另一種不同的理論——稱為qcd——加以描述。電弱統一理論和qcd理論加在一起就組成粒子物理學的所謂「標準模型」，其目標是描述除引力外的所有事物。
儘管標準模型在一切實際用途中都已足夠用，但科學家們仍然在孜孜尋求，試圖闡發出可以適用於整個宇宙的完備理論。這種追求的動力不在於經濟原因。從伽利略以來，沒有任何乙個科學家是為了金錢而進行基本理論研究的。我們尋求乙個完備理論的真正原因是我們想理解宇宙，我們覺得我們不只是黑暗而神秘力量的犧牲品。如果我們認識了宇宙，那麼我們就可在某種意義上控制它。而現在的標準模型很清楚不能滿足這個要求。
如果我們要理解宇宙的話，就必須有乙個完全協調一致的量子引力理論。在過去30多年間，構建量子引力理論成了理論物理學界的最重大問題。但是這非常困難。
從2023年以來，我們就認識到超引力和超弦理論都屬於乙個更大結構，即m－理論，而m－理論不是一種通常意義上的理論，而是一系列理論的集合。該集合中的每一理論在限制條件如低能量或低輻射情況下都成立，但是超出這限制條件就不適用了。這意味著它們中沒有任何乙個理論能夠精確地**宇宙的未來。我們不是天使
直至目前，大多數人都含蓄地假定存在一種終極理論，我們最終能夠發現它。事實上，我本人就曾說過我們會很快找到這個理論。但是m－理論讓我懷疑這是否是真的。也許要以有限數量的命題來闡述宇宙終極理論是不可能的。這和哥德爾不完備性定理非常相似，該定理說任何有限公理系統都不足以證明其中的每乙個數學命題。
哥德爾定理和我們是否能以有限數量的原理構建宇宙終極理論有什麼關係呢？乙個聯絡是明顯的。根據實證論科學哲學，乙個物理理論乃是一數學模型。因此如果有數學命題不能證明的話，那就有物理問題不能**。
在標準的實證論科學哲學看來，物理理論無償居住於柏拉圖式理想數學模型天國中。也就是說，乙個模型可以任意程度地詳細，可以包含任意多量的資訊，而不會影響它們所描述的宇宙本身。但我們不是天使，可以從外面觀察宇宙。相反，我們和我們的模型兩者都是我們所描述的宇宙中的組成部分，因此乙個物理理論是自指的，就像哥德爾定理所說的那樣。人們因此可以認為它或者是不一致的，或者是不完備的。我們迄今所有的各種物理理論既是不一致的，也是不完備的。
如果不存在一種可從有限條數原理推導出來的終極理論，一些人將非常失望。我過去就屬於這個陣營。但是我已改變了我的看法。現在我很高興我們尋求知識的努力永遠都不會到達終點，我們始終都有獲得新發現的挑戰。沒有這種挑戰，我們就會停滯。哥德爾定理保證了數學家們總有事情要做，我想m－理論也將為物理學家們做同樣的事情。（凌高/摘譯）（新華網·國際先驅導報）
微軟高階開發者管理峰會演講摘要 產品質量的基石
來自 微軟 蔡鉳 2002.12.11 一 團隊組織 1 常見問題 沒有人願意做測試 覺得養不起那麼多測試人員 開發人員不遵循規範，隨心所欲 專案經理事必躬親，分身乏術 2 微軟團隊模型 各角色的職責 角色職責 專案經理 編寫功能規範，協調各角色關係 產品經理 客戶聯絡的橋梁，進行需求分析 使用者教...