?邱奇

...计算模型的代表。而计算资源与计算模型是相关的，如对图灵机我们一般讨论的是时间、空间和随机源，而对电路我们一般讨论电路的大小。 由邱奇-图灵论题（Church-Turing thesis），所有的一致的计算模型与图灵机在多项式时间意义下是等价的。

?图灵论题

丘奇一图灵论题(Church-Turing thesis):"宇宙中的一切计算过程都可以用图灵机来建模"。图1为图灵模型,也是计算机的抽象模型,通过变化图灵机的规则表以及增加它的内部的...

?丘奇

由此就有了著名的“丘奇-图灵论题”（Church-Turing thesis）：

?杜林论题

... 邱池论题 Church thesis 邱池-杜林论题 Church-Turing thesis 变动率 churn rate ...