[ExI] Calculus Without Derivatives
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...
More information about the extropy-chat