Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
ordered_pair [2014/03/21 11:11] 127.0.0.1 external edit |
ordered_pair [2014/12/08 10:15] nikolaj |
||
---|---|---|---|
Line 29: | Line 29: | ||
This induces the n'th projection $\pi_n$ alla $\pi_3(\langle x_1,x_2,x_3,x_4,x_5\rangle)=\pi_2(\pi_1(\pi_1(\langle x_1,x_2,x_3,x_4,x_5\rangle)))$. | This induces the n'th projection $\pi_n$ alla $\pi_3(\langle x_1,x_2,x_3,x_4,x_5\rangle)=\pi_2(\pi_1(\pi_1(\langle x_1,x_2,x_3,x_4,x_5\rangle)))$. | ||
+ | |||
+ | === For non-negative integers === | ||
+ | There are bijections between $\mathbb N$ and ${\mathbb N}^2$ and so one can encode pairs of numbers as numbers. | ||
=== Reference === | === Reference === |