Perguntas com a marcação «reversible-computing»

Uma linguagem de programação que só pode implementar funções bijetivas computáveis?

Existem linguagens de programação (ou lógica) que podem implementar (ou expressar) uma função se e somente se for uma função bijetiva computável?f:N→Nf:N→Nf:\mathbb{N}\to

O que há de errado com o método "salvar a entrada" da computação reversível?

Sou estudante de graduação apenas começando a ler sobre computação reversível. Eu sei que, por causa do princípio de Landauer, cálculos irreversíveis dissipam calor (e reversíveis não). Eu falei com meu professor, que nunca tinha ouvido falar em computação reversível antes, e ele estava tendo...