TEXT $ 0 ´ Text1 ä / Text2 EL FILÓSOFO Y matemático estadounidense, nacido en Austria, Kurt Gödel es famoso por sus teoremas incompletos (1931) que revolucionaron la lógica. Gödel demostró que en cualquier sistema formal (un sistema simbólico basado en axiomas), existen proposiciones que quedan sin resolver, que no se pueden ni probar ni descartar. Lo más importante es que la consistencia de los axiomas no se puede probar. El trabajo de Gödel tuvo un profundo impacto en la manera en que los matemáticos reflexionaron acerca de las matemáticas. Demostró, en especial, por qué fallaron los intentos de David Hilbert, Bertrand Russell y otros de fundamentar las matemáticas en bases puramente axiomáticas.
Kurt Gödel (1906–78)