It is impossible to discuss realism in logic without drawing in the empirical sciences... A truly realistic mathematics should be conceived, in line with physics, as a branch of the theoretical construction of the one real world and should adopt the same sober and cautious attitude toward hypothetic extensions of its foundation as is exhibited by physics.
Hermann WeylWe 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 WeylNo mathematician of equal stature has risen from our generation... Hilbert was singularly free from national and racial prejudices; in all public questions, be they political, social or spiritual, he stood forever on the side of freedom.
Hermann WeylFor mathematics, even to the logical forms in which it moves, is entirely dependent on the concept of natural number.
Hermann WeylBefore one can generalize, formalize, and axiomatize, there must be a mathematical substance.
Hermann WeylOur federal income tax law defines the tax y to be paid in terms of the income x; it does so in a clumsy enough way by pasting several linear functions together, each valid in another interval or bracket of income. An archeologist who, five thousand years from now, shall unearth some of our income tax returns together with relics of engineering works and mathematical books, will probably date them a couple of centuries earlier, certainly before Galileo and Vieta.
Hermann Weyl