共 2 篇相关文章
Yuri Gurevich 提出真正的算法永远是确定性的，概率与量子算法只是通过预言机等外部助手获取信息。本文梳理其抽象状态机三公设、Spec Explorer 与欧盟反垄断案往事，以及这一框架对理解现代计算系统的启示。
Markdown文档虽易读却不是严谨的规格说明。本文解析为何自然语言需求文档容易产生漏洞，以及形式化分析如何通过一致性、完备性检查提前发现需求缺陷，并探讨其在AI编程时代的现实意义。
