Results 1  10
of
42
Transcending the Limits of Turing Computability
, 1998
"... Hypercomputation or superTuring computation is a “computation ” that transcends the limit imposed by Turing’s model of computability. The field still faces some basic questions, technical (can we mathematically and/or physically build a hypercomputer?), cognitive (can hypercomputers realize the AI ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
Hypercomputation or superTuring computation is a “computation ” that transcends the limit imposed by Turing’s model of computability. The field still faces some basic questions, technical (can we mathematically and/or physically build a hypercomputer?), cognitive (can hypercomputers realize the AI dream?), philosophical (is thinking more than computing?). The aim of this paper is to address the question: can we mathematically build a hypercomputer? We will discuss the solutions of the Infinite Merchant Problem, a decision problem equivalent to the Halting Problem, based on results obtained in [9, 2]. The accent will be on the new computational technique and results rather than formal proofs. 1
Natural halting probabilities, partial randomness, and zeta functions
 Inform. and Comput
, 2006
"... We introduce the zeta number, natural halting probability and natural complexity of a Turing machine and we relate them to Chaitin’s Omega number, halting probability, and programsize complexity. A classification of Turing machines according to their zeta numbers is proposed: divergent, convergent ..."
Abstract

Cited by 17 (8 self)
 Add to MetaCart
We introduce the zeta number, natural halting probability and natural complexity of a Turing machine and we relate them to Chaitin’s Omega number, halting probability, and programsize complexity. A classification of Turing machines according to their zeta numbers is proposed: divergent, convergent and tuatara. We prove the existence of universal convergent and tuatara machines. Various results on (algorithmic) randomness and partial randomness are proved. For example, we show that the zeta number of a universal tuatara machine is c.e. and random. A new type of partial randomness, asymptotic randomness, is introduced. Finally we show that in contrast to classical (algorithmic) randomness—which cannot be naturally characterised in terms of plain complexity—asymptotic randomness admits such a characterisation. 1
On the Autoreducibility of Random Sequences
, 2001
"... A binary sequence A = A(0)A(1) ... is called i.o. Turingautoreducible if A is reducible to itself via an oracle Turing machine that never queries its oracle at the current input, outputs either A(x) or a don'tknow symbol on any given input x, and outputs A(x) for infinitely many x. If in addition ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
A binary sequence A = A(0)A(1) ... is called i.o. Turingautoreducible if A is reducible to itself via an oracle Turing machine that never queries its oracle at the current input, outputs either A(x) or a don'tknow symbol on any given input x, and outputs A(x) for infinitely many x. If in addition the oracle Turing machine terminates on all inputs and oracles, A is called i.o. truthtableautoreducible.
From Heisenberg to Gödel via Chaitin
 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
, 2004
"... In 1927 Heisenberg discovered that the "more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa". Four years later ..."
Abstract

Cited by 11 (9 self)
 Add to MetaCart
In 1927 Heisenberg discovered that the "more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa". Four years later
BioSteps Beyond Turing
 BIOSYSTEMS
