computation embedded in gameplay

Gameplay can compute things, because gameplay can prove things and proofs are programs. See chiapporiMatchingTransfersEconomics2017, parikhKnowledgeBasedSemantics2003, aluralternatingtime2002 . What are some natural ways computation gets embedded in games? Chiappori is an excellent starting place to ask that question.