A computer program can readily be given much more powerful means of introspection than a person has, for we may make it inspect the whole of its memory including program and data to answer certain introspective questions, and it can even simulate (slowly) what it would do with given initial data. It is interesting to list various notions of for a program.
1. There is a sub-program and room for it in memory which would achieve if it were in memory, and control were transferred to . No assertion is made that Program knows or even knows that exists.
2. exists as above and that will achieve follows from information in memory according to a proof that Program is capable of checking.
3. Program's standard problem-solving procedure will find if achieving is ever accepted as a subgoal.