The math and logic of video games

194 Views Asked by At

Is there a paper or text somewhere where someone axiomatizes the concept of video or computer games and makes definitions and proves theorems? I would love to see such a text. It would be quite something.