Какую я красоту нашел!
The intuitive notion of (interactive) computational problems is formalized as a certain new, procedural-rule-free sort of games (called static games) between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any possible environment.
Нашел в архивах LtU.
Нашел в архивах LtU.