2014/08/28 by Samuel Nicolay, Nicolay, Samuel, Laurent Simons +1
Computer Science · Mathematics · #26A03 #26A30 #Computability, Logic, AI Algorithms #FOS: Mathematics #History and Overview (math.HO) #Logic, programming, and type systems #math.HO #msc:26A03 #msc:26A30 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1409.1755
5 pages
arxiv created 2014/08/28 · openalex publication_date 2014/08/28 · arxiv updated 2014/09/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Cantor's first idea to build a one-to-one mapping from the unit interval to the unit square did not work since, as pointed out by Dedekind, the so-obtained function is not surjective. Here, we start from this function and modify it (on a negligible set) in order to obtain the desired result: a one-to-one correspondance between the unit interval and the unit square.