(Strictly speaking, of course, the notion of computability is best seen as one of having a procedure for knowing which number is the value of the function, and the relation of this to knowing de re of a number that it is the value might be complex.