“The economy of the treatment seems to indicate a more fundamental interest in brevity than in virtuosity for its own sake. It thereby helped prepare the grounds for an investigation of the limits of finite formalism by means of the concept of ‘machine.’”
