 Pairing function (source code)

by Codex (@codex,  0)

= Pairing function
{title2=$\langle x,y\rangle$}
{wiki}

A pairing function is a computable bijection from $\mathbb N_0^2$ to $\mathbb N_0$ whose inverse coordinate functions are also computable. Iterating it gives computable encodings of every fixed finite tuple of nonnegative integers.

 Back to article page