<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jun 30, 2014 at 2:48 AM, Alexander Solla <span dir="ltr"><<a href="mailto:alex.solla@gmail.com" target="_blank">alex.solla@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Jun 29, 2014 at 4:29 PM, Mike Meyer <span dir="ltr"><<a href="mailto:mwm@mired.org" target="_blank">mwm@mired.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div><div><div class="gmail_extra"><div class="gmail_quote">On Sun, Jun 29, 2014 at 6:05 PM, Alexander Solla <span dir="ltr"><<a href="mailto:alex.solla@gmail.com" target="_blank">alex.solla@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">


<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">



<div>x + 1 == x is just an equation.  Coming up with a theory where it holds is straightforward.  For example, addition followed by the "fractional part" operation, on the set [0,1].<br></div></div></div></div>
</blockquote></div></div>


</div>
</blockquote></div><br></div></div></div><div class="gmail_extra">Your theory is wrong. This is the same problem you run into with "x == x" being False: you create theories from assumptions about how these things behave based on your experience with abstract mathematical objects, and there are values for which those assumptions do not hold. Surprise results when you run into those cases.</div>

</div></blockquote><div><br></div><div>You can call it "wrong", but it doesn't make it so.  (==) is supposed to model (witness) equality.  The laws for Eq are the theory.</div></div></div></div></blockquote>
<div><br></div><div>That is true, but what you said was "coming up with a theory where it [the equation x == x + 1 being false] holds is straightforward. For example, addition followed by ...".</div><div><br></div>
<div>Ah, I see. You're not trying to provide a theory as to why "floats" don't behave like real numbers, but a mathematical operation which includes objects that act like some "floats".</div><div>
<br></div><div>True, any sufficiently sophisticated developer won't have problems with x == x + 1 being true. Then again, that's also true for x == x being false. </div></div></div></div>