从数学推导人工智能的边界

昨晚临睡前，看到了一篇使用数学推导人工智能边界的文章，感觉很有意思，就把大致过程写下来。

1.世界上有很多问题，其中只有一小部分是数学问题 。

2.在数学问题中，只有一小部分是有解的。

3.在有解的数学问题中，只有一部分是理想状态的图灵机可以解决的。

4.在图灵机可以解决的问题中，只有一部分是当今的计算机可以解决的。

5.人工智能可以解决的问题，只是计算机可以解决的问题的一部分。

第1,2两个结论的依据是数学家已经证明了的：并非所有的数学问题都有解，即使有解，计算的步骤也可能是无限的。

第3,4结论的依据是图灵机（数学模型，非机器）设计的初衷就是通过有限的步骤求证有明确解的数学问题，当今的计算机，也包括正在设计的计算机都在图灵机的范畴之内。

第5的依据是人工智能是建立在计算的基础之上的。

担心人工智能的强大是杞人忧天，人类需要做的是实现更强大的人工智能，以解决更多现实的问题。