A Madman Dreams of Turing Machines (2006)
by Janna Levin (1967-)
This novel (which I noticed due to her Black Hole Blues) is about two giants of 20th century mathematics: Alan Turing and Kurt Gödel. By coincidence, I watched The Imitation Game (also about Turing) after I checked this out from the library, but before I read it.
I already knew the basics about Turing’s life, but practically nothing about Gödel’s. Though Turing’s life had a lot of sadness and ended sadly, at least he was happy when he was doing his best work. The impression from this book is that Gödel was pretty miserable most of his life.
I found the book interesting, but I would not recommend it unless you already have an interest in one or both of the subjects.