Questions tagged «hypercomputation»


5
图灵机+时间膨胀=解决暂停问题?
有相对论的时空(例如MH时空;请参见Hogarth 1994),其中无限持续时间的世界线可以包含在有限观察者的过去中。这意味着普通观察者可以访问无限数量的计算步骤。 假设一台计算机可以在无限长的时间内完美运行(我知道这是一个很大的要求):可以构造一台沿着此无限世界运行的计算机HM,计算给定M的停止问题。如果M停止,HM将信号发送给有限的观察者。如果经过无数步后观察者没有收到信号,则观察者知道M循环,从而解决了停止问题。 到目前为止,这对我来说还可以。我的问题是:如果我到目前为止所说的是正确的,这将如何改变图灵关于停顿问题无法确定的证据?为什么他的证明在这些时空中失败了?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.