Advertisement

über die Definition von effektiven Zufallstests

Teil I
  • Claus -Peter Schnorr
Article

Summary

A new approach is made to characterize random sequences by introducing the concept of effective test function. A test function is a computable function that associates to each finite sequence a positive real number which indicates the extend to which the sequence stands the stochasticity test under consideration. Each test function has a corresponding set of measure zero, namely the set that consists of all infinite sequences which do not stand the test. This type of constructive null set is a generalization of the set of measure zero as defined by Brouwer. We will prove that test functions and sets of measure zero in the sense of Brouwer imply equivalent definitions of random sequences.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 1.
    Brouwer, L.E.J.: Begründung der Mengenlehre unabhÄngig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil. Verhdl. Nederl. Akad. Wet. Afd. Natuurk. Sect. 12, 7 (1919).Google Scholar
  2. 2.
    Davis, M.: Computability and unsolvability. New York-Toronto-London: McGraw-Hill 1958.Google Scholar
  3. 3.
    Hermes, H.: AufzÄhlbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin-Göttingen-Heidelberg: Springer 1961.Google Scholar
  4. 4.
    Heyting, A.: Intuitionism, an introduction. Amsterdam: North-Holland 1956.Google Scholar
  5. 5.
    Kolmogoroff, A.N.: Drei ZugÄnge zur Definition des Begriffs “Informationsgehalt”. Probl. Peredači Inform. 1, 3–11 (1965).Google Scholar
  6. 6.
    Martin-Löf, P.: The definition of random sequences. Inform. and Control 6, 602–619 (1966).Google Scholar
  7. 7.
    Schnorr, C. P.: Eine Bemerkung zum Begriff der zufÄlligen Folge. Z. Wahrscheinlichkeitstheorie verw. Geb. 14, 27–35 (1969).Google Scholar

Copyright information

© Springer-Verlag 1970

Authors and Affiliations

  • Claus -Peter Schnorr
    • 1
  1. 1.Institut für Angewandte Mathematik der UniversitÄt des SaarlandesSaarbrücken 15

Personalised recommendations