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