Piedra Rosetta de la Computación

La piedra Rosetta original es una estela gravada con el mismo mensaje en griego antiguo, egipcio jeroglífico, y egipcio demótico. En esos tiempos no se entendían bien los jeroglíficos, y tener con qué compararlos ayudó a resolver el sistema de escritura.

John Baez y Mike Stay escriben un artículo, “Physics, topology, logic and computation: a Rosetta Stone” [ed. actualizado, ver comentario], que pretende buscar una relación entre procesos físicos, topología, lógica y computación. Los de computación ya tenemos más o menos clara la relación computación-lógica; los físicos asimilan más o menos bien la relación física-topología. Suena interesante todo lo demás, el artículo está aún en revisión y tiene 44 páginas. El nivel teórico es ligeramente elevado, aunque tratable.

La idea principal es que hay “objetos” y “morfismos”. En computación los objetos son “tipos de datos” y los morfismos son “programas”; básicamente la idea sobre la que está construído Haskell. En lógica los objetos son “proposiciones” y los morfismos son “demostraciones”; una demostración se puede ver como una serie de operaciones que llevan de una proposición a otra. En física los objetos son “sistemas” y los morfismos son “procesos”; por ejemplo (me figuro, ahí sí no estoy completamente seguro, y es lo más claro que puedo imaginar sin usar EDPs), la acción de una fuerza sería un morfismo que lleva de un sistema en el que una masa está en reposo a uno en el que la masa está en movimiento.

Visto en el n-Category Café, Logicians Needed Now. Solicitan lógicos para revisar el artículo.

Actualización (20080317): ya están completas las partes de lógica y computación; John Baez’s Stuff