I see. The difference, then, between that situation and the situation where I provide a real number named as the sum of an infinite series is that in the latte

I see. The difference, then, between that situation and the situation where I provide a real number named as the sum of an infinite series is that in the latter case I may be able to provide also the modulus of convergence, thus proving that the number is a constructive real number [0]. This is different from a situation where I have a number defined non-constructively and no series is known that converges on the number. [0] https://en.wikipedia.org/wiki/Constructivism_%28mathematics%29 https://en.wikipedia.org/wiki/Constructivism_%28mathematics%...