4 ms·
Nothing is preventing you from using computers cleverly to gain a better understanding of mathematical problems you are facing. But abandoning or discounting th
by 110011 9y ago
Nothing is preventing you from using computers cleverly to gain a better understanding of mathematical problems you are facing. But abandoning or discounting the importance of rigor is down right stupid. The great achievement of mathematics is the vast repository of irrefutable statements which will stand for eternity. And this comes from rigor, which helps and does not hinder.
Going back to his example, how does it help if we all collectively agree that, yes, there must be infinitely many twin primes because of computational evidence X, Y and Z. Nothing more than agreement has been achieved in such a case. And we are none the wiser in the way of insight or explanation besides the computations we already had...
- trentmb 9y ago> But abandoning or discounting the importance of rigor is down right stupid. https://en.wikipedia.org/wiki/Italian_school_of_algebraic_geometry#Collapse_of_the_school https://en.wikipedia.org/wiki/Italian_school_of_algebraic_ge...