Results 1  10
of
13
RELATIVISTIC COMPUTERS AND THE TURING Barrier
, 2006
"... We examine the current status of the physical version of the ChurchTuring Thesis (PhCT for short) in view of latest developments in spacetime theory. This also amounts to investigating the status of hypercomputation in view of latest results on spacetime. We agree with Deutsch et al [17] that PhCT ..."
Abstract

Cited by 22 (10 self)
 Add to MetaCart
We examine the current status of the physical version of the ChurchTuring Thesis (PhCT for short) in view of latest developments in spacetime theory. This also amounts to investigating the status of hypercomputation in view of latest results on spacetime. We agree with Deutsch et al [17] that PhCT is not only a conjecture of mathematics but rather a conjecture of a combination of theoretical physics, mathematics and, in some sense, cosmology. Since the idea of computability is intimately connected with the nature of Time, relevance of spacetime theory seems to be unquestionable. We will see that recent developments in spacetime theory show that temporal developments may exhibit features that traditionally seemed impossible or absurd. We will see that recent results point in the direction that the possibility of artificial systems computing nonTuring computable functions may be consistent with spacetime theory. All these trigger new open questions and new research directions for spacetime theory, cosmology, and computability.
The many forms of hypercomputation
 Applied Mathematics and Computation
, 2006
"... This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess.
Deciding arithmetic in Malament–Hogarth spacetimes
, 2001
"... Abstract Presented here are some new results concerning the computational power of socalled SADn computers, a class of Turing machinebased computers that utilise the geometry of MalamentHogarth spacetimes to perform nonTuring computable feats. The main result is that SADn can decide nquantifier ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Abstract Presented here are some new results concerning the computational power of socalled SADn computers, a class of Turing machinebased computers that utilise the geometry of MalamentHogarth spacetimes to perform nonTuring computable feats. The main result is that SADn can decide nquantifier arithmetic but not (n+1)quantifier arithmetic, a result which reveals how neatly SADns map into the Kleene arithmetical hierarchy.
Predictability, Computability and Spacetime
, 2002
"... thesis is the result of the author’s own work and includes nothing which is the outcome of work done in collaboration. To my Mum and Dad, who succeeded in violating Larkin’s Law. And to my sister Lyn, who recently stopped pulling my hair. Acknowledgements The following have personally helped to shap ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
thesis is the result of the author’s own work and includes nothing which is the outcome of work done in collaboration. To my Mum and Dad, who succeeded in violating Larkin’s Law. And to my sister Lyn, who recently stopped pulling my hair. Acknowledgements The following have personally helped to shape the ideas in the thesis: Gordon Belot,
General relativistic hypercomputing and foundation of mathematics
"... Abstract. Looking at very recent developments in spacetime theory, we can wonder whether these results exhibit features of hypercomputation that traditionally seemed impossible or absurd. Namely, we describe a physical device in relativistic spacetime which can compute a nonTuring computable task, ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract. Looking at very recent developments in spacetime theory, we can wonder whether these results exhibit features of hypercomputation that traditionally seemed impossible or absurd. Namely, we describe a physical device in relativistic spacetime which can compute a nonTuring computable task, e.g. which can decide the halting problem of Turing machines or decide whether ZF set theory is consistent (more precisely, can decide the theorems of ZF). Starting from this, we will discuss the impact of recent breakthrough results of relativity theory, black hole physics and cosmology to well established foundational issues of computability theory as well as to logic. We find that the unexpected, revolutionary results in the mentioned branches of science force us to reconsider the status of the physical Church Thesis and to consider it as being seriously challenged. We will outline the consequences of all this for the foundation of mathematics (e.g. to Hilbert’s programme). Observational, empirical evidence will be quoted to show that the statements above do not require any assumption of some physical universe outside of our own one: in our specific physical universe there seem to exist regions of spacetime supporting potential nonTuring computations. Additionally, new “engineering ” ideas will be outlined for solving the socalled blueshift problem of GRcomputing. Connections with related talks at the Physics and Computation meeting, e.g. those of Jerome DurandLose, Mark Hogarth and Martin Ziegler, will be indicated. 1
ZENO MEETS MODERN SCIENCE
, 2005
"... “No one has ever touched Zeno without refuting him”. We will not refute Zeno in this paper. Instead we review some unexpected encounters of Zeno with modern science. The paper begins with a brief biography of Zeno of Elea followed by his famous paradoxes of motion. Reflections on continuity of space ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
“No one has ever touched Zeno without refuting him”. We will not refute Zeno in this paper. Instead we review some unexpected encounters of Zeno with modern science. The paper begins with a brief biography of Zeno of Elea followed by his famous paradoxes of motion. Reflections on continuity of space and time lead us to Banach and Tarski and to their celebrated paradox, which is in fact not a paradox at all but a strict mathematical theorem, although very counterintuitive. Quantum mechanics brings another flavour in Zeno paradoxes. Quantum Zeno and antiZeno effects are really paradoxical but now experimental facts. Then we discuss supertasks and bifurcated supertasks. The concept of localisation leads us to Newton and Wigner and to interesting phenomenon of quantum revivals. At last we note that the paradoxical idea of timeless universe, defended by Zeno and Parmenides at ancient times, is still alive in quantum gravity. The list of references that follows is necessarily incomplete but we hope it will assist interested reader to fill in details. PACS numbers: 01.70.+w 1.
SuperTasks, Accelerating Turing Machines and Uncomputability
"... Accelerating Turing machines are abstract devices that have the same computational structure as Turing machines, but can perform supertasks. I argue that performing supertasks alone does not buy more computational power, and that accelerating Turing machines do not solve the halting problem. To sh ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Accelerating Turing machines are abstract devices that have the same computational structure as Turing machines, but can perform supertasks. I argue that performing supertasks alone does not buy more computational power, and that accelerating Turing machines do not solve the halting problem. To show this, I analyze the reasoning that leads to Thomson's paradox, point out that the paradox rests on a conflation of different perspectives of accelerating processes, and conclude that the same conflation underlies the claim that accelerating Turing machines can solve the halting problem.
Can new physics challenge “old ” computational barriers?
"... Abstract. We discuss the impact of very recent developments of spacetime theory, black hole physics, and cosmology to well established foundational issues of computability theory and logic. Namely, we describe a physical device in relativistic spacetime which can compute a nonTuring computable task ..."
Abstract
 Add to MetaCart
Abstract. We discuss the impact of very recent developments of spacetime theory, black hole physics, and cosmology to well established foundational issues of computability theory and logic. Namely, we describe a physical device in relativistic spacetime which can compute a nonTuring computable task, e.g. which can decide the halting problem of Turing machines or whether ZF set theory is consistent or not. Connections with foundation of mathematics and foundation of spacetime theory will be discussed. 1