KURT GÖDEL cambió con su trabajo la manera de entender las matemáticas. Los dos «teoremas de incompletitud» que formuló en 1931 revelaron, por medio de las herramientas de la lógica formal, la fragilidad de los fundamentos del gran edificio matemático que se venÃa construyendo laboriosamente desde la época de Euclides. En adelante, la comunidad cientÃfica iba a verse obligada a admitir que la validez de una conjetura podÃa estar más allá de todo intento racional de demostración, y que la intuición nunca podrÃa ser desterrada del reino de las matemáticas. Formado en la prolÃfica Viena de entreguerras, Gödel pronto se interesó por la epistemologÃa y las teorÃas de la demostración. Como su amigo Albert Einstein, cuestionó las certezas de la ciencia del momento y, del mismo modo, su vida estuvo marcada por la guerra y el exilio.