从图灵到 Transformer：可计算与不可计算的边界探讨

在计算机发展的历史长河中，图灵和冯·诺依曼的理论构建了现代计算机的基础，使我们得以划定哪些问题是“可计算”的，哪些则是“不可计算”的。图灵提出的停机问题揭示了计算的局限性，而冯·诺依曼体系结构则定义了计算机硬件的运行规则。这些理论和架构为后来的计算发展奠定了坚实的基础。然而，随着人工智能，特别是深度学习技术的崛起，以Transformer为代表的现代计算模型挑战了我们对“计算”的传统认知，模糊了可