Hola, Andres!

Me parece muy chevere la idea. Me adhiero al grupo.

Ahora, pasando al tema que narras, yo he leido el trabajo de Bennet, pero
aun no lo he podido entender completamente. La primera parte, que trata
sobre la menor disipacion de una compuerta reversible, si creo que la he
entendido, y se basa en el trabajo de Landauer. La idea es la siguiente:

En termodinamica, existen dos tipos de procesos: reversibles e
irreversibles. Esto tiene que ver con la entropia. La segunda ley de la
termodinamica dice que todo proceso fisicon en un sistema cerrado, o
aumenta la entropia del sistema, o la mantiene, pero que no la puede
disminuir. Si un proceso aumenta la entropia del sistema, entonces no
puede existir el proceso contrario, porque ese tendria que REDUCIR la
entropia del sistema, y la 2a. ley lo impide. Tales procesos se llaman,
por lo tanto, irreversibles. En cambio, aquellos procesos que mantienen la
entropia son reversibles, porque la 2a. ley permite el proceso inverso. 
Ademas, un aumento de entropia siempre se relaciona con un aumento de
temperatura del sistema. Por lo tanto, una cosa fisica que sufre un prceso
irreversible se espera que "se caliente" (Nota: usando la definicion de
"Temperatura" de los termometros -hay otras-).

Ahora bien, existe otra cosa que se llama irreversibilidad logica. Cuando
una operacion logica sobre un dato1 da el mismo resutado que sobre un dato
2, la operacion es irreversible; en efecto, a partir del resultado no me
puedo devolver y saber cual era la entrada (o, en terminos del colegio,
una funcion reversiblee necesita ser 1 a 1 y sobre. Si no es 1 a 1, no
tienee funcion inversa, es decir, no es reversible).

La idea de Landauer es que la memoria y todas las demas partes de un
computador que realiza una operacion logica irreversible estan construidas
de componentes fisicos, y que por lo tanto rrealiza un proceso fisico
gobernado por las leyes de la termodinamica. El postula que si la
operacion logica es irreversible, entonces tambien lo es el proceso
fisico, y por lo tanto se esperaria un aumento de la temperatura.

Finalmente, un computador que realizara solo operaciones reversibles se
calentaria menos.

A partir de esta idea, Bennett dice demostrar que un Demonio de Maxwell
con memoria no es reversible. (si quieren saber que es un demonio de
maxwell, les cuento).

Sin embargo, estas cosas son discutibles, y se discuten. A mi
personalmente me asalta una duda: las memorias de los computadores se
parecen mas a unos sistemas llamados modelos de ising, compuestos por una
hilera -1D- o una matriz -2d- de Spines o etc.., en los que la energia se
calcula con los primeros vecinos: dos spines que esten paralelos mantenen
entre ellos una energia potencial 0; dos que esten antiparalelos una
energia potencial 1. Estos sistemas de spin tienen unas caracteristicas
interesantes de la temperatura, y realmente se puede estudiar en detalle
como varia su energia (y, haciendo promedios su temperatura) al moverse un
spin. En ellos se puede definir y calcular la temperaatura de una
forma muy precisa, nada abstracta.

Creo, por consiguiente, que el estudio de estos sistemas pueede dar luces
y bases claras al problema. 

> Para entender un poco mas el asunto, una compuerta logica reversible
> es la compuerta de Fredkin que opera como sigue :
> 
>      ____
>  A _|    |_ A'
>  B _|    |_ B' 
>  C _|    |_ C'
>     |____|
>      
> - La compuerta tiene 3 entradas y 3 salidas (para no perder informacion).
> - Una de las entradas (A) es una se~al de control. 
> 
> Tabla de verdad :
> 
> Si A = 0 => A'=A, B'=B, C'=C
> Si A = 1 => A'=A, B'=C, C'=B  
> 

Una forma de hacer compuertas AND, OR y NOT con compuertas reversibles es
la siguiente:

NOT:  A=x, B=1, C=0  de esta forma se obtiene B'= (NOT x)
AND:  A=x, B=0, C=y  de esta forma se obtiene B'= x AND y
OR:   A=x, B=y, C=1  de esta forma se obtiene B'= x OR y

Estas se obtienen usando que x AND 0 = 0, x AND 1 = x para el segundo
caso, y que x OR 0 = x y x OR 1 = 1 para el tercero. Con estas tres se
pueden implementar todas las demas.

Bueno, eso era lo que les queria comentar. Perdonenme que me demore tanto
en contestar, pero aqui sigo al pie del canhon, vivito y coleando.

Chao!

Jose Daniel