3
¿Explicación simple de por qué ciertas funciones computables no pueden ser representadas por un término escrito?
Al leer el documento Una Introducción al Cálculo Lambda , me encontré con un párrafo que realmente no entendía, en la página 34 (mi cursiva): Dentro de cada uno de los dos paradigmas hay varias versiones de cálculo lambda mecanografiado. En muchos sistemas importantes, especialmente aquellos a la Iglesia, los …