作者mgtsai ()
看板Physics
標題Re: [轉錄] 不可能的推論現象：以數學計算出知識的 …
時間Sun Apr 19 00:48:12 2009
簡單解釋一下這篇文章的提的問題：
就是，我們人類是否有能力找到宇宙的所有定律？
在文章中，給了否定的答案
要了解為何是 NO，首先可以從圖靈機停機問題著手
圖靈機停機問題，翻譯成現代的電腦相關的話語：
我們是否可以寫出一支程式，而這支程式的功能為
判斷任一支程式 (因為程式本身就是一堆機器碼所組成的)，
是否會結束執行，還是會無窮無盡地執行而不會停止 (例如，進入無迴圈的狀態)？
表面上看起來，好像不會太難
因為，似乎可以想辦法讓程式去分析所輸入之機器碼的結構與執行流程
再從中判斷到底最後會不會結束
但，出乎意料的，這個問題的答案是否定的，並不存在這一支程式
只要你寫出一支可以判斷某些機器碼的結構會停止執行，或者會進入無窮迴圈狀態
但是，一定存在另一些機器碼組合，是這支程式所無法判斷出來是否會停止執行
這就是著名的，圖靈機停機無法判定之問題
* * * * * * * * * *
而這篇文章所述，其中一個重點在於，我們人類本身就存在於這個宇宙之中
所有的物理定律，也必定作用於我們自身
作用於組成我們人類的所有分子原子電子夸克等基本粒子上
當我們在尋找宇宙中所有定律的過程中
當大腦在運作時，腦中的基本粒子亦同時依物理定律運作
類似圖靈機停機問題所遇到的狀況，當這支程式在判定自己的過程中
會遇上麻煩，導致無法判定 yes or no 的狀況
(詳細過程請參考停機問題的証明，資訊相關科系中自動機理論這門課有詳細証明)
如果，我們的研究對象，是另一個宇宙的話 (就是不包含我們人類自身的另一個宇宙)
或許或許，還有可能，找到真正的 TOE.....
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 116.59.12.220
1F：推 ANUBISANKH:感謝你的解說，這樣就比較容易理解了! 04/19 00:54
2F：推 F23:能不能類似推導波函數那樣，去逼近本徵函數啊? 04/19 03:04
3F：推 canlin:個人淺見：它想說的是哥德爾不完備性定理，但此定理每個人 04/19 21:01
4F：→ canlin:怎麼理解，怎麼解釋，就很分歧了 04/19 21:01
5F：→ serveto:就拿宇宙擴張來說好了，拿擴散方程式來類比；那個偏微分 04/19 21:59
6F：→ serveto:方程式解出來後，粒子在空間上的分布隨著時間而有不同形狀 04/19 22:00
7F：→ serveto:所以我們現在情形是，如果測量到某時某地的某種狀態函數值 04/19 22:01
8F：→ serveto:首先要確定這個測量值是發生在哪個地點(對比擴散起源) 04/19 22:02
9F：→ serveto:以及從最初到現在已經經過多久時間 04/19 22:02
10F：→ serveto:然後才有可能推算最初的情形 04/19 22:03
11F：→ serveto:其實我一直覺得推論計算上可以有兩種方向 04/19 22:04
12F：→ serveto:一種是由已知條件計算，另一種是嘗試錯誤，類似蒙地卡羅 04/19 22:05
13F：→ serveto:Monte-Carlo法比較適合讓電腦作 04/19 22:06
14F：推 serveto:總而言之，如果沒辦法反推擴散起源，卻想推算宇宙起源 04/19 22:20
15F：→ serveto:那是還不會跑就想學飛 04/19 22:20
16F：→ MOONRAKER:Stop problem是Turing提出的 不特定在Turing Machine 04/19 23:24
17F：→ MOONRAKER:也不是所有的finite machine都可以化為Turing Machine 04/19 23:24
18F：→ MOONRAKER:其實是指一般的finite machine而言 04/19 23:25