"Peter Naur argued that the primary aim of programming is for programmers to build theories of how problems are solved by program execution, not merely to produce programs."
Naur explicitly frames theory building as the primary aim of programming, with production of program text secondary to the programmer's understanding of how the problem is solved.
View Source