# 停机问题

为什么编写正确的软件很难

计算复杂性理论揭示软件正确性存在根本局限。从哥德尔不完备定理到图灵停机问题，经典成果证明程序验证不仅困难，某些情况下甚至不可能。实现完全正确的软件面临巨大成本，这是计算自然规律的直接结果。