程序为何总出错？Stephen Wolfram 的 Bug 理论

Towards a Theory of Bugs: The Ruliology of the Unexpected

Bug 在软件世界中无处不在，且往往出人意料。Stephen Wolfram 提出，利用 ruliology 和计算不可约性原理，我们可以从基础层面理解 Bug 的本质。即便是结构简单的程序，如 Turing machines，也可能因计算复杂性而产生不可预测的错误。文章探讨了计算有效性与 Bug 倾向之间的权衡，以及自动化系统（包括 AI）在检测这些深层 Bug 时面临的根本挑战。