The reticent and relentlessly abstract logician Kurt Gödel might seem an unlikely candidate for popular appreciation. But that’s what Rebecca Goldstein aims for in her new book Incompleteness, an ...