Turing's unpublished 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… (More)
DOI: 10.1016/j.tcs.2007.02.022

Topics

Cite this paper

@article{Becher2007TuringsUA, title={Turing's unpublished algorithm for normal numbers}, author={Ver{\'o}nica Becher and Santiago Figueira and Rafael Picchi}, journal={Theor. Comput. Sci.}, year={2007}, volume={377}, pages={126-138} }