丘奇－图灵论题

所有"直觉上能计算的"都能被图灵机计算。它不是定理，是一条被广泛接受的论断。