Some of these models are the recursive functions of Godel, of Church, Post machines of Post and the Turing machines of Turing.

• 其中一些模型是哥德尔的递归函数，丘奇的演算，波斯特的波斯特机和图灵的图灵机。