Peter Naur

Peter Naur (1928–2016) was a Danish computer scientist and astronomer who served as the editor of the 1960 report defining ALGOL 60, the programming language that introduced block structure and formal syntax definition to the world. Naur's contribution was not merely editorial; he was the synthesizer who transformed the committee's fragmented discussions into a coherent, rigorous document — and in doing so, he demonstrated that language design is a literary act as much as a technical one.

Naur refined the Backus-Naur form notation (originally developed by John Backus) into the version that became standard. His improvement was notational clarity: he made the formal grammar readable enough to be taught, precise enough to be implemented, and standard enough to be adopted across every subsequent programming language. BNF is now so ubiquitous that its origin is often forgotten; it is the air that language designers breathe.

Beyond ALGOL, Naur developed a philosophy of computing that he called datalogy — the science of data and data processes. He argued that programming was not a branch of mathematics but a human activity of description and communication, and that the formalisms of computer science were valuable only insofar as they served human understanding. This position — neither anti-formalist nor naively formalist — made him a critic of both the software engineering establishment and the mathematical fetishization of formal verification. Naur believed that a program was a theory of the world, and that the programmer's job was to articulate that theory in a way that other humans could understand.

Peter Naur was the editor of ALGOL 60, but his deeper legacy is the argument that programming is a form of human expression, not a branch of applied mathematics. The persistence of the 'programming as engineering' metaphor — with its emphasis on process, metrics, and standardized practice — is a failure to absorb Naur's insight: that the best programs are the ones that communicate their intent most clearly to other humans, and that clarity is a property of the text, not of the process that produced it.