Yuri Gurevich
计算机科学家，抽象状态机（ASM）理论创始人，曾任职于微软研究院，研究领域包括逻辑学、算法理论与计算机科学基础
时间轴 (近 90 天)
Yuri Gurevich 提出核心论点：真正的算法永远是确定性的，所谓的“非确定性”不过是算法通过外部“助手”获取信息的结果。
Gurevich 认为计算机科学的核心研究对象是算法。
Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。
Gurevich 将简化费马素性测试的概率算法重新表述为：确定性算法本身调用一个名为 `choose in` 的预言机来获取随机数。
Gurevich 将 Grover 搜索算法中的 Hadamard 门、酉变换等操作视为返回 true 的预言机调用，算法看到的只是确定性的控制流。
1990 年代末，Gurevich 在微软研究院组建团队开发了 Spec Explorer——基于抽象状态机的高层可执行规格说明工具。
Gurevich 的助手模式框架要求算法的行为保证依赖于对助手行为的假设，例如费马测试的可靠性取决于随机源的质量。
Gurevich 在早期关于抽象状态机的论文中写道，“非确定性算法”是自相矛盾的说法。
全部知识事实 (8)
Yuri Gurevich 提出核心论点：真正的算法永远是确定性的，所谓的“非确定性”不过是算法通过外部“助手”获取信息的结果。
50%待验证Gurevich 认为计算机科学的核心研究对象是算法。
50%待验证Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。
50%待验证Gurevich 将简化费马素性测试的概率算法重新表述为：确定性算法本身调用一个名为 `choose in` 的预言机来获取随机数。
50%待验证Gurevich 将 Grover 搜索算法中的 Hadamard 门、酉变换等操作视为返回 true 的预言机调用，算法看到的只是确定性的控制流。
50%待验证1990 年代末，Gurevich 在微软研究院组建团队开发了 Spec Explorer——基于抽象状态机的高层可执行规格说明工具。
50%待验证Gurevich 的助手模式框架要求算法的行为保证依赖于对助手行为的假设，例如费马测试的可靠性取决于随机源的质量。
50%待验证Gurevich 在早期关于抽象状态机的论文中写道，“非确定性算法”是自相矛盾的说法。
50%