FrandsA 最近的时间轴更新
FrandsA

FrandsA

V2EX 第 511754 号会员,加入于 2020-10-10 10:56:22 +08:00
FrandsA 最近回复了
2020-11-19 14:44:27 +08:00
回复了 James369 创建的主题 程序员 计算机的原理是图灵机吗,那图灵机的数学原理是什么?
关于 “图灵机解决的是什么问题 ?”

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

图灵通过构想出了“图灵机”来定义了这个问题中关于“明确程序”的部分从而证明了这个问题的答案是否 。
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   1409 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 11ms · UTC 23:46 · PVG 07:46 · LAX 16:46 · JFK 19:46
Developed with CodeLauncher
♥ Do have faith in what you're doing.