¿Podría dar ejemplos de cuestiones fundamentales en matemáticas (digamos, matemáticas puras) que se resolvieron fundamentalmente mediante el uso de ordenadores? Más concretamente, ¿hay ejemplos que pueda comparar con los logros que obtuvieron Gauss, Ramanujan, Riemann, Grothendieck, Deligne, Wiles, Perelman, etc.? Permítame precisar que mi pregunta no significa que no defienda el uso de ordenadores como herramienta poderosa.
Respuesta
¿Demasiados anuncios?
Piyush Grover
Puntos
624
La existencia del atractor de Lorentz se demostró en parte mediante rigurosos cálculos realizados en ordenador. http://www2.math.uu.se/~warwick/main/papers/comptes.pdf