ParentFull threadbloomer·Yeah I think this terminology is odd because I think that the computable numbers are much more “useful” than the definable numbers.View on HN