Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Sniffnoy
on March 24, 2020
|
parent
|
context
|
favorite
| on:
The field of “useful reals” between rational and r...
The standard term is "definable", not "useful":
https://en.wikipedia.org/wiki/Definable_real_number
But yes, Chaitin's constant is an example of a number that is definable but not computable.
bloomer
on March 25, 2020
[–]
Yeah I think this terminology is odd because I think that the computable numbers are much more “useful” than the definable numbers.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
But yes, Chaitin's constant is an example of a number that is definable but not computable.