How John Backus might approach Computer Science
The question of "Computer Science" is one that warrants careful consideration, for the very term suggests a field of study that must be grounded in both rigor and practical application. At its heart, the fundamental issue is how we instruct machines to perform tasks with an efficiency and reliability that transcends human limitations. My own work with FORTRAN sprang from the direct observation that the language in which we communicate with these calculating engines was far too cumbersome, too prone to error, and utterly inaccessible to many who could benefit from their power.
Let us consider the underlying structure of this endeavor. We are not merely manipulating abstract symbols; we are designing systems. These systems, whether they are for calculating trajectories, managing inventories, or processing astronomical data, must be built upon logical foundations. The crucial step here is to bridge the gap between the intent of the problem-solver and the machine's capacity for execution. This necessitates the development of notations, of formalisms, that can express complex operations in a manner that is both comprehensible to humans and precisely translatable into the machine's native language.
The practical implication is profound. By abstracting away the intricacies of hardware, by creating languages that mirror the structure of mathematical thought and procedural logic, we empower a wider audience. This "science" then becomes less about the arcane knowledge of the machine's inner workings and more about the art of problem-solving, amplified by computational power. The goal is to devise methods and tools that not only solve problems but do so in a way that is elegant, efficient, and undeniably clear. The danger lies in creating abstractions so opaque that the…
Imagined perspective — an AI synthesis grounded in John Backus’s recorded ideas and methods, not a quotation or a statement they actually made.