Abstract

We have been particularly interested in the demonstrable unremovability of machinery, which is a theme that can be pursued systematically starting at the most elementary level - the use of binary notation to represent integers; the use of rational numbers to solve linear equations; the use of real and complex numbers to solve polynomial equations; and the use of transcendental functions to solve differential equations.