就是一个判断我们是否钻牛角尖的问题。先从我们人类的角度出发,你觉得我们人类有办法判断自己是否钻了牛角尖吗?从纯逻辑上来说,图灵证明了我们每一个人都没有办法做出这样的自我判断。
但是,现实中真的有人在不断地钻牛角尖吗?可能会有,我想那一定是极少数,因为我们的思维能力和客观条件,不允许我们去不断地深入探讨。
回到机器人领域,我们现在觉得机器人不能解决运算死循环的问题,那还是基于机器人无法自我控制的假设之上。如果机器人的思维能力进一步提高,对运算时间和消耗能源有统筹安排,那么,制定出一个计算的上限并不是什么困难的事儿。这一点,在AlphaGo的实践中就已经做到了。