行而上

摘要： \(\newcommand{\l}{\lambda}\)图灵证明了图灵机可计算的函数等价于由\(\lambda\)-calculus定义的可计算函数。\(\lambda\)-calculus定义的可计算函数就是能用\(\l\)-term表示的函数（从自然数到自然数的映射）。在\(\l\)-calcu 阅读全文

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