459 research outputs found
Closed Timelike Curves in Relativistic Computation
In this paper, we investigate the possibility of using closed timelike curves
(CTCs) in relativistic hypercomputation. We introduce a wormhole based
hypercomputation scenario which is free from the common worries, such as the
blueshift problem. We also discuss the physical reasonability of our scenario,
and why we cannot simply ignore the possibility of the existence of spacetimes
containing CTCs.Comment: 17 pages, 5 figure
Real Hypercomputation and Continuity
By the sometimes so-called 'Main Theorem' of Recursive Analysis, every
computable real function is necessarily continuous. We wonder whether and which
kinds of HYPERcomputation allow for the effective evaluation of also
discontinuous f:R->R. More precisely the present work considers the following
three super-Turing notions of real function computability:
* relativized computation; specifically given oracle access to the Halting
Problem 0' or its jump 0'';
* encoding real input x and/or output y=f(x) in weaker ways also related to
the Arithmetic Hierarchy;
* non-deterministic computation.
It turns out that any f:R->R computable in the first or second sense is still
necessarily continuous whereas the third type of hypercomputation does provide
the required power to evaluate for instance the discontinuous sign function.Comment: previous version (extended abstract) has appeared in pp.562-571 of
"Proc. 1st Conference on Computability in Europe" (CiE'05), Springer LNCS
vol.352
A Hypercomputation in Brouwer's Constructivism
In contrast to other constructivist schools, for Brouwer, the notion of
"constructive object" is not restricted to be presented as `words' in some
finite alphabet of symbols, and choice sequences which are non-predetermined
and unfinished objects are legitimate constructive objects. In this way,
Brouwer's constructivism goes beyond Turing computability. Further, in 1999,
the term hypercomputation was introduced by J. Copeland. Hypercomputation
refers to models of computation which go beyond Church-Turing thesis. In this
paper, we propose a hypercomputation called persistently evolutionary Turing
machines based on Brouwer's notion of being constructive.Comment: This paper has been withdrawn by the author due to crucial errors in
theorems 4.6 and 5.2 and definition 4.
Some Thoughts on Hypercomputation
Hypercomputation is a relatively new branch of computer science that emerged
from the idea that the Church--Turing Thesis, which is supposed to describe
what is computable and what is noncomputable, cannot possible be true. Because
of its apparent validity, the Church--Turing Thesis has been used to
investigate the possible limits of intelligence of any imaginable life form,
and, consequently, the limits of information processing, since living beings
are, among others, information processors. However, in the light of
hypercomputation, which seems to be feasibly in our universe, one cannot impose
arbitrary limits to what intelligence can achieve unless there are specific
physical laws that prohibit the realization of something. In addition,
hypercomputation allows us to ponder about aspects of communication between
intelligent beings that have not been considered befor
Quantum hypercomputation based on the dynamical algebra su(1,1)
An adaptation of Kieu's hypercomputational quantum algorithm (KHQA) is
presented. The method that was used was to replace the Weyl-Heisenberg algebra
by other dynamical algebra of low dimension that admits infinite-dimensional
irreducible representations with naturally defined generalized coherent states.
We have selected the Lie algebra , due to that this algebra
posses the necessary characteristics for to realize the hypercomputation and
also due to that such algebra has been identified as the dynamical algebra
associated to many relatively simple quantum systems. In addition to an
algebraic adaptation of KHQA over the algebra , we
presented an adaptations of KHQA over some concrete physical referents: the
infinite square well, the infinite cylindrical well, the perturbed infinite
cylindrical well, the P{\"o}sch-Teller potentials, the Holstein-Primakoff
system, and the Laguerre oscillator. We conclude that it is possible to have
many physical systems within condensed matter and quantum optics on which it is
possible to consider an implementation of KHQA.Comment: 25 pages, 1 figure, conclusions rewritten, typing and language errors
corrected and latex format changed minor changes elsewhere and
- âŠ