邱奇-图灵命题：一个函数是可计算的，当且仅当它是可计算的图灵机，或等价地，如果它是指定的递归函数。