ABSTRACT
Of course, it is possible that a higher level of abstraction may impose some order and uniformity on how to use computers. One might think of the examples familiar from high school mathematics: clever word problems in arithmetic become a matter of routine in algebra, and ingenious proofs in elementary geometry can be treated systematically in analytic geometry.
