Work

The Cantor's First Diagonal Formalized and Extended

Year: 2013
Type: preprint
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}$.
Language: English
Open Access status: green
OpenAlex ID: W1756882274
Cites: 1
Cited by:
Related to: 10