Text this: Computability and randomness of Nash equilibrium in finite games.