图灵机停机,其"停机"二字什么意思

图灵机的停机问题，就是有些问题是无解的，所以图灵机无法识别问题问题是否解决。因为图灵机把问题解决了就会自动停机，把解答结果输出。
其实图灵停机问题从形式逻辑角度来说是这样的，但是从辩证思维的角度或从数学分析的角度来说问题并不是这样的，因为所有的问题无非是发散的无解，震荡式的无解，也就是问题无法收敛。但是在一般情况下，我们人会因为无聊或看清了问题的趋势就会停机，包括我们一下子想不明白的事等，都会停机给出个不不知道就可以了。机器当然我们也同样可以这样做，现在的机器智能已经不是只能进行形式逻辑的处理了，已经超越了形式逻辑这个层次，达到了能够像人那样的进行辩证处理问题了。
注：图灵机底层处理是用的形式逻辑，但是通过组合形式逻辑的功能，早就已经超越了形式逻辑的处理能力，所以过去那些逻辑学家或计算机专家的结论早就过时了，时代在发展，AI的理论也在发展，机器智能早就超越了形式逻辑的索搏。