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.

Levels of Infinity: Selected Writings on Mathematics and Philosophy (ed. Courier Corporation, 2013) - ISBN: 9780486266930