A modern mathematical proof is not very different from a modern machine, or a modern test setup: the simple fundamental principles are… — Hermann Weyl Copy Share Image