I thought you could have calculus using 'computable numbers' that is reals that have a rule. It's been on my list for a while to look into it - there's some not

I thought you could have calculus using 'computable numbers' that is reals that have a rule. It's been on my list for a while to look into it - there's some notes here for the curious http://math.stackexchange.com/questions/963061/can-the-set-of-computable-numbers-be-used-as-a-theoretical-basis-for-calculus http://math.stackexchange.com/questions/963061/can-the-set-o...