In his paper “Using turing oracles in cognitive models of problem-solving” Jonathan Bartlett proposes halting oracles as first class citizens in our explanations for the world, such as modeling the human mind as a halting oracle. A brief explanation: the famous computer scientist Alan Turing invented a universal machine that can copy any other machine.… Continue Reading