Mathematics is computing with infinite resolution?