Definition:Code Number for Integer

It has been suggested that this page be renamed. In particular: The structure needs to be set up so that arbitrary systems of integer codings are defined. As it is, this is not the first integer coding that we have on $\mathsf{Pr} \infty \mathsf{fWiki}$ and I am pretty sure it will not be the last. As I stated some months back, there is already an entire thread in place which achieves the result in which this exposition is to proceed, and it is an unacceptably suboptimal strategy to have more than one parallel thread which are independent of each other which achieve the same goal. To discuss this page in more detail, feel free to use the talk page.

Definition

Let $x \in \Z$ be an integer.

If $x > 0$, then let:

$n = 2 x - 1$

If $x \le 0$, then let:

$n = -2 x$

Then, $n \in \N$ codes the integer $x$, or $n$ is the code number for the integer $x$.

Sources

There are no source works cited for this page. In particular: Arbitrary coding, derived from Integers are Countably Infinite Source citations are highly desirable, and mandatory for all definition pages. Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted. To discuss this page in more detail, feel free to use the talk page.