On the computability of Nash equilibria