Rationality and game theory when players are Turing machines