Hard
停机问题对自动程序验证的启示
阐述不可计算性理论的核心定理及其对软件工程安全性的根本限制。
📝 Prompt-Inhalt
请从理论计算机科学的角度，详细解释艾伦·图灵的“停机问题”。以此为基础，论证为什么构建一个能够完美检测所有计算机程序中潜在错误或恶意代码的通用自动化工具在数学上是不可能的。请在讨论中涉及递归函数论和归约法的概念。