Well, yes, but mostly because most real numbers cannot ever be specified to an algorithm or received back from it. So you are right, ordering of R is about incomputable things.
The difference here is that we talk about ZFC formulas which can include quite powerful tricks easily.
Oh right, I forgot that real numbers could be individually non-computable in the first place.
From Costanza's original thread (entire text):
Meta: