"Let us look for a moment at the general significance of the fact that calculating machines actually exist, which relieve mathematicians of the purely mechanical part of numerical computations, and which accomplish the work more quickly and with a greater degree of accuracy; for the machine is not subject to the slips of the human calculator. The existence of such a machine proves that computation is not concerned with the significance of numbers, but that it is concerned essentially only with the formal laws of operation; for it is only these that the machine can obey—having been thus constructed—an intuitive perception of the significance of numbers being out of the question."