Actualmente estoy leyendo " Cálculo Lambda y Combinadores " de Hindley y Seldin. No soy un experto, pero siempre me ha interesado el cálculo lambda debido a su participación en la programación funcional (comenzando con Lisp y SICP, y ahora con R y Haskell). En " Cálculo binario lambda y lógica...
La clase de complejidad PPAD (por ejemplo, el cálculo de varios equilibrios de Nash) se puede definir como el conjunto de problemas de búsqueda total polytime reducible a FIN DE LA LÍNEA : FIN DE LA LÍNEA : Dados los circuitos S y P con n bits de entrada y n bits de salida de modo que P (0 n ) = 0...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
Estoy buscando el combinador universal más pequeño posible , medido por el número de abstracciones y aplicaciones requeridas para especificar dicho combinador en el cálculo lambda . Los ejemplos de combinadores universales incluyen: tamaño 23: λf.f (fS (KKKI)) K tamaño 18: λf.f (fS (KK)) K tamaño...
He estado pensando en estas preguntas: ¿Existe un cálculo lambda mecanografiado que sea consistente y Turing completo? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent ¡y ya hay algunas preguntas relacionadas difíciles de responder en la configuración sin tipo ! Más...
Esto está inspirado en esta pregunta. Sea la colección de todos los combinadores que solo tienen dos variables ligadas. ¿ C es combinatoriamente completa?CC\mathcal{C}CC\mathcal{C} Creo que la respuesta es negativa, sin embargo, no pude encontrar una referencia para esto. También me interesarían...
He estado interesado en varios temas como Combinatory Logic, Lambda Calculus, Functional Programming por un tiempo y los he estado estudiando. Sin embargo, a diferencia de la "Teoría de la computación", que se esfuerza por responder a la pregunta de "computabilidad", es decir, cosas que pueden / no...
Inspirado por esta pregunta , tenía curiosidad por saber si había una estrategia de reducción para los combinadores de SKI sin tipo que se sabía que era normal o perpetua. Como se describe aquí (Doce aquí ), las reglas no determinantes del cálculo del combinador son las siguientes: yox → xIx→xIx...