If is a noncomputable mathematical function, then the sense of 'f (n)' might be revelatory in the weak sense that no empirical information is required to find the referent, though perhaps a mathematical argument is required to do so.