It is true that computers have played an extraordinary rule in science over the past decades. However, theorems that have been proved with the assistance of computers are still controversial.
In our recent published paper
Nepomuceno, E. G., Martins, S. A. M., Silva, B. C., Amaral, G. F. V., & Perc, M. (2018). Detecting unreliable computer simulations of recursive functions with interval extensions. Applied Mathematics and Computation, 329, 408–419. https://doi.org/10.1016/j.amc.2018.02.020
we have shown that a theorem that has been proved using a computer is not so general as many researchers believe.
The mentioned theorem is presented in
Hammel, S. M., Yorke, J. A., & Grebogi, C. (1987). Do numerical orbits of chaotic dynamical processes represent true orbits? Journal of Complexity, 3(2), 136–145. https://doi.org/10.1016/0885-064X(87)90024-0
Join us in this discussion. I am sure that this is an open question and it is going to be probably open for a long time.
Dr. E. G. Nepomuceno
- Badges
- Science topic
- Similar topics
- Mathematics
- Applied Mathematics