> It would be very sane to be able to compute, for any two numbers, which one is > larger (or whether they're equal), but sadly this is not computable for the

> It would be very sane to be able to compute, for any two numbers, which one is > larger (or whether they're equal), but sadly this is not computable for the > computable numbers. I'd like to understand - Can you explain this? It seems like it would be easy to have a Turing machines that uses the other two Turing machines, adding one digit at a time until it finds a difference. > I mean, I've thought of noncomputable reals like Chaitin constants. Heh, but how many digits can you actually provide? Not too many. So have you really thought of the number in any meaningful sense when you barely know any of its digits? Also interesting that computer languages themselves are countable, so while it's hard to specify the digits algorithmically for the Chaitin constant of any computer language, you already know that the set of ALL Chaitin constants are countable.