is interchangeable. Turing recognizable and recursive enumerable is also interchangeable. Where does this non-Turing come from? If human mind is non-Turing, human mind then must be in the continuum domain, and that is definitely not the case.