Invertibilidad, Reversibilidad

Muchas veces una idea se transforma y se replica en distintos rincones y contextos, eso es lo que ocurre con una idea que me es cercana y que particularmente está en mi retina por muchos años, y que lamentablemente  está en el centro de mi propuesta doctoral. Ha sido por uno y otro concepto satisfactorio, como agobiante, no ha sido fácil conciliar y concebir una base fundacional en que pueda sustentar el programa de la invertibilidad computacional.   En un comienzo, parte de la argumentación emergió desde las ideas emanadas en el contexto de isomorfismo de tipos, pero lo que ocurre a nivel de especificaciones, no escala de la misma manera a los programas. La complejidad de los algoritmos involucrados y su tratabilidad son de orden significativamente distintos.

Por estos días, entre búsquedas furtivas de referencias y posibles fuentes de inspiración me encontré otro concepto que circunda la idea de invertibilidad,reversibilidad computacional, esta vez la sustentación se encuentra en la intersección entre diseño de circuitos y la física, curioso fue constatar que la motivación fundamental de este concepto es la preservación y disipación de la energía. Circuitos que representan de una y otra forma funciones booleanas que no sean invertibles, generan calor, es decir, perdida irremediable de energía y las desventajas que ello implica. Una bonita metáfora que me permite redescubrir esta idea que plasma cada rincón de mi tesis, una arista tan atingente como la preservación de un nuevo insumo, tan en boga y en demanda por nuestro quehacer cotidiano.

Percibo una triada que sustentan la invertibilidad como paradigma de programación: reescritura, eficiencia, estética. La primera que representa la posibilidad de traducir distintos procesos equivalentes a lo largo de distintas estructuras de datos. En la segunda pensamos en la posibilidad de un manejo eficiente de los recursos, esto es  algo se puede almacenar en una forma primitiva, las demás formas equivalentes serán deducidas y desenrolladas desde esta, la cosa es mucho mejor aun, y en dicho proceso preservaremos energía. La tercera no más que pensar en un objeto que puede ser visto desde distintas perspectivas, no sólo desde una perspectiva!

Seguiremos soñando, invertibilidad, reversibilidad..