We are not very pleased when we are forced to accept a mathematical truth by virtue of a complicated chain of formal conclusions and computations, which we traverse blindly, link by link, feeling our way by touch. We want first an overview of the aim and of the road; we want to understand the idea of the proof, the deeper context.
Hermann WeylBut it seems an irony of creation that man's mind knows how to handle things the better the farther removed they are from the center of his existence. Thus we are cleverest where knowledge matters least.
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 WeylNot only in geometry, but to a still more astonishing degree in physics, has it become more and more evident that as soon as we have succeeded in unraveling fully the natural laws which govern reality, we find them to be expressible by mathematical relations of surprising simplicity and architectonic perfection. It seems to me to be one of the chief objects of mathematical instruction to develop the faculty of perceiving this simplicity and harmony.
Hermann WeylThe introduction of numbers as coordinates by reference to the particular division scheme of the open one-dimensional continuum is an act of violence whose only practical vindication is the special calculatory manageability of the ordinary number continuum with its four basic operations.
Hermann WeylThe constructs of the mathematical mind are at the same time free and necessary. The individual mathematician feels free to define his notions and set up his axioms as he pleases. But the question is will he get his fellow mathematician interested in the constructs of his imagination. We cannot help the feeling that certain mathematical structures which have evolved through the combined efforts of the mathematical community bear the stamp of a necessity not affected by the accidents of their historical birth.
Hermann Weyl