Math Girls 3: Godel's Incompleteness Theorems - Paperback

In the early twentieth century, a massive undertaking to rid mathematics of all paradoxes and inconsistencies was underway. Known as Hilbert's program, it sought to provide an unshakable foundation for all of mathematics. Things seemed to be proceeding well until young Kurt Gödel stunned the world by proving that Hilbert's goals were unobtainable, that contradiction was part of the warp and weave...