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 WeylMathematics has been called the science of the infinite. Indeed, the mathematician invents finite constructions by which questions are decided that by their very nature refer to the infinite. This is his glory.
Hermann WeylThe question for the ultimate foundations and the ultimate meaning of mathematics remains open; we do not know in which direction it will find its final solution nor even whether a final objective answer can be expected at all. "Mathematizing" may well be a creative activity of man, like language or music, of primary originality, whose historical decisions defy complete objective rationalization.
Hermann Weyl