En informática, ¿la reversibilidad lógica implica reversibilidad física?

Las computadoras pueden ser lógicamente reversibles pero físicamente no reversibles y esta es la regla más que la excepción. Aquí hay un ejemplo de una computadora lógicamente reversible. Una computadora realiza la suma aritmética de números de un solo dígito. Encuentra que 1 + 3 = 4. Esto es lógicamente no reversible ya que desde la salida 4 es imposible saber si las entradas fueron (1,3) o, por ejemplo, (2,2). Por lo tanto, agregamos una segunda salida que encuentra la diferencia 1–3 = -2. De la salida combinada (4, -2) podemos recuperar la entrada (1,3). Esta transformación de vector a vector ahora es lógicamente reversible. Físicamente, esto es irreversible con cualquiera de las computadoras actuales, ya que los sumadores electrónicos (o sustractor) disipan el calor. Además, las operaciones electrónicas de hoy son unidireccionales, es decir, el par de operaciones 1 + 3 y 1–3 son realizadas por otro circuito que las operaciones inversas 0.5 (4–2) y 0.5 (4- (-2)) o por el mismo circuito pero en otro ciclo de reloj.