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.

Hermann Weyl (1885 - 1955)

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