我们正在努力恢复Google Play商店上的Unionpedia应用程序
传出传入
🌟我们简化了设计以优化导航!
Instagram Facebook X LinkedIn

邱奇-图灵论题

指数 邱奇-图灵论题

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

目录

  1. 1 关系: 邱奇-图灵论题

邱奇-图灵论题

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

查看 邱奇-图灵论题和邱奇-图灵论题