V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
V2EX  ›  FrandsA  ›  全部回复第 1 页 / 共 1 页
回复总数  1
关于 “图灵机解决的是什么问题 ?”

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

图灵通过构想出了“图灵机”来定义了这个问题中关于“明确程序”的部分从而证明了这个问题的答案是否 。
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   5344 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 14ms · UTC 03:46 · PVG 11:46 · LAX 20:46 · JFK 23:46
♥ Do have faith in what you're doing.