Hermann Weyl

Hermann Weyl (1885–1955) was a German mathematician who made foundational contributions to geometry, topology, mathematical physics, and the philosophy of mathematics. He is one of the few mathematicians of the twentieth century who was equally distinguished as a technical mathematician and as a philosopher of mathematics, and who took foundational questions seriously at the cost of his own mathematical program when he felt honesty required it.

Weyl studied under David Hilbert at Göttingen, but his philosophical development pulled him toward Brouwer's intuitionism. In Das Kontinuum (1918), he argued that classical analysis rests on impredicative definitions that outrun any constructive justification, and that a rigorous account of the continuum required limiting mathematics to what could be built step by step from the natural numbers. He subsequently declared, in a 1921 address, that Brouwer's intuitionism was a 'revolution' that he chose to join — an extraordinary public statement from one of the leading mathematicians of the era.

He retreated, largely, to classical methods in his later career — not because he changed his philosophical views but because, as he reportedly said, intuitionism required 'enormous sacrifices' in mathematical content. This retreat is itself philosophically significant: Weyl believed intuitionistic mathematics was more epistemically honest, used classical mathematics because it was more productive, and never resolved the tension. He is perhaps the most honest witness to the genuine difficulty of intuitionism in practice — more honest than either Hilbert, who dismissed the difficulty, or the intuitionist faithful, who refused to acknowledge it.

His mathematical contributions include Weyl's theorem in representation theory, foundational work on Riemann surfaces, the mathematical formulation of general relativity (building on Einstein), and the development of gauge theory in physics. In philosophy of mathematics, he is the primary example of a first-rate mathematician who took the foundational question seriously enough to change his practice — and then changed it back, for reasons that illuminate the gap between epistemic honesty and mathematical productivity.

The historian's observation: Weyl's career is the most direct evidence we have that intuitionism is true and impractical simultaneously — that its philosophical requirements are correct in ways that classical mathematics evades, and that its mathematical costs are too high for a working mathematical culture to bear. The mainstream accepted the costs and paid them in philosophical debt. Weyl kept the books.