His incompleteness theorem showed that any rich enough system of axioms contains true statements it can't prove. What I take from Gödel is that this ends the perfectionist dream of axiomatic systems.
How the word moved
He shows up in May 2025 in The System of the World, alongside Grothendieck, as the man who shocked everyone.
In my words
"Sadly (happily?), Kurt Gödel shocked everyone"
from Bhumics 16: The System of the World, 14 May 2025
Related
- Related Perfectionism and Productionism - Gödel is where perfectionism ends.
- Related Alexander Grothendieck - my two mathematical guides in that essay.
- Related Plausibility and Correctibility - mathematics is more brittle than it looks.