noncomputable functions I know that there exist functions such that no computer program can, given arbitrary input, produce the correct function value. There is nothing, however which would prohibit us from knowing the function value for certain specific inputs.
Suppose we have an uncomputable function $f$ defined on N and an infinite sequence of programs $p_1,p_2,p_3,..$ such that $p_n$ computes $f(n)$ no matter what it is given as input.
Since we could use this infinite sequence of programs to compute the function value for an arbitrary input, I am led to believe this sequence of programs cannot exist.
Thus, for any uncomputable function there must exist a particular element in the domain of the function such that its function value cannot ever be computed.
Is my reasoning valid?

Suppose $f : \mathbb{N}\to\mathbb{N}$. Programs that compute constant functions on natural numbers always exist. Therefore for any function $f : \mathbb{N} \to \mathbb{N}$ there "exists" a sequence of programs $\{p_n\}$ such that $p_n$ computes $f(n)$ for any given input.
Now one has to be a bit careful when saying "exists". This depends on your metatheory. In ordinary mathematics with classical logic this sequence "exists", but the catch is that in general there will not be a Turing machine that would enumerate it. If your metatheory is weaker, then you perhaps won't be able to construct such a sequence of programs at all.
So there is no uniform way to compute $f$, i.e. a finite sequence of instructions that would compute $f(n)$ for any $n$, but for each particular $n$, this always exists, since the value of $f$ is some fixed natural number.
