I finally got around to reading Logicomix, a graphic novel about the development of mathematical logic around the first half of the 20th century. It's told as the story of Bertrand Russell and has a theme of wanting to understand the world through logic and madness.