计算的实质: ■为了回答究竞什么是计算、什么是可计算 性等问题,人们采取的是建立计算模型的方 法。 ■四种模型:一般递归函数、入可计算函数 图灵机和波斯特( EL. Post,1897-1954)系统。 在此基础上,最终形成了如今著名的丘奇 图灵论点:凡是可计算的函数都是一般递归函 数(或是图灵机可计算函数等)。这就确立了计算 与可计算性的数学含义。 2525 计算的实质： ◼为了回答究竟什么是计算、什么是可计算 性等问题，人们采取的是建立计算模型的方 法。 ◼四种模型：一般递归函数、λ可计算函数、 图灵机和波斯特(E.L.Post，1897-1954)系统。 􀂄 在此基础上，最终形成了如今著名的丘奇- 图灵论点：凡是可计算的函数都是一般递归函 数(或是图灵机可计算函数等)。这就确立了计算 与可计算性的数学含义