Is your contention that AI can't be implemented on a Turing machine?