Jeff Barrett (UC Irvine) gives a talk at the MCMP Colloquium (10 May, 2012) titled "Modeling the Coevolution of Theory and Language". Abstract: Skyrms-Lewis sender-receiver games with invention allow one to model how a simple mathematical language might be invented and become meaningful as its use coevolves with the basic arithmetic competence of primitive mathematical inquirers. Such models provide sufficient conditions for the invention and evolution of a very basic sort of arithmetic language and practice, and, in doing so, provide insight into the nature of a correspondingly basic sort of mathematical knowledge in an evolutionary context. Given traditional philosophical reflections concerning the nature and preconditions of mathematical knowledge, these conditions are strikingly modest.