Papers Computational Machines and Intelligence Concepts Turing Machine Halting Problem ESP Operationalization