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.