基本上哥德爾不完備定理說明了任何一個(合邏輯的數學化)理論，
要嘛完備(可導出模型內的任何結果)、要嘛相容(無矛盾)、
要嘛兩個都做不到，就是不可能同時完備跟相容。
當然這個傢伙的論證式極其複雜的
(甚至我的上面的簡述都有點問題)。
而這個定理真正可怕的地方在於證明了，
無法以數理邏輯製造無矛盾的萬能理論之外，
還捅了AI開發一刀......
不過這個定理倒是常拿來做SF的梗就是了，
還有那些搞哲學的也很喜歡拿這個來嗆科學，
(不過話說回來，他們這樣做是有點自婊就是了)
沒有留言:
張貼留言