lambda演算的图灵完备性？
你如何认为lambda微积分是图灵完备的（尽可能以最简单的方式）？
最直接的方法是在Lambda微积分中实现图灵机。 这很容易，因为Lambda微积分实际上是一种高级编程语言。 这种方法的优点是不需要任何其他的数学依赖关系，因此它应该提供提供论证的最简单可能的方法。
就数学证明而言，通过实现已经被证明是图灵完备的另一范例，最简单的方法就是μ-递归函数。 这些已经递归定义了，所以它们在Lambda微积分中的表达比图灵机本身稍微优雅。
Brainfuck是一种非常接近Turing Machines的语言，你可以在http://en.wikipedia.org/wiki/Binary_lambda_calculus#Brainfuck找到一个lambda演算解释器。
链接地址: http://www.djcxy.com/p/67867.html