Turning Complézess of Lambda Calculus?

Question

Comment discutez-vous pour le fait que Lambda Calculus Turing est terminé (de la manière la plus simple possible)?

Answer 1

Le moyen le plus simple est de mettre en œuvre une machine de Turing dans le calcul de la Lambda.C'est assez facile, car le calcul de la Lambda est pratiquement un langage de programmation de haut niveau.Cette approche présente l'avantage de ne pas nécessiter d'autres dépendances mathématiques, et il devrait ainsi fournir le moyen le plus simple possible de fournir votre argument.

En termes d'une preuve mathématique, la manière la plus courte passe en mettant en œuvre un autre paradigme qui a déjà été démontré que Turing Turing complet, comme des fonctions de μ-récursives.Celles-ci sont déjà définies de manière récursive, leur expression dans le calcul de la Lambda est légèrement plus élégante que la machine de Turing elle-même.

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