Comment by upquark

Yes but you defined the number just fine, right? "Compute" is a separate issue from "define", you can't compute a lot of things. Is this going in the intuitionistic logic direction?