Could you please give examples of fundamental questions in mathematics (let us say, pure mathematics) which were resolved fundamentally by the use of computers? More precisely, are there examples that you can compare to the accomplishments that Gauss, Ramanujan, Riemann, Grothendieck, Deligne, Wiles, Perelman, etc. obtained? Let me make precise that my question does not mean that I do not advocate the use computers as a powerful tool.
Fundamental Problems in Mathematics that, without Computer Sciences, would not be resolved? [closed]
$\begingroup$
$\endgroup$
5
-
$\begingroup$ What is "fundamental"? How about the four color conjecture? I think it was the first one "accepted" by the community. $\endgroup$– Alex DegtyarevCommented Jan 18, 2014 at 21:08
-
1$\begingroup$ Please do not write words in all capitals to emphasize them. And names only have the first letter capitalized, not all of them. $\endgroup$– Tobias KildetoftCommented Jan 18, 2014 at 21:20
-
$\begingroup$ I know about the four color conjecture.But as far as I know, GAUSS, RAMANUJAN,..., could not check the proof. Am I wrong ? $\endgroup$– Al-AmraniCommented Jan 18, 2014 at 21:22
-
5$\begingroup$ Using computers and using computer science are two different things, at least to me... $\endgroup$– Yuichiro FujiwaraCommented Jan 18, 2014 at 21:30
-
$\begingroup$ @ Yuichiro Fujiwara : To me too . $\endgroup$– Al-AmraniCommented Jan 18, 2014 at 22:09
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
Existence of Lorentz attractor was proved in part using rigorous numerics impemented on a computer. http://www2.math.uu.se/~warwick/main/papers/comptes.pdf