PRUEBAS Y REFUTACIONES; LA LÓGICA DEL DESCUBRIMIENTO MATEMÁTICO

PRUEBAS Y REFUTACIONES; LA LÓGICA DEL DESCUBRIMIENTO MATEMÁTICO, de Imre Lakatos, transforma la manera de entender cómo nace el conocimiento matemático. Publicada en inglés en 1976 y difundida en español desde 1978, esta obra clásica de la filosofía de la ciencia rechaza la idea de que las matemáticas avanzan únicamente mediante demostraciones formales y definitivas.

Lakatos reconstruye, mediante un diálogo entre un profesor y sus alumnos, el intento de demostrar la célebre fórmula de Euler para los poliedros: $V-E+F=2$. A partir de conjeturas, contraejemplos y correcciones sucesivas, el autor muestra que el saber matemático se perfecciona mediante la crítica, la discusión y la reformulación de conceptos.