[ExI] Calculus Without Derivatives

[Ohad Asor]

On Wed, Oct 15, 2014 at 1:46 AM, Anders Sandberg <anders at aleph.se> wrote:

> 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.



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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20141015/e00aa2c8/attachment.html>