Incomplegencia: La prueba y la paradoja de Kurt Gödel- Rebecca Goldstein

KURT GODEL ES CONSIDERADO el matemático más grande del siglo XX. Su teorema monumental de lo incompleto anuló la convicción dominante de que las únicas afirmaciones verdaderas en matemáticas eran las que podían probarse. Inspirado en la filosofía de Platón de una realidad superior, Godel demostró de manera concluyente que hay en todo sistema formal innegablemente verdaderas afirmaciones que, sin embargo, no pueden ser probadas. El resultado fue un trastorno en matemáticas. Desde el famoso Círculo de Viena y el combate con Wittgenstein hasta el Instituto de Estudios Avanzados de Princeton, donde fue el compañero constante de Einstein. Godel era a la vez un intelecto imponente y una figura profundamente misteriosa, cuyos hábitos extraños y la paranoia cada vez mayor condujeron a su muerte triste por el uno mismo-hambre. En este estudio lúcido y accesible, Rebecca Goldstein, filósofa de la ciencia y novelista dotado, cuyo trabajo a menudo se centra en la ciencia, explica el significado de los teoremas de Gódel y la visión trascendente detrás de ellos, a la vez que genera este genio excéntrico y torturado y su mundo .