Formalizing Nomic: working on a theory of communication with modifiable rules of procedure

Abstract:  In this paper we consider the following question: how can we let computers play Nomic? Nomic is an abstract game of rule-making and legislation. The idea behind Nomic is to change the rules of Nomic. This makes Nomic into an important case of a so-called self-modifying protocol. Formalizing Nomic is important because it gives insight in the workings of such protocols. By proving three modest claims, the paper attempts to provoke further research in this area.