徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

邱奇-圖靈論題

指数 邱奇-圖靈論題

#重定向 邱奇-图灵论题.

1 关系: 邱奇-图灵论题

邱奇-图灵论题

邱奇-图灵论题(Church–Turing thesis,又称邱奇-图灵猜想,邱奇论题,邱奇猜想,图灵论题)是一个关于可计算性理论的假设。该假设论述了关于函数特性的,可有效计算的函数值(用更现代的表述来说--在算法上可计算的)。简单来说,邱奇-图灵论题认为“任何在算法上可计算的问题同样可由图灵机计算”。 20世纪上半叶,对可计算性进行公式化表示的尝试有:.

新!!: 邱奇-圖靈論題和邱奇-图灵论题 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »