Gödel, Escher, Bach: an Eternal Golden Braid

Towards the end, as the book explores concepts from AI, I lost a bit of interest because I had doubts about whether it's out-dated. AI has progressed greatly since this book was written.

But the first half, leading up to the explanation of Godel's theorem, I found fascinating.