thus the name of the theorem.

Roger's equivalence theorem provides a characterization of the Gödel numbering of the computable functions in terms of the ''s_mn'' theorem and the UTM theorem.

Theorem

The theorem states that a partial computable function u of two variables exists such that, for every computable function f of one variable,