Bijeção entre NxN e N

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

Problema clássico:

Existe algum polinômio em duas variáveis que defina uma bijeção
entre NxN e N?

Aqui N = {0,1,2,3,...} é o conjunto dos naturais
e NxN é o produto cartesiano de N com N, i.e.,
é o conjunto dos pares ordenados de naturais.

[]s, N.