2013/05/18 by João Alves Silva Júnior, Júnior, João Alves Silva
Computer Science · Mathematics · #03-XX #Argument (complex analysis) #Bijection #Cantor set #Cantor's diagonal argument #Combinatorics #Computability, Logic, AI Algorithms #Computer science #Diagonal #Discrete mathematics #Epistemology #Expression (computer science) #FOS: Mathematics #Geometry #History and Theory of Mathematics #Logic (math.LO) #Mathematics #Mathematics and Applications #Philosophy #Programming language #Pure mathematics #Simple (philosophy) #math.LO #msc:03-XX
paper · pdf · doi:10.48550/arxiv.1305.4271
published in arXiv (Cornell University) (Cornell University) · 5 pages, 2 figures
arxiv created 2013/05/18 · openalex publication_date 2013/05/18 · arxiv updated 2013/05/21 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
We examinate, formalize and extend the reasoning behind the Cantor's first diagonal argument, obtaining a simple closed-form expression for a bijection between ℕk and ℕ.