Jul 10, 2026
In 1931, Kurt Gödel proved something that shook the foundations of mathematics. Any sufficiently powerful formal system — one capable of describing basic arithmetic — must contain statements that are true but unprovable within that system.
This was not a technical curiosity. It was a fundamental limit on what formal reason can achieve.
The dream of a complete, consistent, fully formalised mathematics — Hilbert’s programme — died with Gödel’s proof.
What does this mean for philosophy? At minimum, it suggests that truth exceeds proof. There are things that are the case which our formal systems cannot capture.
Whether this extends beyond mathematics — whether human reasoning itself is similarly incomplete — remains one of the most contested questions in the philosophy of mind.