chenille wrote:
The metaphor of a dart is about picking a number at random rather than writing out an exact value. It's true there are more real numbers than there are ways to write a finite string of symbols.
But as far as that goes, why would you imagine 0.5 or 1/3 are any less symbolic than √2? All of those represent simple operations applied to integers, defining numbers exactly, even if one is a little more challenging to convert to a decimal representation.