๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Kolmogorov complexity of random reals

โœ Scribed by Liang Yu; Decheng Ding; Rodney Downey


Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
296 KB
Volume
129
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the Kolmogorov Complexity of Arbitrar
โœ Aaron Shenhar ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 795 KB

The notion of Kolmogorov program-size complexity (or algorithmic information) is defined here for arbitrary objects. Using a special form of recursive topological spaces, called partition spaces, we define a recursive topology which uses a level of partition for approximation of arbitrary objects in

On hausdorff and topological dimensions
โœ Jin-yi Cai; Juris Hartmanis ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 767 KB

We investigate the Kolmogorov complexity of real numbers. Let K be the Kolmogorov complexity function; we determine the Hausdorff dimension and the topological dimension of the graph of K. Since these dimensions are different, the graph of the Kolmogorov complexity function of the real line forms a

Complexity of reals in inner models of s
โœ Boban Velickovic; W.Hugh Woodin ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 931 KB

We consider the possible complexity of the set of reals belonging to an inner model M of set theory. We show that if this set is analytic then either l-2, M is countable or else all reals are in M. We also show that if an inner model contains a superperfect set of reals as a subset then it contains

An Excursion to the Kolmogorov Random St
โœ Harry Buhrman; Elvira Mayordomo ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 809 KB

We study the sets of resource-bounded Kolmogorov random strings: . We show that the class of sets that Turing reduce to R t has measure 0 in EXP with respect to the resource-bounded measure introduced by Lutz. From this we conclude that R t is not Turing-complete for EXP. This contrasts with the re