Re: 閒閒沒事來嘴筋一下 - 五子棋

再論五子棋禁手與AI

資訊領域裡，有一門課叫作"計算理論"，
主要在探討計算機的極限或限制。一般分
兩個部分，第一部分，稱為可計算性，再
來是複雜度理論。所謂可計算性，主要結
論是，計算機只能做"可數的"，換句話說
，能找到和正整數一一對應的，例外舉例
實數是不可數的。第二部分，很多可數的
問題，雖然理論上可解，但所需要的時間
與記憶體，是否存在確定的(deterministic)
多項式階解答，一個問題若存在這樣的解
答，則稱為P problem，換句話說，當問
題的自由度增加時，所需時間與記憶體，
是否只呈現多項式成長，如果是否定的，
則實務上有困難。因此，衍生出一個目前
人類還未解決的問題，一個NP problem(存
在非確定的多項式階答案)是否一定有確定
的多項式階解答。

傳奇物理學家費曼學了這門學問後，自創了
費曼計算學，授課的時間是1983-1986，當
時的題目是Potentialities and
Limitations of Computing Machines
，費曼除了重複"可數的"問題才可計算外，
另外包含訊息理論所造成的限制，即資訊傳
遞必然有部分流失，另外有從熱力學第二定律
看計算，指出計算過程中必定使亂度增加，另
外也提出，即便量子計算機可行，它的限制為
何?這門課的內容，有出通俗中譯版，很推薦
閱讀。

Finite讀計算理論，也提出自己的計算哲學：
主要有兩部分，第一、思想、計算機語言與機
器實作，各自有落差。換句話說，我認為思想
是高於語言的，語言無法描述所有思想，遇到
問題的時候，直接在思想裡找答案，若需要語
言的媒介，慎選適合的語言。比如計算五子棋
的攻擊，若能以圖像作為語言，會有比較高的
效率。而機器實作的落差，有現實科技的門檻
，更有費曼提出的各種物理限制。第二部分，
除非必要，否則這個問題連想都不要想。換句
話說，提倡的是一種人本的思想，追求的是生
命的意義與思想的玄奧。前文提到除非必要，
意指科技為用，比如要做飛機動力計算，有必
要把大量重複性工作交給電腦。

--

孟子說：人之所以異於禽獸者幾希
某AI控生說：人類禽獸都是由原子構成的

聖經參詩139：裡面有什麼惡行沒有？
某AI控信徒：絕對不能有bug

某女：吳寶春的麵包很好吃，買給我吃好嗎
某AI控男：所有麵包的主要成分都相同

電腦公司老闆：顧客永遠是對的
某AI控員工：機器不可能會錯

藝術家：這幅畫真經典
某AI控：這幅畫用RGB表現，可能會失真

職業棋士：要提升圍棋的能力，要多做死活
某AI控玩家：死活電腦都算的一清二楚

五子棋高手：只要...你就可以掌握做禁的要訣了
某AI控初學者：禁手的AI不好寫，所以應該要改規則
※ 編輯: finite 來自: 203.64.167.84 (12/13 10:09)