Hacker News new | ask | show | jobs
by bloomer 2273 days ago
Yeah I think this terminology is odd because I think that the computable numbers are much more “useful” than the definable numbers.