The Godel proof chapter feels like the apotheosis of the book. The rest almost feels tacked on, e.g. the whole dna-computing ... , even the "strange loops" part, which I would not think is the main crux of the book.