V2EX › FrandsA 的所有回复 › 第 1 页 / 共 1 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

2020-11-19 14:44:27 +08:00

关于 “图灵机解决的是什么问题？”

它解决了希尔伯特提出的关于计算的第三部分问题：是不是所有命题都是数学可判定的？也就是说，是不是对所有命题都有明确程序能在有限时间内告诉我们命题是真是假？

图灵通过构想出了“图灵机”来定义了这个问题中关于“明确程序”的部分从而证明了这个问题的答案是否。