Una Lógica de la Programación

Mientras Dijkstra se centra en la lógica para la construcción de programas correctos y elegantes, Hofstadter investiga cómo la lógica formal, la recursividad y la estructura emergen en sistemas complejos y creativos, mostrando una aplicación sorprendente de principios lógicos a campos dispares. Ambos lidian con la 'elegancia' de la estructura subyacente de un sistema, ya sea código o arte.

Dijkstra aboga por una disciplina rigurosa para construir sistemas computarizados fiables y predecibles desde abajo hacia arriba. Kelly, por otro lado, celebra la complejidad emergente y la falta de control directo en sistemas distribuidos. Ambos, sin embargo, abordan la naturaleza de los sistemas y cómo se comportan, aunque con perspectivas metodológicas opuestas sobre su diseño o comprensión.

Dijkstra fue un revolucionario en la programación, abogando por un cambio de paradigma de la programación ad-hoc al rigor de la programación estructurada y la verificación formal, lo que en su momento fue una 'revolución científica' dentro del campo de la informática. Ambos autores examinan los principios subyacentes que rigen un dominio y cómo se establecen o derriban los 'buenos' métodos.

Dijkstra buscaba un lenguaje de programación y una metodología tan lógicos y rigurosos que la corrección del programa fuera autoevidente, eliminando ambigüedades. Wittgenstein, en el Tractatus, busca la claridad y la precisión lógicas en el lenguaje para desvelar la estructura del mundo, eliminando las imprecisiones filosóficas. Ambos están obsesionados con la limitación y la precisión del lenguaje como herramienta para el pensamiento riguroso.

Dijkstra se ocupa de la lógica interna y la controlabilidad de los programas. Beer extiende esta idea de control y feedback a sistemas organizacionales complejos. Aunque de una disciplina diferente (gestión), ambos se centran en cómo el diseño de sistemas (ya sean de software o humanos) puede asegurar su estabilidad, predictibilidad y eficiencia, utilizando principios de control y retroalimentación.

De manera análoga a cómo Dijkstra defiende la construcción de programas complejos a partir de bloques lógicos simples y bien definidos, Carnap buscó construir sistemáticamente el conocimiento a partir de elementos básicos y relaciones lógicas claras. Ambos abordan la construcción de sistemas complejos (conocimiento para Carnap, programas para Dijkstra) desde principios lógicos fundamentales.

La 'Lógica de la Programación' de Dijkstra aspira a una construcción rigurosa y verificable de programas, similar al objetivo de los Principia Mathematica de establecer una base axiomática para las matemáticas. La estructura del texto de Dijkstra, con su énfasis en la demostración y la derivación paso a paso de la corrección, refleja la formalidad y el rigor deductivo del estilo axiomático presente en los Principia.

Dijkstra, defensor de la programación funcional y la claridad lógica, utiliza un enfoque deductivo y formalista. Church, a través de su obra, presenta los fundamentos de la lógica formal de manera igualmente meticulosa y estructurada. Ambos autores utilizan una presentación jerárquica y una argumentación rigurosa, construyendo gradualmente conceptos complejos a partir de principios fundamentales de la lógica, lo que refleja un estilo estructural similar.