丘奇-图灵论题

计算理论中的基本论题，主张任何可被有效方法计算的函数都可由图灵机计算，从而将算法与确定性机械步骤绑定