267 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
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
Zeno machines and hypercomputation
This paper reviews the Church-Turing Thesis (or rather, theses) with
reference to their origin and application and considers some models of
"hypercomputation", concentrating on perhaps the most straight-forward option:
Zeno machines (Turing machines with accelerating clock). The halting problem is
briefly discussed in a general context and the suggestion that it is an
inevitable companion of any reasonable computational model is emphasised. It is
hinted that claims to have "broken the Turing barrier" could be toned down and
that the important and well-founded role of Turing computability in the
mathematical sciences stands unchallenged.Comment: 11 pages. First submitted in December 2004, substantially revised in
July and in November 2005. To appear in Theoretical Computer Scienc
Effective Physical Processes and Active Information in Quantum Computing
The recent debate on hypercomputation has arisen new questions both on the
computational abilities of quantum systems and the Church-Turing Thesis role in
Physics. We propose here the idea of "effective physical process" as the
essentially physical notion of computation. By using the Bohm and Hiley active
information concept we analyze the differences between the standard form
(quantum gates) and the non-standard one (adiabatic and morphogenetic) of
Quantum Computing, and we point out how its Super-Turing potentialities derive
from an incomputable information source in accordance with Bell's constraints.
On condition that we give up the formal concept of "universality", the
possibility to realize quantum oracles is reachable. In this way computation is
led back to the logic of physical world.Comment: 10 pages; Added references for sections 2 and
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.
- âŠ