<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 15, 2014 at 1:46 AM, Anders Sandberg <span dir="ltr"><<a href="mailto:anders@aleph.se" target="_blank">anders@aleph.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Incidentally, the Mean Value Theorem is not valid if one uses just the computable reals. That blew my mind when Ben Goertzel pointed it out to me. </blockquote></div><br><br></div><div class="gmail_extra">btw it's invalid also if you do not accept the law of excluded middle. if you do not accept the latter, it is equivalent to computing reals up to arbitrary (predefined) precision.<br><br><br></div></div>