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.
Literatur
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).
Davis, M.: Computability and unsolvability. New York-Toronto-London: McGraw-Hill 1958.
Hermes, H.: AufzÄhlbarkeit, Entscheidbarkeit, Berechenbarkeit. Berlin-Göttingen-Heidelberg: Springer 1961.
Heyting, A.: Intuitionism, an introduction. Amsterdam: North-Holland 1956.
Kolmogoroff, A.N.: Drei ZugÄnge zur Definition des Begriffs “Informationsgehalt”. Probl. Peredači Inform. 1, 3–11 (1965).
Martin-Löf, P.: The definition of random sequences. Inform. and Control 6, 602–619 (1966).
Schnorr, C. P.: Eine Bemerkung zum Begriff der zufÄlligen Folge. Z. Wahrscheinlichkeitstheorie verw. Geb. 14, 27–35 (1969).
Author information
Authors and Affiliations
Additional information
Die Arbeit stellt einen Teil der Habilitationsschrift dar, die der Mathematisch-Naturwissenschaftlichen FakultÄt der UniversitÄt des Saarlandes vom Verfasser vorgelegt wurde.
Rights and permissions
About this article
Cite this article
Schnorr, C.P. über die Definition von effektiven Zufallstests. Z. Wahrscheinlichkeitstheorie verw Gebiete 15, 297–312 (1970). https://doi.org/10.1007/BF00533301
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00533301