通用性的证明：任何可分解的问题都原则上可自动化

通用图灵机证明了一个深刻的原理：只要有明确的步骤，任何可重复的智能行为都可以被机器模拟。这不是说机器会"像人一样思考"，而是说"看起来像在思考"这件事原则上可以被算法化。关键判断标准变成了："这个问题能被分解为明确步骤吗？"