1. Turing's unpublished algorithm for normal numbers
- Author
-
Becher, V., Figueira, S., and Picchi, R.
- Subjects
Computable absolutely normal numbers ,Turing's unpublished manuscript ,Normal numbers ,Computable construction ,Number theory ,Lebesgue measure ,Set theory ,Turing machines ,Error correction ,Theorem proving ,Manuscripts ,Algorithms ,Algorithm for normal numbers - Abstract
In an unpublished manuscript, Alan Turing gave a computable construction to show that absolutely normal real numbers between 0 and 1 have Lebesgue measure 1; furthermore, he gave an algorithm for computing instances in this set. We complete his manuscript by giving full proofs and correcting minor errors. While doing this, we recreate Turing's ideas as accurately as possible. One of his original lemmas remained unproved, but we have replaced it with a weaker lemma that still allows us to maintain Turing's proof idea and obtain his result. © 2007 Elsevier Ltd. All rights reserved. Fil:Becher, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Figueira, S. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
- Published
- 2007