Re: [轉錄] 不可能的推論現象:以數學計算出知識的 …

看板Physics作者時間15年前 (2009/04/19 00:48), 編輯推噓4(4014)
留言18則, 5人參與, 最新討論串4/7 (看更多)
簡單解釋一下這篇文章的提的問題: 就是,我們人類是否有能力找到宇宙的所有定律? 在文章中,給了否定的答案 要了解為何是 NO,首先可以從圖靈機停機問題著手 圖靈機停機問題,翻譯成現代的電腦相關的話語: 我們是否可以寫出一支程式,而這支程式的功能為 判斷任一支程式 (因為程式本身就是一堆機器碼所組成的), 是否會結束執行,還是會無窮無盡地執行而不會停止 (例如,進入無迴圈的狀態)? 表面上看起來,好像不會太難 因為,似乎可以想辦法讓程式去分析所輸入之機器碼的結構與執行流程 再從中判斷到底最後會不會結束 但,出乎意料的,這個問題的答案是否定的,並不存在這一支程式 只要你寫出一支可以判斷某些機器碼的結構會停止執行,或者會進入無窮迴圈狀態 但是,一定存在另一些機器碼組合,是這支程式所無法判斷出來是否會停止執行 這就是著名的,圖靈機停機無法判定之問題 * * * * * * * * * * 而這篇文章所述,其中一個重點在於,我們人類本身就存在於這個宇宙之中 所有的物理定律,也必定作用於我們自身 作用於組成我們人類的所有分子原子電子夸克等基本粒子上 當我們在尋找宇宙中所有定律的過程中 當大腦在運作時,腦中的基本粒子亦同時依物理定律運作 類似圖靈機停機問題所遇到的狀況,當這支程式在判定自己的過程中 會遇上麻煩,導致無法判定 yes or no 的狀況 (詳細過程請參考停機問題的証明,資訊相關科系中自動機理論這門課有詳細証明) 如果,我們的研究對象,是另一個宇宙的話 (就是不包含我們人類自身的另一個宇宙) 或許或許,還有可能,找到真正的 TOE..... -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 116.59.12.220

04/19 00:54, , 1F
感謝你的解說,這樣就比較容易理解了!
04/19 00:54, 1F

04/19 03:04, , 2F
能不能類似推導波函數那樣,去逼近本徵函數啊?
04/19 03:04, 2F

04/19 21:01, , 3F
個人淺見:它想說的是哥德爾不完備性定理,但此定理每個人
04/19 21:01, 3F

04/19 21:01, , 4F
怎麼理解,怎麼解釋,就很分歧了
04/19 21:01, 4F

04/19 21:59, , 5F
就拿宇宙擴張來說好了,拿擴散方程式來類比;那個偏微分
04/19 21:59, 5F

04/19 22:00, , 6F
方程式解出來後,粒子在空間上的分布隨著時間而有不同形狀
04/19 22:00, 6F

04/19 22:01, , 7F
所以我們現在情形是,如果測量到某時某地的某種狀態函數值
04/19 22:01, 7F

04/19 22:02, , 8F
首先要確定這個測量值是發生在哪個地點(對比擴散起源)
04/19 22:02, 8F

04/19 22:02, , 9F
以及從最初到現在已經經過多久時間
04/19 22:02, 9F

04/19 22:03, , 10F
然後才有可能推算最初的情形
04/19 22:03, 10F

04/19 22:04, , 11F
其實我一直覺得推論計算上可以有兩種方向
04/19 22:04, 11F

04/19 22:05, , 12F
一種是由已知條件計算,另一種是嘗試錯誤,類似蒙地卡羅
04/19 22:05, 12F

04/19 22:06, , 13F
Monte-Carlo法比較適合讓電腦作
04/19 22:06, 13F

04/19 22:20, , 14F
總而言之,如果沒辦法反推擴散起源,卻想推算宇宙起源
04/19 22:20, 14F

04/19 22:20, , 15F
那是還不會跑就想學飛
04/19 22:20, 15F

04/19 23:24, , 16F
Stop problem是Turing提出的 不特定在Turing Machine
04/19 23:24, 16F

04/19 23:24, , 17F
也不是所有的finite machine都可以化為Turing Machine
04/19 23:24, 17F

04/19 23:25, , 18F
其實是指一般的finite machine而言
04/19 23:25, 18F
文章代碼(AID): #19wWHDNP (Physics)
討論串 (同標題文章)
文章代碼(AID): #19wWHDNP (Physics)