| 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" * 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". |