Preguntas etiquetadas con reversible-computing

¿Un lenguaje de programación que solo puede implementar funciones biyectivas computables?

¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to

¿Qué tiene de malo el método de "guardar la entrada" de la computación reversible?

Soy un estudiante universitario que recién comienza a leer sobre informática reversible. Sé que, debido al principio de Landauer, los cálculos irreversibles disipan el calor (y los reversibles no). Lo mencioné con mi profesor, que nunca antes había oído hablar de la computación reversible, y estaba...