Philosophy of Computer Science and Games