Hilbert's 'theology' proof split math for a century
Get the Health newsletter
Daily health & science — research, biotech, public health, the studies worth knowing. Free.
- David Hilbert proved in 1888 that a finite generating set must exist for a large class of algebraic invariants — without specifying the set — by assuming the opposite and deriving a contradiction.
- Paul Gordan, who had spent his career on the same problem, called Hilbert's approach "theology, not mathematics," but later conceded "theology does have its advantages."
- L.E.J. Brouwer rejected non-constructive proofs through his intuitionist philosophy, arguing a mathematical object isn't real unless it can be mentally constructed — and objected specifically to applying the law of the excluded middle to infinite sets.
- Hilbert compared restricting the excluded middle to "prohibiting the boxer the use of his fists," and in 1928 fired the entire editorial board of Mathematische Annalen to oust Brouwer — prompting co-editor Albert Einstein to resign and dismiss the fight as "a frog and mouse battle among the mathematicians."
- Kurt Gödel's incompleteness theorem later undermined Hilbert's formalism, though Gödel's own completeness theorem relied on the very law of the excluded middle Brouwer attacked, and Gödel drew inspiration from Brouwer's challenge.
- Non-constructive proofs now underpin formal proof verification and AI-generated proofs, raising the prospect of mathematically verified results humans can no longer fully understand — which, the author notes, would give Brouwer the last laugh.
Why it matters: The article shows that a single methodological choice — proving existence without construction — drove a century of foundational math conflict, costing Brouwer his editorial seat and prompting Einstein's resignation from Mathematische Annalen. Today, the same technique is becoming central as AI-generated formal proofs may outpace human comprehension.
