: ※ 編輯: uefangsmith 來自: 123.110.129.46 (04/18 12:02) : 推 oolontea:古人的知識遠比現在差的多，他們也活的好好的 04/18 13:29 : 推 Keelungman:有趣的文章 :) 04/18 13:44 : → MOONRAKER:(1)Heisenberg:略(2)Kurt Go"del's Incompleteness thm 04/18 23:12 : → MOONRAKER:(3)A. Turing's Stop Problem 04/18 23:12 : → MOONRAKER:至於本文主題的這個thm，比較像Incompleteness 04/18 23:14 : 推 crazybobo:想問若是兩個惡魔同時研究 什麼條件讓他們無法預測未來 04/19 12:25 : 推 SamLucien:感覺又是在說蝴蝶效應 04/20 02:16 : → SamLucien:指的是開頭~ 04/20 02:17 跟Incompleteness引證的點還是有點不同 說白話一點，就是把量子力學的 Operator 重新定義過 這位研究人員沃伯特把數學型式講成文字形式，變得很複雜難懂 把以上文字重組成數學形式，大概是以下的概念 第一段： 　　　　沃伯特的研究是要為每個過程找出一個嚴格描述的形式，例如對量的測量、 　　對現象的觀察、對系統未來狀態的預測，或是對過去資訊的記憶，而這項過程的 　　描述基本上是足以獨立於物理定律之外。他提出，這些過程具備共同的基礎結構： 　　一定要有裝置（不管是實驗儀器或是用來模擬的電腦）、關於宇宙的問題一定得 　　確切、一定要得出答案（不論對錯）。因此，他定義出一組稱為推論裝置的數學 　　項，用來展示這種普遍結構。 要定義的就是量子力學的Operator的普適性 下一段： 　　　　推論裝置可以在一組可能存在的宇宙中運作。舉例來說，我們的宇宙（也就 　　是我們這個宇宙所經歷過的所有時間和空間）是所有可能存在的宇宙中的一組， 　　這些宇宙都由相同的定律所支配。在沃伯特的分析中，這些定律不需要特別指定， 　　重要的是各種可能的推論裝置都要對每個宇宙的問題提供解答。在和我們宇宙相 　　似的宇宙中，或許就有一套推論裝置牽涉到一組你明天中午會使用的電子磅秤， 　　以及屆時和你質量相關的數據。人們或許就是其中一組推論裝置。 定義其實所謂的Operator也具有其本徵狀態涵數，而所謂的量測 其實是兩狀態函數間的coupling... 最後兩段： 　　　　沃伯特證明，在宇宙的任何這類系統中，系統內的推論裝置都不能用來確定 　　系統內的量。因此，拉普拉斯在19世紀出所提出來的「惡魔假說」（把宇宙中每 　　個粒子的確切位置和速度資料給惡魔，它就會計算出宇宙未來的狀態）就滯礙難 　　行了，因為惡魔也隸屬於宇宙的一部份。 　　　　研究人員早就已經證明出特定物理系統的不可計算性，沃伯特指出，他得出 　　的結論則適用得更廣。在他的結論中，不需要假設任何物理定律，並且對於推論 　　工具計算能力的唯一限制，就是它必須存在於所討論的宇宙之內。除此之外，結 　　論不僅可以用來觀察目前的狀態，並且檢驗過去的記錄。 如果你能依照量子力學數學形式把第一段跟第二段明確定義出來 你就自然可以在數學公式看出所謂量測的極限... 而這是用廣義的物理量來做Operator定義，自然如他所說，不用假設任何物理定律... 其實阿！這位沃伯特應該去參加個幾場量子資訊的研討會，一定會收穫很多... --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.204.133.5