Turing’s Normal Numbers: Towards Randomness

  • Verónica Becher
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7318)

Abstract

In a manuscript entitled “A note on normal numbers” and written presumably in 1938 Alan Turing gave an algorithm that produces real numbers normal to every integer base. This proves, for the first time, the existence of computable normal numbers and it is the best solution to date to Borel’s problem on giving examples of normal numbers. Furthermore, Turing’s work is pioneering in the theory of randomness that emerged 30 years after. These achievements of Turing are largely unknown because his manuscript remained unpublished until its inclusion in his Collected Works in 1992. The present note highlights Turing’s ideas for the construction of normal numbers. Turing’s theorems are included with a reconstruction of the original proofs.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Becher, V., Figueira, S., Picchi, R.: Turing’s unpublished algorithm for normal numbers. Theoretical Computer Science 377, 126–138 (2007)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Becher, V., Figueira, S.: An example of a computable absolutely normal number. Theoretical Computer Science 270, 947–958 (2002)MathSciNetMATHCrossRefGoogle Scholar
  3. 3.
    Borel, É.: Les probabilités dénombrables et leurs applications arithmétiques. Rendiconti del Circolo Matematico di Palermo 27, 247–271 (1909)MATHCrossRefGoogle Scholar
  4. 4.
    Borel, É.: Leçons sur la thèorie des fonctions, 2nd edn., Gauthier Villars (1914)Google Scholar
  5. 5.
    Bugeaud, Y.: Nombres de Liouville et nombres normaux. Comptes Rendus de l’Académie des Sciences de Paris 335, 117–120 (2002)MathSciNetMATHGoogle Scholar
  6. 6.
    Bugeaud, Y.: Distribution Modulo One and Diophantine Approximation. Cambridge University Press (2012)Google Scholar
  7. 7.
    Bourke, C., Hitchcock, J., Vinodchandran, N.: Entropy rates and finite-state dimension. Theoretical Computer Science 349(3), 392–406 (2005)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Chaitin, G.: A theory of program size formally identical to information theory. Journal ACM 22, 329–340 (1975)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Cassels, J.W.S.: On a paper of Niven and Zuckerman. Pacific Journal of Mathematics 2, 555–557 (1952)MathSciNetMATHGoogle Scholar
  10. 10.
    Downey, R., Hirschfeldt, D.: Algorithmic Randomness and Complexity. Springer (2010)Google Scholar
  11. 11.
    Downey, R.: Randomness, Computation and Mathematics. In: Cooper, S.B., Dawar, A., Löwe, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 163–182. Springer, Heidelberg (2012)Google Scholar
  12. 12.
    Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers, 1st edn. Oxford University Press (1938)Google Scholar
  13. 13.
    Harman, G.: Metric Number Theory. Oxford University Press (1998)Google Scholar
  14. 14.
    Kučera, A., Slaman, T.: Randomness and recursive enumerability. SIAM Journal on Computing 31(1), 199–211 (2001)MathSciNetMATHCrossRefGoogle Scholar
  15. 15.
    Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Dover (2006)Google Scholar
  16. 16.
    Lebesgue, H.: Sur certaines démonstrations d’existence. Bulletin de la Société Mathématique de France 45, 132–144 (1917)MathSciNetMATHGoogle Scholar
  17. 17.
    Levin, M.B.: On absolutely normal numbers. English translation in Moscow University Mathematics Bulletin 34, 32–39 (1979)MATHGoogle Scholar
  18. 18.
    Dai, L., Lutz, J., Mayordomo, E.: Finite-state dimension. Theoretical Computer Science 310, 1–33 (2004)MathSciNetMATHCrossRefGoogle Scholar
  19. 19.
    Martin-Löf, P.: The Definition of Random Sequences. Information and Control 9(6), 602–619 (1966)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Nies, A.: Computability and Randomness. Oxford University Press (2009)Google Scholar
  21. 21.
    Schnorr, C.-P.: Zufälligkeit und Wahrscheinlichkeit. In: Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. Lecture Notes in Mathematics, vol. 218. Springer, Berlin (1971)Google Scholar
  22. 22.
    Schnorr, C.-P., Stimm, H.: Endliche Automaten und Zufallsfolgen. Acta Informatica 1, 345–359 (1972)MathSciNetMATHCrossRefGoogle Scholar
  23. 23.
    Sierpiński, W.: Démonstration élémentaire du théorème de M. Borel sur les nombres absolument normaux et détermination effective d’un tel nombre. Bulletin de la Société Mathématique de France 45, 127–132 (1917)Google Scholar
  24. 24.
    Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society Series 2 42, 230–265 (1936)CrossRefGoogle Scholar
  25. 25.
    Turing, A.M.: A note on normal numbers. In: Britton, J.L. (ed.) Collected Works of A.M. Turing: Pure Mathematics, pp. 263–265. North Holland, Amsterdam (1992); with notes of the editor in 263–265 Google Scholar
  26. 26.
    Schmidt, W.M.: On normal numbers. Pacific Journal of Math. 10, 661–672 (1960)MATHGoogle Scholar
  27. 27.
    Strauss, M.: Normal numbers and sources for BPP. Theoretical Computer Science 178, 155–169 (1997)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Verónica Becher
    • 1
  1. 1.Departamento de Computación, Facultad de Ciencias Exactas y NaturalesUniversidad de Buenos AiresBuenos AiresArgentina

Personalised recommendations