La lógica de la programación

Mientras Dijkstra se centra en la lógica de 'cómo' construir programas correctos, Harel asciende un nivel para preguntarse 'qué es' la computación y por qué importa. Conecta con la abstracción fundamental que subyace a la programación.

Un libro de Hamming, también una figura clave en la computación, que trasciende la técnica. Así como Dijkstra buscaba un camino lógico y sistemático para la programación, Hamming busca los principios subyacentes del pensamiento efectivo y la resolución de problemas en un contexto análogo, pero a una escala más amplia que la de la programación.

Dijkstra buscaba la lógica de 'construir' programas correctos y una metodología rigurosa. Piaget, desde la psicología del desarrollo, investiga cómo se 'construye' la capacidad de pensar lógicamente en el ser humano, compartiendo una profunda preocupación por la estructuración del pensamiento exacto y la progresión de la complejidad lógica.

El libro de Dijkstra se enfoca en la lógica formal de la programación. Hofstadter expande esta idea al examinar cómo los sistemas formales, la autorreferencia y la lógica subyacen no solo a la computación, sino también a la conciencia, el arte y la vida. Conecta con la idea de la lógica como un lenguaje universal profundo.

Hoare fue contemporáneo y colega de Dijkstra, y compartió su preocupación por la corrección y fiabilidad del software. Este libro profundiza en conceptos avanzados de verificación formal y lógica de programas, expandiendo la visión de Dijkstra de la programación como una disciplina matemáticamente rigurosa.

Si bien Dijkstra se centró en la programación estructurada y la lógica imperativa, el lambda-cálculo es la base de la programación funcional, otra escuela de pensamiento que prioriza la corrección formal y la abstracción matemática. Este libro conecta con los principios profundos y abstractos que Dijkstra valoraba, pero desde una perspectiva computacional diferente y menos conocida por el público general.

Dijkstra estructuró la 'lógica de la programación' de forma axiomática, partiendo de principios básicos y construyendo la complejidad. Sipser hace lo mismo con la computación en general, usando una estructura deductiva: desde las máquinas de Turing hasta los problemas NP-completos, cada capítulo se basa lógicamente en el anterior, reflejando el rigor y la construcción sistemática que valoraba Dijkstra.

Aunque Dijkstra promovió un estilo de programación estructurada, su objetivo era la claridad y la corrección demostrable. Este libro, centrado en la programación funcional, comparte esa búsqueda de sistemas construidos sobre principios claros y matemáticamente verificables. La estructura del libro, al igual que los escritos de Dijkstra, procede de la definición de principios fundamentales a su aplicación práctica, enfatizando la transparencia y la modularidad del diseño.