The author claims in the notes that "The useful reals are similar, but not quite equivalent to other ideas in mathematics, such as [...] computable numbers."
Is that correct? What is the complement of the Computable Numbers in the Useful Reals? What is the complement of the Useful Reals in the Computable Numbers?
I've always thought of Computable Numbers as all numbers able to be represented by a finite string, ie: a computer program that would generate the number to any desired precision. How does that differ from the set of numbers with a finite symbolic representation?
Hmmmm... maybe by asking that question I've led myself to the answer. Chaitin's Constant has symbolic representations, one of which being the Wikipedia page that describes it: https://en.wikipedia.org/wiki/Chaitin%27s_constant. Does that mean it's included in the complement of the Computable Numbers in the Useful Reals? Are the Computable numbers a subset of the Useful Reals?
Is that correct? What is the complement of the Computable Numbers in the Useful Reals? What is the complement of the Useful Reals in the Computable Numbers?
I've always thought of Computable Numbers as all numbers able to be represented by a finite string, ie: a computer program that would generate the number to any desired precision. How does that differ from the set of numbers with a finite symbolic representation?
Hmmmm... maybe by asking that question I've led myself to the answer. Chaitin's Constant has symbolic representations, one of which being the Wikipedia page that describes it: https://en.wikipedia.org/wiki/Chaitin%27s_constant. Does that mean it's included in the complement of the Computable Numbers in the Useful Reals? Are the Computable numbers a subset of the Useful Reals?