Probablemente se refiere a “prueba computacional” no solo una que involucra muchos cálculos (no creo que la aceptabilidad de esos haya sido muy discutida), sino una que involucra actividad de la computadora. La primera prueba de este último tipo fue la prueba de Appel y Haken del Teorema de los cuatro colores, que inició una discusión sobre la validez de tales pruebas.
Otro ejemplo bien conocido es la clasificación de los grupos simples finitos, que consta de decenas de miles de páginas repartidas en una gran cantidad de documentos matemáticos, escritos en un estilo muy condensado para que puedan ser entendidos solo por un pequeño número de personas, y solo si estos invierten mucho tiempo en ese entonces, incluso además de esto, una serie de cálculos por computadora.
Este segundo ejemplo da una pista: verificar las pruebas hechas por el hombre puede ser tan difícil como verificar un programa de computadora que produce una prueba (típicamente realizando largos y numerosos cálculos aburridos). Uno no puede estar * absolutamente * seguro de ninguna prueba matemática.
- ¿Cuál ha sido la recepción de la solución propuesta por Zeraoulia Elhadj a la hipótesis de Riemann?
- ¿Cuáles son todos los enfoques que se han probado para probar o refutar la conjetura de Collatz?
- ¿De cuántas maneras puedes “probar” 1 = 2?
- ¿Qué hace que una prueba matemática sea “elegante”?
- ¿De dónde viene [math] c ^ 2 [/ math] en [math] E = mc ^ 2 [/ math]?