更改

图灵机 (查看源代码)

删除1字节、 2021年7月28日 (三) 17:49

第592行：第592行： −

它的运动只是部分由配置决定…当这样一台机器达到其中一种不明确的配置时，它不能继续运行，直到外部操作者做出任意的选择。如果我们使用机器来处理公理系统，就会出现这种情况。

+

它的运动只是部分由配置决定…当这样一台机器达到其中一种不明确的配置时，它不能继续运行，直到外部操作者做出任意的选择。如果我们使用机器来处理公理系统，就会出现这种情况。——The Undecidable，p.118

−

~~——The~~ Undecidable，p.118

150

个编辑