“Mathematics is the domain of all formal languages, and allows the expression of arbitrary statements (most of which are uncomputable). Computation may be understood in terms of computational systems, for instance via defining states (which are sets of discernible differences, i.e. bits), and transition functions that let us derive new states.”