Wednesday, 25 January 2012

definitions

(This is a response to a discussion on twitter last night between @doougle, @raphkoster, @ElectronDance, @edclef, @v21 and others. Tried to reply on twitter but it expanded to like 8 tweets so I'm posting it here instead. Sorry if that makes it EVEN LONGER AND RAMBLIER.)

Definitions are a powerful tool. In mathematics, we can precisely define classes of object (numbers, algebraic structures, topological spaces, etc.) and then learn things about them by logically manipulating the definition. Writing down a formal definition is the only way we can actually get at a class of non-physical objects and do stuff with it. This the thing I've seen students struggle the most with in learning maths - they will start out trying to prove a result without considering the definitions of the objects it mentions, and they get nowhere at all because they have nothing to work with but a vague intuition and some examples.

Definitions need to be exclusive to be useful. The smaller the class of objects you're talking about, the more truths will hold in general for all objects in the class. If you talk about finite two-player perfect-information zero-sum games, you can make some pretty strong statements, which are very useful if you're working in that context.

It's important to bear in mind that theorems are completely meaningless if not all their conditions are satisfied - if you try to apply them where your assumptions don't hold, bad things can happen.

And it's important to bear in mind that a definition does not say anything about how things should be. It's not a prescription. It doesn't say that what lies outside is not worthy of consideration.

@doougle: @ElectronDance @raphkoster Raph, these discussions have POLITICAL consequences. Like what games get recognized at IGF, etc.

So there's a tension here. For POLITICAL purposes, definitions should be as inclusive as possible. Everyone should just make cool stuff and not care whether it fits some restriction, and festivals like IGF should be broad and accepting of all of this. But for useful technical discussions, we need to be clear and precise about what we're talking about by using exclusive definitions. When people confuse the two there's a problem.

I kind of wish "game" wasn't the general term for interactive software art. Maybe we kind of need a new term for rule-driven consequentially-interactive maybe-competitive games, because they're an interesting class of object and it's worth discussing them, and it would be nice if we could reason about them without having to make exceptions for Proteus every time.

Tuesday, 10 January 2012

New Year cleansing

It's now 2012.
Here are some smaller games I made in 2010. Some of them are from an album concept I was working on, but at this point I think it's better just to release them and make something new than to try to complete the album.

* Fire Up The Lemma Engines
* Cubic Computing Carcass (doesn't have an end-state)
* The Bristling Beard of Science (puzzle game, doesn't really fit with the rest here)

I've included an exe (Idiolect) with some of the other album tracks which are fragmentary and very unfinished but that you might like to look at anyway:
* Black Pyramid Script
* This Is The Dystopian Future
* Cryptoforest
* A Simple Instruction (no interaction in this one, but mesmerising)

I've also bundled in a few of my other games from the same period that are already released, that fit with these stylistically and round it out to a nice collection:
* Knot-Pharmacard Subcondition J
* the sense of connectedness
* Babeltron 2010
* Hyperabuse Monolith