It is declared in the A. Church proposition that every algorithm can be described with a Turing machine.

• 著名的丘奇(A.；Church)命题指出；任何算法都可以用一个图灵机来描述