It might be possible (I haven't checked thoroughly) to draw a parallel: "Humans can come up with a new heuristic on the fly" for this chess problem <=> "Identif

It might be possible (I haven't checked thoroughly) to draw a parallel: "Humans can come up with a new heuristic on the fly" for this chess problem <=> "Identify the incomplete part of this system -- in the sense of Gödel's incompleteness theorem". So it might just be that humans process the game at a semantic level where we have developed the semantic tokens that can express the incompleteness, and from that produce a hypothesis, a heuristic. Computers do not, generally, apply semantic reasoning to problem solving. At least, not yet. :)