FrandsA's recent timeline updates FrandsA's recent timeline updates |
FrandsAV2EX member #511754, joined on 2020-10-10 10:56:22 +08:00 |
FrandsA's recent replies
Nov 19, 2020 Replied to a topic by James369 › 程序员 › 计算机的原理是图灵机吗，那图灵机的数学原理是什么？ |
关于 “图灵机解决的是什么问题 ？”
它解决了希尔伯特提出的关于计算的第三部分问题：是不是所有命题都是数学可判定的？也就是说，是不是对所有命题都有明确程序能在有限时间内告诉我们命题是真是假？
图灵通过构想出了“图灵机”来定义了这个问题中关于“明确程序”的部分从而证明了这个问题的答案是否 。
它解决了希尔伯特提出的关于计算的第三部分问题：是不是所有命题都是数学可判定的？也就是说，是不是对所有命题都有明确程序能在有限时间内告诉我们命题是真是假？
图灵通过构想出了“图灵机”来定义了这个问题中关于“明确程序”的部分从而证明了这个问题的答案是否 。
Select Language