Questions tagged «hypercomputation»

10
驳斥教会图灵的论点意味着什么?
对不起,标题很吸引人。我想了解,应该怎么做才能反驳“ Turing-Turing”论题?我读过某个地方,从数学上讲是不可能做到的!为什么? Turing,Rosser等使用不同的术语来区分:“可以计算出什么”和“可以由Turing机器计算出什么”。 图灵在1939年对此的定义是:“我们将使用“可计算的功能”一词来表示可由机器计算的功能,而“有效地可计算的”是指直觉性的想法,而没有对这些定义中的任何一种进行特殊识别。 因此,Church-Turing论文可以说如下:每个有效可计算的函数都是可计算的函数。 那么,如果有人反驳这一猜想,证明又将如何?


3
超计算模型如何克服停机问题?
超计算是指无法使用图灵机进行仿真的计算模型。(超级计算机不一定可以在物理上实现!)某些超级计算机可以访问资源,从而可以解决标准图灵机的暂停问题。称其为“超能力”:具有超能力的超级计算机可以决定是否有任何标准的图灵机终止。 超级计算机使用哪种“超级大国”? 埃德·布莱克(Ed Blakey)的论文建立了一个正式的框架来对超级计算中使用的一些主要资源进行分类,但是它并未尝试提供对超级能力的全面概述。我对超级计算机列表(在Wikipedia文章中有一个不错的列表)不感兴趣,但是对理解每种模型使用什么“特殊调味料”(也许被认为是一种独特的资源)不感兴趣。 这个问题的灵感来自不确定性的根本性?。同样相关的是,否定教会图灵理论是什么意思?引起了很多有趣的讨论,并且目前正在研究任何计算模型,它们可能比图灵机更强大吗?。
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.