ABSTRACT

In this chapter we step back and take a broader perspective on the results in the preceding chapters. We may view the family of constraint-logic games, taken as a whole, as a hierarchy of complete problems; this idea is developed in Section 8.1. We return to the overall theme of games as computation, this time from a more philosophical and speculative perspective, in Section 8.2. There we address the apparently nonsensical result from Chapter 7 that play in a game of fixed physical size can emulate a Turing machine with an infinite tape.