《探索软件缺陷理论：Ruliology 的意外现象研究》

软件缺陷普遍存在，本文探讨了构建关于缺陷的“科学”理论的可能性。通过分析计算不可约性和可约性等概念，揭示了计算有效性与缺陷倾向之间的基本权衡，以及检测缺陷的策略和测试难度预期。文章以图灵机为例，展示了简单程序中也可能出现复杂计算和不可预见的缺陷，并探讨了自动化系统检测此类缺陷的可行性。