Je lis actuellement " Lambda-Calculus and Combinators " par Hindley et Seldin. Je ne suis pas un expert, mais je me suis toujours intéressé au calcul lambda en raison de son implication dans la programmation fonctionnelle (à commencer par Lisp et SICP, et maintenant avec R et Haskell). Dans "...
La classe de complexité PPAD (par exemple, le calcul de divers équilibres de Nash) peut être définie comme l'ensemble des problèmes de recherche totaux polytemporaires réductibles en FIN DE LIGNE : FIN DE LIGNE : Étant donné les circuits S et P avec n bits d'entrée et n bits de sortie tels que P (0...
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...
Je recherche le plus petit combinateur universel possible , mesuré par le nombre d'abstractions et d'applications nécessaires pour spécifier un tel combinateur dans le calcul lambda . Exemples de combinateurs universels: taille 23: λf.f (fS (KKKI)) K taille 18: λf.f (fS (KK)) K taille 14: λf.fKSK...
J'ai pensé à ces questions: Existe-t-il un calcul lambda typé cohérent et complet de Turing? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent et il y a déjà quelques questions difficiles à répondre dans le cadre non typé ! Plus précisément, je suis curieux de savoir si nous...
Ceci est inspiré par cette question. Soit la collection de tous les combinateurs qui n'ont que deux variables liées. La combinaison C est-elle complète?CC\mathcal{C}CC\mathcal{C} Je pense que la réponse est négative, mais je n'ai pas pu trouver de référence pour cela. Je serais également intéressé...
Je m'intéresse à divers sujets comme la logique combinatoire, le calcul lambda, la programmation fonctionnelle depuis un certain temps et je les étudie. Cependant, contrairement à la «Théorie du calcul» qui s'efforce de répondre à la question de la «calculabilité», c'est-à-dire des choses qui...