Forever Is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes

@article{Earman1993ForeverIA,
  title={Forever Is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes},
  author={John Earman and John D. Norton},
  journal={Philosophy of Science},
  year={1993},
  volume={60},
  pages={22 - 42}
}
The standard theory of computation excludes computations whose completion requires an infinite number of steps. Malament-Hogarth spacetimes admit observers whose pasts contain entire future-directed, timelike half-curves of infinite proper length. We investigate the physical properties of these spacetimes and ask whether they and other spacetimes allow the observer to know the outcome of a computation with infinitely many steps. 

Supertasks and Spacetime Their Role and Relevance

In recent years, discussions of supertasks involved a particular class of physical models known as Malament-Hogarth spacetimes. One might wonder – what is the role of physical models in the

On the Possibility of Supertasks in General Relativity

Malament-Hogarth spacetimes are the sort of models within general relativity that seem to allow for the possibility of supertasks. There are various ways in which these spacetimes might be considered

Quantum measurements and supertasks

This article addresses the question whether supertasks are possible within the context of non-relativistic quantum mechanics. The supertask under consideration consists of performing an infinite

Malament–Hogarth Machines

  • J. Manchak
  • Physics
    The British Journal for the Philosophy of Science
  • 2020
This article shows a clear sense in which general relativity allows for a type of ‘machine’ that can bring about a spacetime structure suitable for the implementation of ‘supertasks’. 1.

The Extent of Computation in Malament–Hogarth Spacetimes

  • P. Welch
  • Mathematics
    The British Journal for the Philosophy of Science
  • 2008
We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr

Comments on Laraudogoitia's ‘Classical Particle Dynamics, Indeterminism and a Supertask’

We discuss two supertasks invented recently by Laraudogoitia [1996, 1997]. Both involve an infinite number of particle collisions within a finite amount of time and both compromise determinism. We

Supertasks and arithmetical truth

This paper discusses the relevance of supertask computation for the determinacy of arithmetic. Recent work in the philosophy of physics has made plausible the possibility of supertask computers,

Closed timelike Curves in relativistic Computation

This paper introduces a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem, and discusses the physical reasonability of the scenario.

Can new physics challenge “ old ” computational barriers ?

A physical device in relativistic spacetime which can compute a non-Turing computable task, e.g. which can decide the halting problem of Turing machines or whether ZF set theory is consistent or not is described.

Computational universes

...

References

SHOWING 1-10 OF 18 REFERENCES

Does general relativity allow an observer to view an eternity in a finite time?

I investigate whether there are general relativistic spacetimes that allow an observerµ to collect in a finite time all the data from the worldline of another observerλ, where the proper length ofλ's

Can an Infinitude of Operations be performed in a Finite Time

In his book Philosophy of Mathematics and Natural Science, the renowned mathematical physicist Hermann Weyl raised the following question: Is it kinematically feasible that a machine carry out an

On Some Paradoxes of the Infinite

In the paper below the authors describe three super-tasks. They show that although the abstract notion of a super-task may be, as Benacerraf suggested, a conceptual mismatch, the completion of the

On Some Paradoxes of the Infinite II

In an earlier paper the authors discussed some super-tasks by means of a kinematical interpretation. In the present paper we show a semi-formal way that a more abstract treatment is possible. The

The Anthropic Cosmological Principle

Is there any connection between the vastness of the universes of stars and galaxies and the existence of life on a small planet out in the suburbs of the Milky Way? This book shows that there is. In

The Large Scale Structure of Space-Time

The theory of the causal structure of a general space-time is developed, and is used to study black holes and to prove a number of theorems establishing the inevitability of singualarities under certain conditions.

On crossing the Cauchy horizon of a Reissner–Nordström black-hole

The behaviour, on the Cauchy horizon, of a flux of gravitational and/or electromagnetic radiation crossing the event horizon of a Reissner-Nordström black-hole is investigated as a problem in the

On the Possibility of Completing an Infinite Process

Tasks and Super-Tasks