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

[mgtsai ()]

簡單解釋一下這篇文章的提的問題：

就是，我們人類是否有能力找到宇宙的所有定律？

在文章中，給了否定的答案
要了解為何是 NO，首先可以從圖靈機停機問題著手

圖靈機停機問題，翻譯成現代的電腦相關的話語：
我們是否可以寫出一支程式，而這支程式的功能為
判斷任一支程式 (因為程式本身就是一堆機器碼所組成的)，
是否會結束執行，還是會無窮無盡地執行而不會停止 (例如，進入無迴圈的狀態)？

表面上看起來，好像不會太難
因為，似乎可以想辦法讓程式去分析所輸入之機器碼的結構與執行流程
再從中判斷到底最後會不會結束

但，出乎意料的，這個問題的答案是否定的，並不存在這一支程式
只要你寫出一支可以判斷某些機器碼的結構會停止執行，或者會進入無窮迴圈狀態
但是，一定存在另一些機器碼組合，是這支程式所無法判斷出來是否會停止執行

這就是著名的，圖靈機停機無法判定之問題

* * * * * * * * * *

而這篇文章所述，其中一個重點在於，我們人類本身就存在於這個宇宙之中
所有的物理定律，也必定作用於我們自身
作用於組成我們人類的所有分子原子電子夸克等基本粒子上

當我們在尋找宇宙中所有定律的過程中
當大腦在運作時，腦中的基本粒子亦同時依物理定律運作
類似圖靈機停機問題所遇到的狀況，當這支程式在判定自己的過程中
會遇上麻煩，導致無法判定 yes or no 的狀況
(詳細過程請參考停機問題的証明，資訊相關科系中自動機理論這門課有詳細証明)

如果，我們的研究對象，是另一個宇宙的話 (就是不包含我們人類自身的另一個宇宙)
或許或許，還有可能，找到真正的 TOE.....


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 116.59.12.220
推 ANUBISANKH:感謝你的解說，這樣就比較容易理解了!
推 F23:能不能類似推導波函數那樣，去逼近本徵函數啊?
推 canlin:個人淺見：它想說的是哥德爾不完備性定理，但此定理每個人
→ canlin:怎麼理解，怎麼解釋，就很分歧了
→ serveto:就拿宇宙擴張來說好了，拿擴散方程式來類比；那個偏微分
→ serveto:方程式解出來後，粒子在空間上的分布隨著時間而有不同形狀
→ serveto:所以我們現在情形是，如果測量到某時某地的某種狀態函數值
→ serveto:首先要確定這個測量值是發生在哪個地點(對比擴散起源)
→ serveto:以及從最初到現在已經經過多久時間
→ serveto:然後才有可能推算最初的情形
→ serveto:其實我一直覺得推論計算上可以有兩種方向
→ serveto:一種是由已知條件計算，另一種是嘗試錯誤，類似蒙地卡羅
→ serveto:Monte-Carlo法比較適合讓電腦作
推 serveto:總而言之，如果沒辦法反推擴散起源，卻想推算宇宙起源
→ serveto:那是還不會跑就想學飛
→ MOONRAKER:Stop problem是Turing提出的 不特定在Turing Machine
→ MOONRAKER:也不是所有的finite machine都可以化為Turing Machine
→ MOONRAKER:其實是指一般的finite machine而言