> Makes you wonder what will happen when instead of the rules of chess, you put in the axioms of logic and natural numbers. If you're talking about formal proo

> Makes you wonder what will happen when instead of the rules of chess, you put in the axioms of logic and natural numbers. If you're talking about formal proofs or maths, I'm not sure how this would apply in general as the branching factor for each 'move' in a proof is efficiently infinite. It would be interesting to see it applied to more constrained proof domains though.