So you're telling me I don't get all those lovely uncomputable numbers if I don't get the completion package?
Tell you what, you give me an interval that contains one of those supposedly uncomputable numbers, and then I'll keep bisecting it and you just need to give me a rule whether I should continue in the left or right half, and we'll find one of those uncomputable numbers in no time!
Oh, you can't? Checkmate atheists!!!!11
@robryk @rygorous https://en.wikipedia.org/wiki/Completeness_of_the_real_numbers