Turing's unpublished algorithm for normal numbers


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


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} }