> > > So the article isn't so much about the use of computers in mathematics as > it is about this very specific issue. > > Yes, I wasn't intending to say anything else, only that the article at one point goes on to mention other things people do with computers in math and doesn't mention "discovery".
> Whether one can effectively use a computer to "discover" new, useful > theorems, remains to be seen. This is quite a distinct issue from using > computers to "discover" new conjectures by computing examples and > extrapolating. > > Agreed. > Perhaps a homotopy theorist could say something about the relative > usefulness of computational mathematics in discovering conjectures in > higher homotopy theory. I suspect a computer is not useful here. > >> >> <http://nautil.us/issue/24/error/in-mathematics-mistakes-arent-what-they-used-to-be> >> > When I was in grad school, I remember a now well-known homotopy theorist spending hours programming spectral sequences into one of the computers in our lab, and apparently getting something good out of it. I was amazed but in retrospect I should have joined him! -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.