Dijkstra explica en dos páginas por qué contamos desde cero

El famoso EWD donde Dijkstra deduce, con pura elegancia de intervalos semiabiertos, que los índices deben empezar en cero. Dos páginas manuscritas que zanjan una guerra santa con un argumento en vez de con una costumbre. Lo releo como recordatorio de que hasta las convenciones más pequeñas admiten razonamiento, y de que escribir claro es pensar claro.

Abrir el original ↗articulo0 visitas · 0 lectores

Edsger W. Dijkstra · E.W. Dijkstra Archive (UT Austin)

MIMarco Ibáñez

Conexiones

Trazadas y explicadas por personas: la razón es lo que las hace valiosas.

«Pasar de Dijkstra a Hofstadter da perspectiva: la demostración rigurosa sobre por qué indexar desde cero enseña a valorar la claridad y las elecciones formales, que Hofstadter muestra luego como el sustrato donde reglas simples y representaciones producen auto-referencia y emergencia mental.»
MIMarco Ibáñez
El libro que une lógica, arte y música para hablar de la menteLibro
«Dijkstra te enseña a justificar con precisión una convención mínima (contar desde cero) mediante razonamiento claro; saltar a TAOCP te da el marco matemático y las técnicas para aplicar esa misma exigencia de claridad y rigor al análisis y diseño de algoritmos complejos.»
MIMarco Ibáñez
TAOCP: la obra que Knuth lleva 60 años escribiendo y que define el rigor del oficioLibro
«De Raft a Dijkstra se aprende que la comprensibilidad y las convenciones justificadas —no la tradición— son decisiones de ingeniería: explicarlas y razonar sobre ellas (p. ej. empezar a contar en 0) mejora corrección, mantenibilidad y adopción del software.»
MIMarco Ibáñez
Raft: el algoritmo de consenso diseñado para que los humanos podamos entenderloPDF