[Verse 1] Picture every real between zero and one Listed neat and tidy, first through infinite run Point-one-four-one-five in position number three Point-two-seven-one-eight where the fourth one might be But here's the ancient riddle that will shatter what you know Can you really catalog every decimal's flow? [Chorus] Diagonal rebellion, digit by digit fight First from first, second from second, building something new tonight Third from third, fourth from fourth, marching down the spine Your perfect list just crumbled, crossed its own design Diagonalization, the blueprint of defeat Every systematic counting makes itself incomplete [Verse 2] Cantor held the mirror to our finite-thinking minds Said suppose your ledger captures every real you'll find Take your first number's opening, make it something else Take your second's second spot, twist it for yourself Keep descending down the backbone of your careful catalog This rebel number's homeless in your systematic log [Chorus] Diagonal rebellion, digit by digit fight First from first, second from second, building something new tonight Third from third, fourth from fourth, marching down the spine Your perfect list just crumbled, crossed its own design Diagonalization, the blueprint of defeat Every systematic counting makes itself incomplete [Bridge] Infinity has children, and they're not the same size Natural numbers marching can't match the real surprise Gödel used this weapon against arithmetic's throne Turing found it waiting in machines we'd never known When someone claims completeness in their grand eternal scheme Diagonalization splits apart the dream [Verse 3] Zero-point-five-seven-nine, nowhere to be found Though it lives between the limits, solid, safe and sound Your enumeration promised every real would have its turn But the diagonal destroyer makes your confidence burn There's no master inventory for the continuum's domain Every list breeds its assassin once again [Chorus] Diagonal rebellion, digit by digit fight First from first, second from second, building something new tonight Third from third, fourth from fourth, marching down the spine Your perfect list just crumbled, crossed its own design Diagonalization, the blueprint of defeat Every systematic counting makes itself incomplete [Outro] The reals are wild and countless, beyond our finite schemes Infinity has structure deeper than it seems
← There Are Infinitely Many Primes (Euclid) | The General Quintic Has No Radical Solution (Abel-Ruffini / Galois) →