Questions marquées «reversible-computing»

Un langage de programmation qui ne peut implémenter que des fonctions bijectives calculables?

Existe-t-il des langages de programmation (ou logique) qui peuvent implémenter (ou exprimer) une fonction si et seulement si est une fonction bijective calculable? ff:N→Nf:N→Nf:\mathbb{N}\to

Quels sont les défauts de la méthode de sauvegarde réversible de l'informatique réversible?

Je suis un étudiant de premier cycle qui commence tout juste à lire sur l'informatique réversible. Je sais qu'en raison du principe de Landauer, les calculs irréversibles dissipent la chaleur (et les réversibles non). J'en ai parlé avec mon professeur, qui n'avait jamais entendu parler de...