A Quote by Hermann Weyl on machines, principles, proof, and simplicity
A modern mathematical proof is not very different from a modern machine, or a modern test setup: the simple fundamental principles are hidden and almost invisible under a mass of technical details.
Source: Unterrichtsblätter für Mathematik und Naturwissenschaften, 38, 177-188 (1932). Translation by Abe Shenitzer appeared in The American Mathematical Monthly, v. 102, no. 7 (August-September 1995), p. 646.
Contributed by: Zaady