What discoveries have been made in Mathematics thanks to computer science?

334 Views Asked by At

What are examples of discoveries have been made in Mathematics thanks to computer science?

1

There are 1 best solutions below

0
On BEST ANSWER

While I'm not sure what you exactly mean by your comment about fractals, there is a few examples that come to mind, where computer technology contributes to mathematics,

  • The proof of the four color theorem that heavily relies on verification by computer programs.

  • There are algorithms to automatically discover and prove certain hypergeometric identities, see the book A=B by M. Petkovsek, S. Wilf and D. Zeilberger.

  • Computations and simulations can often give good inspiration in search of new mathematical relations, especially in fields like numerical analysis. This approach is referred to as Experimental Mathematics.

  • There are attempts at formalizing the foundations of mathematics using computers. Goals are for example verification of (complicated) existing proofs, but some also dream of automating the process of mathematical discovery and proof altogether. However, as far as I'm informed this is still quite far from reality.