5 ideas
The obsessive pursuit of absolute logical foundations attracts and produces minds prone to instability, with an unusually high rate of madness, suicide, and breakdown among the major figures of mathematical logic. The drive to ground all truth in unshakeable certainty is itself a kind of irrational compulsion, not a purely rational enterprise.
The set of all sets that do not contain themselves cannot consistently either contain or exclude itself, producing a contradiction at the heart of naive set theory. Any system powerful enough to refer to itself can generate statements that undermine its own consistency.
Gödel's incompleteness theorems prove that any formal system rich enough to contain arithmetic must contain true statements it cannot prove, and cannot demonstrate its own consistency from within. The dream of deriving all mathematical truth from a complete, self-justifying set of axioms is provably impossible.
Framing a history of formal logic as a personal narrative reveals that seemingly cold, impersonal intellectual problems are lived through love, war, betrayal, and despair by the people pursuing them. The emotional and biographical context of an idea is not separable noise but part of how and why the idea developed.
In September 1939, as war breaks out in Europe, Bertrand Russell lectures at an American university, and isolationist protesters urge him to argue for staying out of the war. His answer is his own life story: in 1902 he discovered the paradox that wrecked Frege's logicist system, then spent a decade with Alfred North Whitehead grinding out Principia Mathematica to rebuild mathematics on pure logic. He then watched his student Wittgenstein turn against the project and Kurt Gödel prove it could never be completed.