Ensayo que examina el ensayo clásico de Peter Naur 'Programming as theory building' y sostiene que su autor mezcló ideas del filósofo Gilbert Ryle, lo que hace al texto más confuso de lo necesario. El artículo arranca con la extraña afirmación de Naur de que la noción ryleana de teoría es un objeto del Mundo 3 de Popper, cuando en 'The concept of mind' Ryle rechaza precisamente que la mente exista separada de lo material. A partir de ahí, el autor contrasta citas: para Ryle, inteligencia y teoría no son lo mismo; la inteligencia no se reduce a reglas, mientras que Naur habría aplicado esa imposibilidad de reducción a la teoría. El texto recorre después otros puntos de fricción. Sobre la adquisición de la teoría, Naur concluye que revivir un programa solo a partir de documentación es imposible, pero el autor rebate que sea estrictamente imposible, aunque sí difícil y costoso. También discute que el foco de Naur en las modificaciones de programa lo dejó corto: software ya reescrito muchas veces, como compiladores o motores 3D, no requiere construir teoría desde cero. El ensayo cierra comparando al pensador ryleano con el granjero que pisa su propio camino, analogía que, a juicio del autor, encaja mejor con el programador. Concluye que la programación es construcción de teoría aunque solo cobremos por el programa, y que el código mismo es una forma de prosa.
Noticias agregadas con IA