1. My statement applies to any computational approach to AI. If AI is possible it needs a halting oracle.

2. Learning is being able to recognize ever increasing levels of complexity. All axiomatic systems have a complexity recognition limit.