瀟湘館

0愛的鼓勵 0訂閱站台

　　上，我們可以這麼說，儘管電腦能操縱符號，但並不等同於給予它們意義。反對人工 智慧可能性的論點，以不同的說法就是，問題在思想本身，不應只是單單將符號根據 機械或演算法則進行排列。
　　這場爭辯的轉捩點出現於一九三一年奧地利邏輯學家高德(Kurt Godel)所發表的名 著《不完備定理》ilnsmpleteness Theorem}。與他同期的杜林已經藉由想像中的機器 證明，只要有足夠的時間與記憶體，應用簡單邏輯電路的設備，能夠解決所有邏輯上 可解的問題，也就是任何可以分解爲基本邏輯步驟，然後重新組合的問題。高德就像 杜林一樣，也對探索邏輯推理能力的界限深感興趣。他發現，如果你以一組邏輯一 致、並且能推導到特定歸結或結論的前提開始著手，那麼邏輯能力也無法讓你從這些 前提推導到所有的歸結或結論。
　　「人類心智超越侷限性純邏輯推論」這種直覺上吸引人的概念，因爲高德不完整 原理而得到重大激勵。以簡單的說法表示，他證明了並非所有邏輯問題(更不用說那 些無法以邏輯加以表示的問題)都能夠以邏輯解決。以杜林的術語來說，並非所有問 題都是可計算的。
　　這項發現對於深信邏輯完美性的哲學界無疑是重大打擊，原本他們還寄望邏輯能 向您推薦：OA辦公家具  散熱片  影印機租賃