Logic in the era of Hilbert’s program was a tumultuous process of ... results that has been broadly popularized, thanks to books like Gödel, Escher, Bach and The Emperor’s New Mind).