, 2004
"... Are there `biologically computing agents' capable to compute Turing uncomputable functions? It is perhaps tempting to dismiss this question with a negative answer. Quite the opposite, for the first time in the literature on molecular computing we contend that the answer is not theoretically nega ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
Are there `biologically computing agents' capable to compute Turing uncomputable functions? It is perhaps tempting to dismiss this question with a negative answer. Quite the opposite, for the first time in the literature on molecular computing we contend that the answer is not theoretically negative. Our results will be formulated in the language of membrane computing (P systems). Some mathematical results presented here are interesting in themselves. In contrast with most speedup methods which are based on nondeterminism, our results rest upon some universality results proved for deterministic P systems. These results will be used for building "accelerated P systems". In contrast with the case of Turing machines, acceleration is a part of the hardware (not a quality of the environment) and it is realised either by decreasing the size of "reactors" or by speedingup the communication channels.
Most programs stop quickly or never halt
 Adv. Appl. Math
"... The aim of this paper is to provide a probabilistic, but nonquantum, analysis of the Halting Problem. Our approach is to have the probability space extend over both space and time and to consider the probability that a random Nbit program has halted by a random time. We postulate an a priori compu ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
The aim of this paper is to provide a probabilistic, but nonquantum, analysis of the Halting Problem. Our approach is to have the probability space extend over both space and time and to consider the probability that a random Nbit program has halted by a random time. We postulate an a priori computable probability distribution on all possible runtimes and we prove that given an integer k> 0, we can effectively compute a time bound T such that the probability that an Nbit program will eventually halt given that it has not halted by T is smaller than 2 −k. We also show that the set of halting programs (which is computably enumerable, but not computable) can be written as a disjoint union of a computable set and a set of effectively vanishing probability. Finally, we show that “long ” runtimes are effectively rare. More formally, the set of times at which an Nbit program can stop after the time 2 N+constant has effectively zero density. 1
Exact Approximations of Omega Numbers
 International Journal of Bifurcation and Chaos 17, 1937–1954 (2007), CDMTCS report series 293. http://dx.doi.org/10.1142/S0218127407018130
"... A Chaitin Omega number is the halting probability of a universal prefixfree Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable, increasing, converging sequence of rationals), and algorithmically random (its binary expansion is an algorithmic random ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
A Chaitin Omega number is the halting probability of a universal prefixfree Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable, increasing, converging sequence of rationals), and algorithmically random (its binary expansion is an algorithmic random sequence), hence uncomputable. The value of an Omega number is highly machinedependent. In general, no more than finitely many scattered bits of the binary expansion of an Omega number can be exactly computed; but, in some cases, it is possible to prove that no bit can be computed. In this paper we will simplify and improve both the method and its correctness proof proposed in an earlier paper, and we will compute the exact approximations of two Omega numbers of the same prefixfree Turing machine, which is universal when used with data in base 16 or base 2: we compute 43 exact bits for the base 16 machine and 40 exact bits for the base 2 machine. 1
WORDS AND TRANSCENDENCE
, 2009
"... Abstract. Is it possible to distinguish algebraic from transcendental real numbers by considering the bary expansion in some base b � 2? In 1950, É. Borel suggested that the answer is no and that for any real irrational algebraic number x and for any base g � 2, the gary expansion of x should sati ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
Abstract. Is it possible to distinguish algebraic from transcendental real numbers by considering the bary expansion in some base b � 2? In 1950, É. Borel suggested that the answer is no and that for any real irrational algebraic number x and for any base g � 2, the gary expansion of x should satisfy some of the laws that are shared by almost all numbers. For instance, the frequency where a given finite sequence of digits occurs should depend only on the base and on the length of the sequence. We are very far from such a goal: there is no explicitly known example of a triple (g, a, x), where g � 3 is an integer, a a digit in {0,...,g − 1} and x a real irrational algebraic number, for which one can claim that the digit a occurs infinitely often in the gary expansion of x. Hence there is a huge gap between the established theory and the expected state of the art. However, some progress has been made recently, thanks mainly to clever use of Schmidt’s subspace theorem. We review some of these results. 1. Normal Numbers and Expansion of Fundamental Constants 1.1. Borel and Normal Numbers. In two papers, the first [28] published in 1909 and the second [29] in 1950, Borel studied the gary expansion of real numbers, where g � 2 is a positive integer. In his second paper, he suggested that this expansion for a real irrational algebraic number should satisfy some of the laws shared by almost all numbers, in the sense of Lebesgue measure. Let g � 2 be an integer. Any real number x has a unique expansion x = a−kg k + ···+ a−1g + a0 + a1g −1 + a2g −2 + ·· ·, where k � 0 is an integer and the ai for i � −k, namely the digits of x in the expansion in base g of x, belong to the set {0, 1,...,g − 1}. Uniqueness is subject to the condition that the sequence (ai)i�−k is not ultimately constant and equal to g − 1. We write this expansion x = a−k ···a−1a0.a1a2 ·· ·. in base 10 (decimal expansion), whereas