The Cantor's First Diagonal Formalized and Extended

Abstract

We examinate, formalize and extend the reasoning behind the Cantor's first diagonal argument, obtaining a simple closed-form expression for a bijection between ${\mathbb{N}}^k$ and $\mathbb{N}$.

arXiv comment5 pages, 2 figures