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 WeylWithout the concepts, methods and results found and developed by previous generations right down to Greek antiquity one cannot understand either the aims or achievements of mathematics in the last 50 years. [Said in 1950]
Hermann WeylBefore one can generalize, formalize, and axiomatize, there must be a mathematical substance.
Hermann WeylGod exists because arithmetic is consistent - the Devil exists because we can't prove it!
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