2008/5/28 Nick Alexander <[EMAIL PROTECTED]>: > >> but I will tire of the topic quickly, and I assume that much of >> sage-devel will, too. > > Or have already tired. >
The topic of when we can trust a proof, whether or not computer-assisted, is a very interesting one. It is not specific to Sage, of course. I use many theorems in my research whose proofs I have not fully read and/or understood, though I like to believe that I could go and read them (and maybe understand them in time) if I could. I also trust other people (some of them!) who assure me of the correctness of those proofs. I would be less likely to trust those people if they kept those proofs secret and refused to show them to me, or only would do so if I paid them a lot of money. ANyway, it is an interesting debate but not specifically relevant to sage-devel. John Cremona > Nick > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
