你如何证明lambda演算是图灵完备的（以最简单的方式）？
最简单的方法是在Lambda微积分中实现图灵机。这很容易，因为Lambda微积分实际上是一种高级编程语言。这种方法的优点是不需要任何其他数学依赖关系，因此它应该提供最简单的方式来提供您的论点。
就数学证明而言，最短的方法是实现另一种已经被证明是图灵完备的范式，比如µ-递归函数。这些已经是递归定义的，所以它们在Lambda演算中的表达式比图灵机本身稍微优雅一些。
Brainfuck是一种非常接近图灵机模型的语言，您可能会在http://en.wikipedia.org/wiki/Binary_lambda_calculus#Brainfuck
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium