人工智能的理想有多远(七):无法通过计算解决的问题

前一类问题是不能在有限时间内计算解决的问题。还有些问题是无法通过计算解决的问题。比如停机问题。

所谓停机问题是说计算机没有办法判定一个程序能不能正常结束,这个问题的另一种表达是计算机无法判定一个程序会不会进入死循环,

这是经过严格逻辑证明的结论。这个问题不是个独立的问题,是代表了一类不了判定问题。这类问题计算机无法解决。

另一个经过证明的命题是不了计算的函数比可计算的函数要多的多。可计算函数对应的是自然数集合的可数无穷大,而所有的需要计算的函数是无穷不可数集合。

通过哥德尔的不完备定理也可以推导出计算机不可能通过计算的方式得到一个公里系统的全部真命题。

而人类似乎可以轻易的归纳识别出真理,比如像牛顿运动定律,爱因斯旦的相对论理论是不可能通过计算机自己推导出来的,而人类可以突破自己的感知限制从一些简单事实中总结出来。