
<html><head></head><body><div><span data-mailaddress="danust2012@gmail.com" data-contactname="Dan" class="clickable"><span title="danust2012@gmail.com">Dan</span><span class="detail"> <danust2012@gmail.com></span></span> , 14/10/2014 9:48 PM:<br><blockquote class="mori" style="margin:0 0 0 .8ex;border-left:2px blue solid;padding-left:1ex;"><div><a href="http://www.springer.com/mathematics/analysis/book/978-1-4614-4537-1" style="-webkit-text-size-adjust:auto;" title="http://www.springer.com/mathematics/analysis/book/978-1-4614-4537-1" target="_blank">http://www.springer.com/mathematics/analysis/book/978-1-4614-4537-1</a><span style="-webkit-text-size-adjust:auto;background-color:rgba(255, 255, 255, 0);"><br><br>Me want! Jeg vil gjerne denne!</span></div></blockquote></div><div><br></div><div>Looking at the sample chapter suggests that while there might not be derivatives, it is a graduate level approach that plays around with things like topological spaces, coercive functions and normal cones - it is not easier than the usual approach.</div><div><br></div><div>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. </div><div><br></div><div><br></div><br><br>Anders Sandberg, Future of Humanity Institute Philosophy Faculty of Oxford University</body></html>