This hypothetical award-winning book introduces you to metamathematics and a bunch of stuff about what the future of AI was imagined to be in the past, interspersed with play-by-play pinball matches between world-class pinball players, where what happens in the game is a metaphor for the math in the next chapter.
It presents the extraordinary claim that the sequence of positions of the diverter on Swords of Fury is a mathematical encoding of the proposition "The diverter will not work correctly on this Swords of Fury".