3.1引 言 ·入演算的历史 Church在20世纪30年代研究的定义可计算函数的 一种形式体系 Kleene在1936年证明，入可定义的所有自然数函 数正好是所有的递归函数 Turing在1937年证明，入可定义的数值函数正好 是Turing机可计算的函数 一演算一直影响着程序设计语言的研究3.1 引 言 • 演算的历史 – Church在20世纪30年代研究的定义可计算函数的 一种形式体系 – Kleene在1936年证明，可定义的所有自然数函 数正好是所有的递归函数 – Turing在1937年证明，可定义的数值函数正好 是Turing机可计算的函数 – 演算一直影响着程序设计语言的研究