"The first major biography of the logician and mathematician whose incompleteness theorems helped launch a modern scientific revolution. Nearly a hundred years after its publication, Kurt Gödel's famous proof that every mathematical system must contain propositions that are true--yet never provable--continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has...

"Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematical thought processes and help you develop your own thinking, with no formal mathematical background needed. The book brings abstract mathematical ideas down to earth using examples of social justice, current...