2009-06-25

[這已經不是常識了]哥德爾不完備定理

基本上哥德爾不完備定理說明了任何一個(合邏輯的數學化)理論,
要嘛完備(可導出模型內的任何結果)、要嘛相容(無矛盾)、
要嘛兩個都做不到,就是不可能同時完備跟相容。

當然這個傢伙的論證式極其複雜的
(甚至我的上面的簡述都有點問題)。



而這個定理真正可怕的地方在於證明了,
無法以數理邏輯製造無矛盾的萬能理論之外,
還捅了AI開發一刀......

不過這個定理倒是常拿來做SF的梗就是了,
還有那些搞哲學的也很喜歡拿這個來嗆科學,
(不過話說回來,他們這樣做是有點自婊就是了)