Lambda Calculus的完整性？

Question

如何争论Lambda Calculus完成完整的事实（以最简单的方式）？

Answer 1

最直接的方式是在Lambda微积分中实施图灵机。这很容易，因为Lambda微积分实际上是一种高级编程语言。这种方法具有不需要任何其他数学依赖性的优势，因此它应该提供提供论证的最简单方法。 在数学证据方面，最短的方式通过实现已经被证明的另一个范例进行了完成，例如μ递归函数。这些已经经过递归定义，因此它们在Lambda微积分中的表达略高于图灵机本身。

Answer 2

Brainfuck is a language that very closely models Turing Machines, and you may find a lambda calculus interpreter spelled out at http://en.wikipedia.org/wiki/Binary_lambda_calculus#Brainfuck