Preguntas con respuestas sobre "church-encoding"

11 preguntas, página #1

18

votos

3

respuestas

vistas 3,461

Aritmética con números eclesiásticos

Estoy trabajando con SICP y el problema 2.6 me ha puesto en una especie de dilema. Al tratar con los numerales de la Iglesia, el concepto de codificar cero y 1 como funciones arbitrarias que satisfacen ciertos axiomas parece tener sentido. Además, derivando la formulación directa de números individuales ...

preguntado 12 años, 3 meses