862 機器人

人工智能證明上帝存在？哥德爾本體論論證自相矛盾！後院活動部

總有人擔心人工智能有一天會統治人類。但是百年前的哥德爾看來，不是這麼回事。

多年前曾有牛津大學學者根據哥德爾不完全性定理，推斷機器不可能具有人的心智。在當時的技術條件下，人們無法推定這個結論的真偽，反對意見認為兩者風牛馬不相幹。

讓我們來看看

第一定理：任意一個包含一階謂詞邏輯與初等數論的形式係統，都存在一個命題，它在這個係統中既不能被證明為真，也不能被證明為否。

第二定理：如果係統S含有初等數論，當S無矛盾時，它的無矛盾性不可能在S內證明。

哥德爾不完全性定理強就強在提出了真與可證是兩碼事。可證的一定是真的，但真的不一定可證。

換句話說：你不能用1加1等於2來論證1加1等於2的正確性，也不能論證它的不正確性。

邏輯上自相矛盾就是悖論，比如挑戰下這句話：

“這句話是錯的。”

不完全性定理，對於人工智能和大腦神經科學前沿工作有著指導意義。

哥德爾本體論論證的盡頭，必須麵對哲學的終極問題，上帝存不存在，若其然，人作為上帝所造之物難以企及上帝的視角，既然不能企及，怎麼能論證；若不然，人從哪裏來，宇宙往哪裏去，宇宙規則如何定下。

我們把這樣的計算定理交給人工智能去推理，當然以目前的進度難以達到論證宇宙與上帝的程度，如果以後可以呢？

最後更新：2017-11-09 00:48:06