概念Bounded Exploration Postulate
有界探索公设
抽象状态机理论中的第三公设，形式化算法每步只查看有限信息的直觉，用有界项集和布尔项刻画状态差异
时间轴 (近 90 天)
10月20日
Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。
待验证50%
抽象状态机理论中的第三公设，形式化算法每步只查看有限信息的直觉，用有界项集和布尔项刻画状态差异
Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。