Computational Processes and Abstraction Principles

Key Insight

Computational processes are abstract entities inhabiting computers, whose evolution is guided by programs—defined sets of rules created by people. These processes manipulate other abstract data. Though intangible and not composed of matter, they are very real, performing intellectual work, answering questions, and affecting the world by actions such as disbursing money at a bank or controlling robot arms in a factory. Programs, likened to sorcerers' spells, are meticulously composed of symbolic expressions in programming languages, prescribing the tasks for these processes.

A correctly working computer executes programs with precision and accuracy. Consequently, novice programmers must learn to understand and anticipate the consequences of their programming, as even small errors, termed bugs or glitches, can lead to complex and unanticipated outcomes. For example, a minor bug in a computer-aided design program could potentially cause the catastrophic collapse of an airplane or a dam, or the self-destruction of an industrial robot. While learning to program is less hazardous than sorcery due to containment of these 'spirits', real-world programming necessitates considerable care, expertise, and wisdom.

Master software engineers possess the ability to organize programs to ensure the resulting processes perform as intended. They can visualize system behavior in advance, structure programs to prevent unanticipated problems from escalating into catastrophic consequences, and effectively debug issues. Well-designed computational systems, much like well-designed automobiles or nuclear reactors, are constructed modularly, allowing their individual parts to be built, replaced, and debugged independently. This modularity aligns with foundational principles of mind: combining simple ideas into complex ones, relating distinct ideas, and forming general concepts through abstraction by separating them from specific accompaniments.