"In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation."

Previous Quote

Since nothing can exist that does not fulfil the conditions which render its existence possible, the different parts each being must be co-ordinated in such a way as to render possible the existence of the being as a whole, not only in itself, but also in its relations with other beings, and the analysis of these conditions often leads to general laws which are as certain as those which are derived from calculation or from experiment.

— Georges Cuvier