可以被图灵机，以及另外两个理论所实现。虽然这三个理论被证明是等价的，但是其中的前提假设--“能够有效计算”是一个模煳的定义。因此，虽然这个假说已接近完全，但仍然不能由公式证明。
假说前提.已知的三种计算过程（递归，λ演算和图灵机）都是等价的--这三种方法定义了同一类函数。这导致数学家和计算机科学家相信可计算性的概念可由上述三种等价的计算过程描述。简单来讲，邱奇-图灵论题认为如果某种方法（算法）可进行运算，那么该运算也可被图灵机执行（也可被递归定义的函数或λ函数执行）。邱奇-