CS
λ演算（一）
1936年，图灵在论文中引入了Turing Machine的概念，与此同时他在丘奇门下攻读博士学位。 而后经Kleene证明： 演算、Turing Machine 和 Kurt Gödel引入的general recursion 函数等价。并由此提出了一个伟大命题——即任何可计算的东西都能被这三种方式所表达。 而函数式语言起源于 丘奇提出的 演算。
Read articleCategory
Category
CS
1936年，图灵在论文中引入了Turing Machine的概念，与此同时他在丘奇门下攻读博士学位。 而后经Kleene证明： 演算、Turing Machine 和 Kurt Gödel引入的general recursion 函数等价。并由此提出了一个伟大命题——即任何可计算的东西都能被这三种方式所表达。 而函数式语言起源于 丘奇提出的 演算。
Read article