[sage-devel] Re: Proving 1 equals 0 shouldn't be possible

2011-05-24 Thread Jonathan
This is also a great example of the difference between '=' and '=='. If the statement a = b, where to precede everything, then Sage would know that a - b = 0, and would convert the statement 'a==b' to 'b==b', which would frustrate the proof. Jonathan On May 23, 1:44 am, David Kirkby wrote: > On

[sage-devel] Re: Proving 1 equals 0 shouldn't be possible

2011-05-21 Thread kcrisman
By the way, this is a great way to introduce students to how computers do exactly what we tell them, and no more! There are similar good examples with trying to do floating point limits, or complicated integrals that have a 'trick' (though these are getting harder to find). - kcrisman -- To pos

[sage-devel] Re: Proving 1 equals 0 shouldn't be possible

2011-05-21 Thread kcrisman
On May 21, 5:35 am, Juanlu001 wrote: > Yesterday I was playing with symbolic expressions, and I had to apply > divide_both_sides(), and I encountered something funny: you can divide > by zero (with a bit of care). To show this, I've taken the classic > "proof" and created a worksheet: > > http:/