862 机器人

人工智能证明上帝存在？哥德尔本体论论证自相矛盾！后院活动部

总有人担心人工智能有一天会统治人类。但是百年前的哥德尔看来，不是这么回事。

多年前曾有牛津大学学者根据哥德尔不完全性定理，推断机器不可能具有人的心智。在当时的技术条件下，人们无法推定这个结论的真伪，反对意见认为两者风牛马不相干。

让我们来看看

第一定理：任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。

第二定理：如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。

哥德尔不完全性定理强就强在提出了真与可证是两码事。可证的一定是真的，但真的不一定可证。

换句话说：你不能用1加1等于2来论证1加1等于2的正确性，也不能论证它的不正确性。

逻辑上自相矛盾就是悖论，比如挑战下这句话：

“这句话是错的。”

不完全性定理，对于人工智能和大脑神经科学前沿工作有着指导意义。

哥德尔本体论论证的尽头，必须面对哲学的终极问题，上帝存不存在，若其然，人作为上帝所造之物难以企及上帝的视角，既然不能企及，怎么能论证；若不然，人从哪里来，宇宙往哪里去，宇宙规则如何定下。

我们把这样的计算定理交给人工智能去推理，当然以目前的进度难以达到论证宇宙与上帝的程度，如果以后可以呢？

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