- 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.
- Pitowsky Spacetimes
- Malament-Hogarth Spacetimes
- Paradoxes Regained?
- Characterization of M-H Spacetimes
- Are Supertasks in M-H Spacetimes to be Taken Seriously?
- Can M-H Spacetimes be Used to Gain Knowledge of the Truth- Value of Fermat's Conjecture?
- Can gamma-1 Carry Out the Assigned Infinite Task?
- Thomson lamps, super-pi machines, and Platonist computers are playthings of philosophers; they are able to survive only in the hothouse atmosphere of philosophy journals. In the end, M-H spacetimes and the supertasks they underwrite may similarly prove to be recreational fictions for general relativists with nothing better to do.
- But to arrive at this latter position requires a resolution of some of the deepest foundations problems in classical general relativity, including the nature of singularities and the fate of cosmic censorship. It is this connection to real problems in physics that makes them worthy of discussion.
Text Colour Conventions (see disclaimer)
- Blue: Text by me; © Theo Todman, 2019
- Mauve: Text by correspondent(s) or other author(s); © the author(s)