Results 1  10
of
14
Recursively Enumerable Reals and Chaitin Ω Numbers
"... A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay [23] and Chaitin [10] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from b ..."
Abstract

Cited by 34 (3 self)
 Add to MetaCart
A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay [23] and Chaitin [10] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from below. We shall study this relation and characterize it in terms of relations between r.e. sets. Solovay's [23]like numbers are the maximal r.e. real numbers with respect to this order. They are random r.e. real numbers. The halting probability ofa universal selfdelimiting Turing machine (Chaitin's Ω number, [9]) is also a random r.e. real. Solovay showed that any Chaitin Ω number islike. In this paper we show that the converse implication is true as well: any Ωlike real in the unit interval is the halting probability of a universal selfdelimiting Turing machine.
Dynamics, computation, and the “edge of chaos”: A reexamination
 Complexity:Metaphors, Models, and Reality
, 1994
"... In this paper we review previous work and present new work concerning the relationship between dynamical systems theory and computation. In particular, we review work by Langton [21] and Packard [29] on the relationship between dynamical behavior and computational capability in cellular automata (CA ..."
Abstract

Cited by 25 (2 self)
 Add to MetaCart
In this paper we review previous work and present new work concerning the relationship between dynamical systems theory and computation. In particular, we review work by Langton [21] and Packard [29] on the relationship between dynamical behavior and computational capability in cellular automata (CAs). We present results from an experiment similar to the one described by Packard [29], which was cited as evidence for the hypothesis that rules capable of performing complex computations are most likely to be found at a phase transition between ordered and chaotic behavioral regimes for CAs (the “edge of chaos”). Our experiment produced very different results from the original experiment, and we suggest that the interpretation of the original results is not correct. We conclude by discussing general issues related to dynamics, computation, and the “edge of chaos ” in cellular automata. 1
On the relationship between complexity and entropy for Markov chains and regular languages
 Complex Systems
, 1991
"... Abstract. Using the pastfuture mutual information as a measure of complexity, the relation between the complexity and the Shannon entropy is determined analytically for sequences generated by Markov chains and regular languages. It is emphasized that, given an entropy value, there are many possible ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
Abstract. Using the pastfuture mutual information as a measure of complexity, the relation between the complexity and the Shannon entropy is determined analytically for sequences generated by Markov chains and regular languages. It is emphasized that, given an entropy value, there are many possible complexity values, and vice versa; that is, the relationship between complexity and entropy is not onetoone, but rather manytoone or onetomany. It is also emphasized that there are structures in the complexityversusentropy plots, and these structures depend on the details of a Markov chain or a regular language grammar. 1.
Randomness Space
 Automata, Languages and Programming, Proceedings of the 25th International Colloquium, ICALP’98
, 1998
"... MartinL#of de#ned in#nite random sequences over a #nite alphabet via randomness tests which describe sets having measure zero in a constructive sense. In this paper this concept is generalized to separable topological spaces with a measure, following a suggestion of Zvonkin and Levin. After stud ..."
Abstract

Cited by 21 (4 self)
 Add to MetaCart
MartinL#of de#ned in#nite random sequences over a #nite alphabet via randomness tests which describe sets having measure zero in a constructive sense. In this paper this concept is generalized to separable topological spaces with a measure, following a suggestion of Zvonkin and Levin. After studying basic results and constructions for such randomness spaces a general invariance result is proved which gives conditions under which a function between randomness spaces preserves randomness. This corrects and extends a result bySchnorr. Calude and J#urgensen proved that the randomness notion for real numbers obtained by considering their bary representations is independent from the base b. We use our invariance result to show that this notion is identical with the notion which one obtains by viewing the real number space directly as a randomness space. Furthermore, arithmetic properties of random real numbers are derived, for example that every computable analytic function pres...
Computational depth and reducibility
 Theoretical Computer Science
, 1994
"... This paper reviews and investigates Bennett's notions of strong and weak computational depth (also called logical depth) for in nite binary sequences. Roughly, an in nite binary sequence x is de ned to be weakly useful if every element of a nonnegligible set of decidable sequences is reducible to x ..."
Abstract

Cited by 12 (2 self)
 Add to MetaCart
