TEXT $ 0 ┤ Text1 Σ / Text2 <P1><DROPCAP>E</DROPCAP>L 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 <HOT TARGET=393>axiomas</HOT>), existen <HOT TARGET=2077>proposiciones</HOT> que quedan sin resolver, que no se pueden ni <HOT TARGET=2078>probar</HOT> ni descartar. Lo más importante es que la <HOT TARGET=1078>consistencia</HOT> 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 <HOT TARGET=1193>David Hilbert</HOT>, <HOT TARGET=485>Bertrand Russell</HOT> y otros de fundamentar las matemáticas en bases puramente axiomáticas. </P1><TITLE>Kurt Gödel (1906–78) </TITLE>
