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.
