The Cantor's First Diagonal Formalized and Extended
Júnior, João Alves Silva
Original · EN
We examinate, formalize and extend the reasoning behind the Cantor's first diagonal argument, obtaining a simple closed-form expression for a bijection between Nᵏ and N.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.