Este perfil de Quanta sobre Leslie Lamport (1941-) nos presenta a un personaje importante de informática, aunque su nombre no resulte tan familiar como otros. Además del Premio Turing de 2013, este matemático tiene entre sus logros haber puesto las bases de los sistemas distribuidos, tan omnipresentes y cruciales hoy en día. Como bonus, fue quien creó la primera versión del software de composición de textos LaTeX allá por 1984.

Su trabajo en la también llamada «ciencia de la computación» ha sido matemático, en el campo de los algoritmos y las demostraciones, lo cual es algo diferente de la programación, que a su vez poco tiene que ver con «picar código» en algún lenguaje. Para él son mundos distintos, algo que resume en una frase:

La gente confunde programar con picar código. En realidad, picar código es a la programación lo que mecanografiar es a saber escribir una novela.

Es interesante escuchar de boca de su descubridor la forma en que surgieron algunos de sus algoritmos y proyectos, como el TLA+. Se trata de un lenguaje para diseñar, documentar y verificar programas en sistemas concurrentes y distribuidos.

Sobre estos últimos, explica el paralelismo que tienen con algunos aspectos de la teoría de la relatividad de Einstein. A mí se me escapan los detalles, pero lo que he entendido es que en este tipo de sistemas hay muchos datos repartidos en diversos sitios y los ordenadores tienen que ponerse de acuerdo sobre lo que están procesando y en qué momento. Pero, …