Una disciplina de programación

Thomas S. Kuhn·1962·filosofia

Dijkstra fue una figura revolucionaria en la programación, defendiendo un cambio de paradigma hacia la programación estructurada y la verificación formal. El libro de Kuhn ofrece un marco para entender cómo las ideas de Dijkstra, inicialmente radicales, eventualmente transformaron el campo, no por adición incremental, sino por una reconfiguración fundamental de sus bases.

Douglas Hofstadter·1979·filosofia

Mientras Dijkstra aboga por la simplicidad y la corrección en la programación, Hofstadter investiga cómo sistemas complejos y auto-referenciales surgen de reglas simples, lo que contrasta con la búsqueda de la claridad algorítmica de Dijkstra pero resuena en la elegancia de la estructura formal. Ambos exploran los límites y las posibilidades de los sistemas formales, aunque con enfoques y dominios muy distintos.

Euclides·-300

La 'disciplina' de programación de Dijkstra busca la construcción de programas correctos y elegantes a partir de principios fundamentales, similar a cómo Euclides construyó la geometría a partir de un conjunto mínimo de axiomas y definiciones. Ambos enfatizan la derivación lógica, la prueba rigurosa y la construcción sistemática desde la base.

Ludwig Wittgenstein·1921·filosofia

Dijkstra buscaba la claridad y la corrección a través de la formalización del pensamiento y el lenguaje en la programación. Wittgenstein, en el Tractatus, realiza una empresa similar en la filosofía: delimitar lo que se puede decir con sentido y cómo el lenguaje refleja la estructura lógica de la realidad, una preocupación similar a la de Dijkstra por la precisión y la ausencia de ambigüedad en los sistemas formales.

Vilyan Stanev·2012·ciencia ficcion

Mientras Dijkstra se centra en cómo construir programas correctos, Stanev aborda los límites fundamentales de lo que es computable, un entendimiento esencial para cualquier disciplina de programación. Este libro, aunque moderno, se conecta al espíritu fundacional de la computación que Dijkstra tanto valoraba, pero desde una perspectiva más teórica y menos conocida fuera del ámbito académico.

Tibor Rado·1962·ciencia ficcion

Para Dijkstra, la corrección y la terminación de los programas son esenciales. El trabajo de Rado sobre el problema de Halting subraya los límites inherentes de la computación, lo que significa que la 'disciplina' de programación debe operar dentro de estas restricciones fundamentales. Es un recordatorio de los desafíos teóricos subyacentes a la práctica de la programación que Dijkstra buscaba sistematizar.

Alfred North Whitehead y Bertrand Russell·1910

Tanto la 'disciplina' de Dijkstra como los 'Principia Mathematica' proponen una construcción sistemática y rigurosa de sistemas complejos a partir de principios fundamentales. La estructura formal de ambos se basa en la lógica deductiva y en la búsqueda de la inmutabilidad y la corrección a través de la formalización y la prueba, aunque en diferentes dominios (programación vs. matemáticas).

Marcel Proust·1913·ficcion

Aunque son mundos muy distintos, la obra de Proust y el enfoque de Dijkstra comparten una estructura de profunda recursividad y auto-referencia. Así como Proust construye capas sobre capas de memoria y análisis para comprender el todo, Dijkstra construía programas complejos a partir de componentes simples mediante principios de recursión y abstracción para alcanzar una corrección verificable. Ambos exploran cómo una estructura meticulosa puede revelar verdades más profundas.