Results 1  10
of
31
NonTuring Computers and NonTuring Computability
, 1994
"... possible to perform computational supertasks — that is, an infinite number of computational steps in a finite span of time — in a kind of relativistic spacetime that Earman and Norton (1993) have dubbed a MalamentHogarth spacetime1. ..."
Abstract

Cited by 38 (2 self)
 Add to MetaCart
possible to perform computational supertasks — that is, an infinite number of computational steps in a finite span of time — in a kind of relativistic spacetime that Earman and Norton (1993) have dubbed a MalamentHogarth spacetime1.
Hypercomputation and the Physical ChurchTuring Thesis
, 2003
"... A version of the ChurchTuring Thesis states that every e#ectively realizable physical system can be defined by Turing Machines (`Thesis P'); in this formulation the Thesis appears an empirical, more than a logicomathematical, proposition. We review the main approaches to computation beyond Tu ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
A version of the ChurchTuring Thesis states that every e#ectively realizable physical system can be defined by Turing Machines (`Thesis P'); in this formulation the Thesis appears an empirical, more than a logicomathematical, proposition. We review the main approaches to computation beyond Turing definability (`hypercomputation'): supertask, nonwellfounded, analog, quantum, and retrocausal computation. These models depend on infinite computation, explicitly or implicitly, and appear physically implausible; moreover, even if infinite computation were realizable, the Halting Problem would not be a#ected. Therefore, Thesis P is not essentially di#erent from the standard ChurchTuring Thesis.
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.
Firstorder logic foundation of relativity theories
 In New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, volume 5 of International Mathematical Series
, 2006
"... Abstract. Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity— including such revolutionary areas as black hole physics, relativistic computers, new cosmology—are presented in this paper. We would like to invite the logician reader to ..."
Abstract

Cited by 8 (8 self)
 Add to MetaCart
Abstract. Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity— including such revolutionary areas as black hole physics, relativistic computers, new cosmology—are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.
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,
Quantum SpeedUp of Computations
 Philosophy of Science
, 2002
"... ChurchTuring Thesis as saying something about the scope and limitations of physical computing machines. Although this was not the intention of Church or Turing, the Physical Church Turing thesis is interesting in its own right. Consider, for example, Wolfram’s formulation: One can expect in fact th ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
ChurchTuring Thesis as saying something about the scope and limitations of physical computing machines. Although this was not the intention of Church or Turing, the Physical Church Turing thesis is interesting in its own right. Consider, for example, Wolfram’s formulation: One can expect in fact that universal computers are as powerful in their computational capabilities as any physically realizable system can be, that they can simulate any physical system...Nophysically implementable procedure could then shortcut a computationally irreducible process. (Wolfram 1985) Wolfram’s thesis consists of two parts: (a) Any physical system can be simulated (to any degree of approximation) by a universal Turing machine (b) Complexity bounds on Turing machine simulations have physical significance. For example, suppose that the computation of the minimum energy of some system of n particles takes at least exponentially (in n) many steps. Then the relaxation time of the actual physical system to its minimum energy state will also take exponential time. An even more extreme formulation of (more or less) the same thesis is due to Aharonov (1998): A probabilistic Turing machine can simulate any reasonable physical device in polynomial cost. She calls this The Modern Church Thesis. Aharonov refers here to probabilistic Turing machines that use random numbers in addition to the usual deterministic table of steps. It seems that such machines are capable to perform certain tasks faster than fully deterministic machines. The most famous randomized algorithm of that kind concerns the decision whether a given natural number is prime. A probabilistic algorithm that decides primality in a number of
From logic to physics: How the meaning of computation changed over time.
"... The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the ChurchTuring thesis. The theory of computation began with logic and gradually moved to the capacity of …nite automata. Consequently, modern computer models rely o ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the ChurchTuring thesis. The theory of computation began with logic and gradually moved to the capacity of …nite automata. Consequently, modern computer models rely on general physical principles, with quantum computers representing the extreme case. The paper discusses this development, and the challenges to the ChurchTuring thesis in its physical form, in particular, Kieu’s quantum computer and relativistic hypercomputation. Finally, the robustness of the boundary between polynomial and exponential time complexity is considered in connection with quantum computers and quantum information theory. Key words: ChurchTuring thesis, hypercomputation, quantum computers 1 The ChurchTuring thesis and the meaning of ‘computable function’ The common formulation of the ChurchTuring thesis runs as follows: Every computable function is computable by a Turing machine
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.