This paper reviews and investigates Bennett's notions of strong and weak computational depth (also called logical depth) for in nite binary sequences. Roughly, an in nite binary sequence x is de ned to be weakly useful if every element of a nonnegligible set of decidable sequences is reducible to x in recursively bounded time. It is shown that every weakly useful sequence is strongly deep. This result (which generalizes Bennett's observation that the halting problem is strongly deep) implies that every high Turing degree contains strongly deep sequences. It is also shown that, in the sense of Baire category, almost
Ontic and epistemic descriptions of chaotic systems
 Computing Anticipatory Systems
, 2000
"... Abstract. Traditional philosophical discourse draws a distinction between ontology and epistemology and generally enforces this distinction by keeping the two subject areas separated and unrelated. In addition, the relationship between the two areas is of central importance to physics and philosophy ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
Abstract. Traditional philosophical discourse draws a distinction between ontology and epistemology and generally enforces this distinction by keeping the two subject areas separated and unrelated. In addition, the relationship between the two areas is of central importance to physics and philosophy of physics. For instance, all kinds of measurementrelated problems force us to consider both our knowledge of the states and observables of a system (epistemic perspective) and its states and observables independent of such knowledge (ontic perspective). This applies to quantum systems in particular. In this contribution we present an example which shows the importance of distinguishing between ontic and epistemic levels of description even for classical systems. Corresponding conceptions of ontic and epistemic states and their evolution will be introduced and discussed with respect to aspects of stability and information ow. These aspects show whytheontic/epistemic distinction is particularly important for systems exhibiting deterministic chaos. Moreover, this distinction provides some understanding of the relationships between determinism, causation, predictability, randomness, and stochasticity inchaotic systems.
Automatic Bias Learning: An Inquiry into the Inductive Basis of Induction
, 1999
"... This thesis combines an epistemological concern about induction with a computational exploration of inductive mechanisms. It aims to investigate how inductive performance could be improved by using induction to select appropriate generalisation procedures. The thesis revolves around a metalearning ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
This thesis combines an epistemological concern about induction with a computational exploration of inductive mechanisms. It aims to investigate how inductive performance could be improved by using induction to select appropriate generalisation procedures. The thesis revolves around a metalearning system, called designed to investigate how inductive performances could be improved by using induction to select appropriate generalisation procedures. The performance of is discussed against the background of epistemological issues concerning induction, such as the role of theoretical vocabularies and the value of simplicity.
Some basic problems with complex systems
, 1999
"... From an engineering perspective, it is well known that there are numerous problems to predict and control complex systems. In addition, there are also problems to understand the concept of complexity from the perspective of physics and the epistemology of physics. Three outstanding topics in this re ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
From an engineering perspective, it is well known that there are numerous problems to predict and control complex systems. In addition, there are also problems to understand the concept of complexity from the perspective of physics and the epistemology of physics. Three outstanding topics in this regard are discussed: 1. the fundamental contextdependence of the de nition of complexity, 2. the relation between complexity and meaning, and 3. the restrictions on the applicability of limit theorems in the study of complex systems. 1
A Glimpse into Algorithmic Information Theory
 Logic, Language and Computation, Volume 3, CSLI Series
, 1999
"... This paper is a subjective, short overview of algorithmic information theory. We critically discuss various equivalent algorithmical models of randomness motivating a #randomness hypothesis". Finally some recent results on computably enumerable random reals are reviewed. 1 Randomness: An Informa ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
This paper is a subjective, short overview of algorithmic information theory. We critically discuss various equivalent algorithmical models of randomness motivating a #randomness hypothesis". Finally some recent results on computably enumerable random reals are reviewed. 1 Randomness: An Informal Discussion In which we discuss some di#culties arising in de#ning randomness. Suppose that one is watching a simple pendulum swing back and forth, recording 0 if it swings clockwise at a given instant and 1 if it swings counterclockwise. Suppose further that after some time the record looks as follows: 10101010101010101010101010101010: At this point one would like to deduce a #theory" from the experiment. 1 The #theory" should account for the data presently available and make #predictions" about future observations. How should one proceed? It is obvious that there are many #theories" that one could writedown for the given data, for example: 10101010101010101010101010101010000000000...