Calibrating Randomness
- 1 September 2006
- journal article
- Published by Cambridge University Press (CUP) in Bulletin of Symbolic Logic
- Vol. 12 (3) , 411-491
- https://doi.org/10.2178/bsl/1154698741
Abstract
We report on some recent work centered on attempts to understand when one set is more random than another. We look at various methods of calibration by initial segment complexity, such as those introduced by Solovay [125], Downey, Hirschfeldt, and Nies [39], Downey, Hirschfeldt, and LaForte [36], and Downey [31]; as well as other methods such as lowness notions of Kučera and Terwijn [71], Terwijn and Zambella [133], Nies [101, 100], and Downey, Griffiths, and Reid [34]; higher level randomness notions going back to the work of Kurtz [73], Kautz [61], and Solovay [125]; and other calibrations of randomness based on definitions along the lines of Schnorr [117].These notions have complex interrelationships, and connections to classical notions from computability theory such as relative computability and enumerability. Computability figures in obvious ways in definitions of effective randomness, but there are also applications of notions related to randomness in computability theory. For instance, an exciting by-product of the program we describe is a more-or-less naturalrequirement-freesolution to Post's Problem, much along the lines of the Dekker deficiency set.Keywords
This publication has 87 references indexed in Scilit:
- Kolmogorov–Loveland randomness and stochasticityAnnals of Pure and Applied Logic, 2006
- Lowness properties and randomnessAdvances in Mathematics, 2005
- Constructive dimension equals Kolmogorov complexityInformation Processing Letters, 2005
- Randomness and reducibilityJournal of Computer and System Sciences, 2004
- Mathematical metaphysics of randomnessTheoretical Computer Science, 1998
- On hausdorff and topological dimensions of the kolmogorov complexity of the real lineJournal of Computer and System Sciences, 1994
- On relative randomnessAnnals of Pure and Applied Logic, 1993
- Almost everywhere high nonuniform complexityJournal of Computer and System Sciences, 1992
- On the notion of infinite pseudorandom sequencesTheoretical Computer Science, 1986
- Grundlagen der WahrscheinlichkeitsrechnungMathematische Zeitschrift, 1919