※ 引述《mgtsai ()》之銘言： : 建議你可以先去詳細看過一次 : 哥德爾不完備定理，以及圖靈機停機問題的完整証明 : 之後再回頭看這篇文章，才曉得文章要講的概念為何 : 文中所談，不單單只是什麼資訊資料知識這種表象的問題而已 不對喔！ 請再詳細看一次底下節錄的內容 ----------------- 沃伯特的研究是要為每個過程找出一個嚴格描述的形式，例如對量的測量、 對現象的觀察、對系統未來狀態的預測，或是對過去資訊的記憶，而這項過程的 描述基本上是足以獨立於物理定律之外。他提出，這些過程具備共同的基礎結構： 一定要有裝置（不管是實驗儀器或是用來模擬的電腦）、關於宇宙的問題一定得 確切、一定要得出答案（不論對錯）。因此，他定義出一組稱為推論裝置的數學 項，用來展示這種普遍結構。 沃伯特證明，在宇宙的任何這類系統中，系統內的推論裝置都不能用來確定 系統內的量。因此，拉普拉斯在19世紀出所提出來的「惡魔假說」（把宇宙中每 個粒子的確切位置和速度資料給惡魔，它就會計算出宇宙未來的狀態）就滯礙難 行了，因為惡魔也隸屬於宇宙的一部份。 這個定理的證明和哥德爾不完備定理以及涂林停機問題的結論很類似，都跟 所謂「說謊者弔詭」有關：要拉普拉斯的惡魔去預測出未來宇宙中，下述事情的 真偽：「如果你對這個問題的回答為『是』，宇宙是否無法成為符合這個答案的 宇宙？」對於惡魔來說，要找出一個正確的是非答案，就像是要去證明「這個命 題是錯的」為真。了解整個宇宙的真實現狀，了解支配整個宇宙的定律，並且擁 有無限的計算能力，都無助於惡魔找出正確答案。 ------------------ 『這個定理的證明和哥德爾不完備定理以及涂林停機問題的結論很類似』 是類似的問題，但引證的點有所差異，這一句是重點... 『例如對量的測量、對現象的觀察、對系統未來狀態的預測，或是對過去資訊的記憶， 而這項過程的描述基本上是足以獨立於物理定律之外。』 這就是量子資訊裡最重要的基本概念，資訊與資料的基本定義..... 量子資訊有一門專門的領域就是在研究這種『開放』與『封閉』系統的學問 馬里蘭有一個教授是此領域的專家，每年幾乎都會來台灣演講個一次 如果去參加每年舉辦的量子資訊的研討會，大概都很有機會看到他 [ 我以前會去報名賺便當，內容加減聽，反正也聽不懂 :D ] 其實這問題，在量子資訊已經有人在做很有系統的研究了......... 不過我沒有很深入去了解，我對研討會的便當菜色可能比較有了解 :D~ --

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