FootNote

This is not, of course, a constructive definition. One knows there exists such a program - it could be implemented as a simple look-up table - even if one does not know how to find the entries. This is the point - the criteria of computability, as normally applied, is not constructive.