En el primer tercio del siglo pasado, dos lógicos eminentes propinaron sendos mazazos a los pilares del imponente edificio matemático que se había ido erigiendo desde tiempos de Euclides. Algunos quisieron ver en los trabajos de Bertrand Russell y Kurt Gödel la derrota de la razón; otros, por el contrario, partieron de ellos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso.
If you can get your head around the concept of "the set of all sets that are not members of themselves" then this book is for you. It's an historical journey through some deep mathematical concepts presented in a manner to appeal to a popular-science audience.
Lectura detallada de los aspectos de la lógica "matemática" dónde se deja ver las matemáticas tienen sus limitaciones y que tiene muchas paradojas, lo que determina que aún hay mucho por descubrir. Un buen libro que despierta otras ideas y otros mundos aún más por aprender.