This paper considers finite games in strategic form. It is shown that, when payoffs are computable, every game has a Nash equilibrium in which each player uses a strategy which is computable. There can, however, exist no algorithm that is guaranteed to find an equilibrium for every instance of a...