Douglas Hofstadter's work provides several examples.
* Gödel, Escher, Bach: an Eternal Golden Braid (GEB)
* Metamagical Themas
* I Am A Strange Loop (IAASL)
GEB and IAASL are thematically similar, and both are worth a read if you're interested in both Gödel's theorems (plus related work eg Church-Turing) and Hofstadter's philosophy of mind. GEB is a lot more creative and fun; IAASL does a better job of communicating the key technical ideas like incompleteness.
Metamagical Themas is a collection of shorter work, generally technical and fun.
Although Hofstadter was the first to come to my mind, these other authors/works also provide fun and/or excellent examples of technical writing:
* Neal Stephenson's "In the Beginning was the Command Line"
* Velleman's "How To Prove It" and "Philosophies of Mathematics"
* Gödel, Escher, Bach: an Eternal Golden Braid (GEB)
* Metamagical Themas
* I Am A Strange Loop (IAASL)
GEB and IAASL are thematically similar, and both are worth a read if you're interested in both Gödel's theorems (plus related work eg Church-Turing) and Hofstadter's philosophy of mind. GEB is a lot more creative and fun; IAASL does a better job of communicating the key technical ideas like incompleteness.
Metamagical Themas is a collection of shorter work, generally technical and fun.
Although Hofstadter was the first to come to my mind, these other authors/works also provide fun and/or excellent examples of technical writing:
* Neal Stephenson's "In the Beginning was the Command Line"
* Velleman's "How To Prove It" and "Philosophies of Mathematics"
* Mittelbach & Goosens "The LaTeX Companion"
* Waldrop's "The Dream Machine"
* Nielsen & Chuang's "Quantum Computation & Quantum Information"
* Lakatos's "Proof & Refutations"
* Chambers "What is this thing called science?"
* Doxiadis & Papadimitriou's "Logicomix".