Do we need to explain every joke? Of course it doesn't finish. But its output is still very well defined: an infinite string of 9... So my argument was that in

Do we need to explain every joke? Of course it doesn't finish. But its output is still very well defined: an infinite string of 9... So my argument was that in a suitable language, I should be able to call atoi() on that string. I concede this hypothetical language would be somewhat abstract. Maybe it's called maths?