行而上

摘要： \(\newcommand{\l}{\lambda}\)图灵证明了图灵机可计算的函数等价于由\(\lambda\)-calculus定义的可计算函数。在\(\l\)-calculus中，“计算”是通过term的rewrite来完成的，因此函数的计算往往意味着符号串的“递归”。我们将会定义递归函数(r 阅读全文

摘要： 图灵(Turing)和丘奇(Church)都为“计算”建立了模型，图灵的模型是图灵机，丘奇的模型是\(\lambda\)-calculus。可以证明这两个模型在计算能力（可计算的问题的集合）上是等价的。基于图灵机的原理诞生了Fortran，Pascal等等的编程语言，他们称为指令式编程语言(impe 阅读全文