Las demostraciones por ordenador | Tangente

*

*

¿Puede demostrar la máquina? es el título de un artículo del número 8 de Tangente, publicado hace ahora treinta años. Mostraba, con ejemplos elementales, que si un razonamiento permitía reducir una cuestión al análisis de un número finito —y limitado— de casos verificables por ordenador, entonces esa cuestión era objeto de una demostración por ordenador. En aquella época, muchos matemáticos aún rechazaban este principio, argumentando —con razón, en rigor— que entonces habría que demostrar que el sistema operativo utilizado estaba libre de errores.