[bloomer]

Yeah I think this terminology is odd because I think that the computable numbers are much more “useful” than the definable numbers.