Dijkstra reduced it to a couple of sentences: > Hence, computing science is —and will always be— concerned with the interplay between mechanized and human symb

Dijkstra reduced it to a couple of sentences: > Hence, computing science is —and will always be— concerned with the interplay between mechanized and human symbol manipulation, usually referred to as "computing" and "programming" respectively. An immediate benefit of this insight is that it reveals "automatic programming" as a contradiction in terms. From https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1036.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/E...