“Thus the robot is incapable of knowing that it was constructed according to the mechanisms M. Since we are aware-or at least can be made aware-that the robot was so constructed, this seems to tell us that we have access to mathematical truths, e.g. Omega (Q(M)), that are beyond the robot's capabilities, despite the fact that the robot's abilities are supposed to be equal of (or in excess of) human capabilities.”