Самый простой способ - внедрить машину Тьюринга в лямбда-исчисление.Это довольно просто, потому что Lambda Calculus - это язык программирования высокого уровня.Преимущество этого подхода состоит в том, что он не требует каких-либо других математических зависимостей и поэтому должен обеспечивать самый простой из возможных способов предоставления аргумента.
С точки зрения математического доказательства самый короткий путь заключается в реализации другой парадигмы, котораяуже было показано, что она завершена по Тьюрингу, как µ-рекурсивные функции.Они уже определены рекурсивно, поэтому их выражение в лямбда-исчислении несколько более элегантно, чем сама машина Тьюринга.