[ExI] Calculus Without Derivatives

Ohad Asor ohadasor at gmail.com
Tue Oct 14 22:54:51 UTC 2014

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>

More information about the extropy-chat mailing list