Skip to main content

Every 2-random real is Kolmogorov random

  • Joseph S. Miller (a1)

We study reals with infinitely many incompressible prefixes. Call A ∈ 2ωKolmogorov random if . where C denotes plain Kolmogorov complexity. This property was suggested by Loveland and studied by Martin-Löf. Schnorr and Solovay. We prove that 2-random reals are Kolmogorov random. Together with the converse—proved by Nies. Stephan and Terwijn [11]—this provides a natural characterization of 2-randomness in terms of plain complexity. We finish with a related characterization of 2-randomness.

Hide All
[1]Chaitin, Gregory J., A theory of program size formally identical to information theory, Journal of the Association for Computing Machinery, vol. 22 (1975), pp. 329340.
[2]Daley, Robert P., Complexity and randomness, Computational complexity (Courant Computer Science Symposium 7, New York University, New York, 1971), Algorithmics Press, New York, 1973, pp. 113122.
[3]Downey, R. and Hirschfeldt, D., Algorithmic randomness and complexity, Springer-Verlag, Berlin, to appear.
[4]Kolmogorov, A. N., Three approaches to the definition of the concept “quantity of information”, Problemy Peredači Informacii, vol. 1 (1965), no. vyp. 1, pp. 311.
[5]Levin, L. A., The concept of a random sequence, Doklady Akademii Nauk SSSR, vol. 212 (1973), pp. 548550.
[6]Li, M. and Vitányi, P., An introduction to Kolmogorov complexity and its applications, Texts and Monographs in Computer Science, Springer-Verlag, New York, 1993.
[7]Loveland, Donald W., On minimal-program complexity measures, ACM Symposium on the Theory of Computing (STOC), ACM Press, New York, 05 1969, pp. 6178.
[8]Martin-Löf, Per, The definition of random sequences, Information and Control, vol. 9 (1966), pp. 602619.
[9]Martin-Löf, Per, Complexity oscillations in infinite binary sequences, Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, vol. 19 (1971), pp. 225230.
[10]Miller, Joseph S. and Yu, Liang, On initial segment complexity and degrees of randomness, in preparation.
[11]Nies, André, Stephan, Frank, and Terwijn, Sebastiaan A., Randomness, relativization and Turing degrees, submitted to this Journal.
[12]Schnorr, C. P., A unified approach to the definition of random sequences, Mathematical Systems Theory, vol. 5 (1971), pp. 246258.
[13]Solomonoff, R. J., A formal theory of inductive inference I and II, Information and Control, vol. 7 (1964). pp. 1–22, 224254.
[14]Solovay, Robert M., Draft of paper (or series of papers) on Chaitin's work, unpublished notes. 215 pages, 05 1975.
[15]Yu, Liang, Decheng, Ding, and Downey, Rod G., The Kolmogorov complexity of the random reals, submitted.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed