通用人工智能比永动机问题更严重。通用近似定理有两个严重问题，微积分、概率统计、深度学习有局限性。需进一步研究逻辑和参照系

找出通用近似定理（Universal Approximation theorem）的那两个严重问题，也可以帮助理解双通道残差神经网络的缺陷。

现在大学数学系教的实际上是形式主义数学。工程师用的是实用主义数学。都无法研究上述问题。

需要进一步研究逻辑主义、直觉主义、形式主义三大数学流派的本质区别和缺陷，并找出改进的方法，需要找出比哥德尔语句更重要、更广适的问题。

普里高津的耗散结构理论无法深入，是因为没有认识到智力科学、生命科学、物理科学需要不同参照系以及不同参照系之间需要逻辑转换。

形式主义数学和实用主义数学缺乏必要的逻辑结构和机制，无法研究那些不同参照系及不同参照系之间的逻辑转换。