Als «reversible-computing» getaggte Fragen

Eine Programmiersprache, die nur berechenbare bijektive Funktionen implementieren kann?

Gibt es Programmiersprachen (oder Logik), die eine Funktion genau dann implementieren (oder ausdrücken) können, wenn f eine berechenbare bijektive Funktion ist?f: N → N.f:N→Nf:\mathbb{N}\to

Was ist an der Methode "Save the Input" des reversiblen Rechnens fehlerhaft?

Ich bin ein Student, der gerade anfängt, über reversibles Rechnen zu lesen. Ich weiß, dass irreversible Berechnungen aufgrund des Landauer-Prinzips Wärme abführen (und reversible nicht). Ich sprach es mit meinem Professor an, der noch nie von Reversible Computing gehört hatte, und er hatte...