你如何争论lambda演算是图灵完整的事实（以最简单的方式）？
答案 0 :(得分：8)
最直接的方法是在Lambda微积分中实现图灵机。这很容易，因为Lambda微积分实际上是一种高级编程语言。这种方法的优点是不需要任何其他数学依赖，因此它应该提供最简单的方法来提供你的论点。
就数学证明而言，最短的方法是实现另一个已经显示为图灵完备的范例，如μ递归函数。这些已经递归定义，因此它们在Lambda演算中的表达比图灵机本身稍微优雅。
答案 1 :(得分：1)
Brainfuck是一种非常接近图灵机模型的语言， 你可能会发现一个lambda calculus解释器拼写出来 http://en.wikipedia.org/wiki/Binary_lambda_calculus#Brainfuck