On the relation between representations and computability

Jaun Casanova, Simone Santini

One of the fundamental results in computability is the existence of well-defined functions that cannot be computed. In this paper we study the effects of data representation on com…