I spent last week up in the mountains around Banff, Canada, with a spectacular group of people, as we talked about “computational modeling of games.” This was a workshop held at the Banff International Research Station, or BIRS, and organized by Andy Nealen of NYU and Michael Mateas of UC Santa Cruz. As you may be able to tell from the title, it was moderately mathy, though I was assured by several of those there that it was dramatically less so than an actual mathematician would expect, and certainly less so than the other workshops in the series!
I was asked to give a “seed talk” on the question of “the limits of formalism.” The questions Michael and Andy asked me to answer were
What leverage does a formalist approach to game design give you? What might it leave out? What are the broad contours of the landscape of formalist game design theories? What intellectual commitments are formalist game designers making? What are the biggest holes in our current understanding of formalist approaches to game design?