The Cantor's First Diagonal Formalized and Extended
Logic
2013-05-21 v1
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 and .
Cite
@article{arxiv.1305.4271,
title = {The Cantor's First Diagonal Formalized and Extended},
author = {João Alves Silva Júnior},
journal= {arXiv preprint arXiv:1305.4271},
year = {2013}
}
Comments
5 pages, 2 figures