Zunächst wollen wir die Idee begründen, dass eine Computersprache nicht nur eine Möglichkeit ist, einen Computer dazu zu bringen, Operationen auszuführen, sondern dass sie vielmehr ein neuartiges formales Medium ist, um methodische Ideen auszudrücken. Daher müssen Programme geschrieben werden, damit sie von Menschen gelesen werden können, und nur nebenbei, damit sie von Maschinen ausgeführt werden können.