A supertask is a task that consists in infinitely many component steps, but which in some sense is completed in a finite amount of time. Supertasks were studied by the pre-Socratics and continue to be objects of interest to modern philosophers, logicians and physicists. The term “super-task” itself was coined by J.F. Thomson (1954). Here we begin with an overview of the analysis of supertasks and their mechanics. We then discuss the possibility of supertasks from the perspective of general (...) relativity. (shrink)

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, capable of running through infinitely many individual computations in a finite time. A natural thought is that, if supertask computers are possible, this implies that arithmetical truth is determinate. In this paper we argue, via a careful analysis of putative arguments from supertask computations to determinacy, that this natural (...) thought is mistaken: supertasks are of no help in explaining arithmetical determinacy. (shrink)

A supertask consists in the performance of an infinite number of actions in a finite time. I show that any attempt to carry out a supertask will produce a divergence of the curvature of spacetime, resulting in the formation of a black hole. I maintain that supertaks, contrarily to a popular view among philosophers, are physically impossible. Supertasks, literally, collapse under their own weight.

In two recent papers Perez Laraudogoitia has described a variety of supertasks involving elastic collisions in Newtonian systems containing a denumerably infinite set of particles. He maintains that these various supertasks give examples of systems in which energy is not conserved, particles at rest begin to move spontaneously, particles disappear from a system, and particles are created ex nihilo. An analysis of these supertasks suggests that they involve systems that do not satisfy the mathematical conditions required of Newtonian systems at (...) the time the supertask is due to be completed, or else they rely on the application of the time-reversal transformation to states which are not well-defined. Consequently, it is unjustified to conclude that the paradoxical results are arising from within the framework of Newtonian mechanics. In the last part of this article, we discuss various aspects of the physics of these supertasks. (shrink)

That quantum mechanical measurement processes are indeterministic is widely known. The time evolution governed by the differential Schrödinger equation can also be indeterministic under the extreme conditions of a quantum supertask, the quantum analogue of a classical supertask. Determinism can be restored by requiring normalizability of the supertask state vector, but it must be imposed as an additional constraint on the differential Schrödinger equation.

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 physically problematic. Here, we examine these criticisms and investigate the prospect of escaping them.

The general aim of this paper is to introduce some ideas of the theory of infinite topological games into the philosophical debate on supertasks. First, we discuss the elementary aspects of some infinite topological games, among them the Banach-Mazur game.Then it is shown that the Banach-Mazur game may be conceived as a Newtonian supertask.In section 4 we propose to conceive physical experiments as infinite games. This leads to the distinction between determined and undetermined experiments and the problem of how (...) it is related to that between determinism and indeter-minism. Finally the role of the Axiom of Choice as a source of indetermi-nacy of supertasks is discussed. (shrink)

The present article provides an analysis of the instants of a system that performs a Newtonian supertask. For each instant it studied the possibility of the system having, from the instant in question, more than one possible course of evolution. This analysis shows that some supertasks presented as deterministic by Pérez Laraudogoitia are in fact indeterministic and specifies the difficulties ahead in showing the radical indeterminism suggested by Atkinson and Johnson.

This paper proves that certain supertasks constitute counterexamples to countable additivity even in the frame of an objective (not subjective, à la de Finetti) conception of probability. The argument requires taking conditional probability as a primitive notion.

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 number of quantum mechanical measurements in a finite amount of time. Recent arguments in the physics literature claim to show that continuous measurements, understood as N discrete measurements in the limit where N goes to infinity, are impossible. I show that there are certain kinds of measurements in quantum mechanics for which these arguments break (...) down. This suggests that there is a new context in which quantum mechanics, in principle, permits the performance of a supertask. (shrink)

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.

I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond rationally to any given problem yet it is impossible to respond rationally to every problem in the sequence, even though the choices are independent. In particular, although it might be a requirement of rationality that one must respond in a certain way at each point in the sequence, it seems it cannot be a requirement to respond as such (...) at every point for that would be to require the impossible. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

The infinite time Turing machine analogue of Post's problem, the question whether there are semi-decidable supertask degrees between 0 and the supertask jump 0∇, has in a sense both positive and negative solutions. Namely, in the context of the reals there are no degrees between 0 and 0∇, but in the context of sets of reals, there are; indeed, there are incomparable semi-decidable supertask degrees. Both arguments employ a kind of transfinite-injury construction which generalizes canonically to oracles.

It is usually supposed that, with his dichotomy paradox, Zeno gave birth to the modern so-called supertask debate – the debate of whether carrying out an infinite sequence of actions or operations...

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 point out that the sources of the indeterminism are rather different in the two cases - one involves unbounded particle velocities, the other involves particles with no lower bound to their sizes - and consequently that the implications for determinism are rather different - one form of indeterminism affects Newtonian but not (...) relativistic physics, while the other form is insensitive to the classical vs relativistic distinction. We also note some interesting linkages among supertasks, indeterminism and foundations problems in the general theory of relativity. (shrink)

Supertasks recently discussed in the literature purport to display a failure ofenergy conservation and determinism in Newtonian mechanics. We debatewhether these supertasks are admissible as Newtonian systems, with Earmanand Norton defending the affirmative and Alper and Bridger the negative.

The supertasks described by Perez Laraudogoitia, involving the dynamics of a system containing an infinite number of particles in a bounded region of space, are characterized by the nonconservation of energy and by the spontaneous motion of particles. We argue that these features arise from the inadequacy of the local, particle-by-particle description used to analyze the supertasks. A global analysis, involving embeddings in Hilbert spaces, clarifies these supertasks and avoids what we regard as their nonphysical features.

In a recent discussion, Earman and Norton [(1998)] propose a classification of supertasks that generate indeterminism which is flawed. An emendation is presented here.

Recently, Alper, Bridger, Earman and Norton have all proposed examples of dynamic systems that, in their view, are incompatible with classical (Newtonian) mechanics. In the first section of the present paper I shall show that their arguments are all undermined by the same fallacy. The second section proves that their conclusions of incompatibility are indeed false, and that what we are really looking at are new forms of indeterminist evolution of the same kind as that found recently in the literature (...) on supertasks. In the third section of the paper, I argue that one of these new forms of evolution is particularly interesting, and that analysis of it leads to a new vision of the relation between interaction by contact and impenetrability. Introduction The fallacy Understanding some physical supertasks A philosophically interesting implication: contact and impenetrability. (shrink)

Recently, Alper, Bridger, Earman and Norton have all proposed examples of dynamic systems that, in their view, are incompatible with classical (Newtonian) mechanics. In the first section of the present paper I shall show that their arguments are all undermined by the same fallacy. The second section proves that their conclusions of incompatibility are indeed false, and that what we are really looking at are new forms of indeterminist evolution of the same kind as that found recently in the literature (...) on supertasks. In the third section of the paper, I argue that one of these new forms of evolution is particularly interesting, and that analysis of it leads to a new vision of the relation between interaction by contact and impenetrability. 1. Introduction2. The fallacy3. Understanding some physical supertasks4. A philosophically interesting implication: contact and impenetrability. (shrink)

This paper presents three interesting consequences that follow from admitting an ontology of rigid bodies in classical mechanics. First, it shows that some of the most characteristic properties of supertasks based on binary collisions between particles, such as the possibility of indeterminism or the non-conservation of energy, persist in the presence of gravitational interaction. This makes them gravitational supertasks radically different from those that have appeared in the literature to date. Second, Sect. 6 proves that the role of gravitation in (...) supertasks of this kind may be highly non-trivial. Third,, the gravitational supertasks found in the first part enable us to show that indeterminism of classical mechanics with gravitation is much more general than has been supposed until now. This result is especially interesting from the philosophical viewpoint, as it links the scope of indeterminism in a theory like classical mechanics directly with the nature of its ontological hypotheses. (shrink)

A supertask is a process in which an infinite number of individuated actions are performed in a finite time. A Newtonian supertask is one that obeys Newton's laws of motion. Such supertasks can violate energy and momentum conservation and can exhibit indeterministic behavior. Perez Laraudogoitia, who proposed several Newtonian supertasks, uses a local, i.e., particle-by-particle, analysis to obtain these and other paradoxical properties of Newtonian supertasks. Alper and Bridger use a global analysis, embedding the system of particles in (...) a Banach space, to determine the origin of the strange behavior. This paper provides a common framework for the discussion of both the local and global methods of analysis. Using this single framework, the areas of disagreement and agreement are made explicit. Further examples of supertasks are proposed to illuminate various aspects of the discussion. (shrink)

In this paper a model in particle dynamics of a well-known supertask is constructed. As a consequence, a new and simple result about the failure of determinism of classical particle dynamics can be proved which is related to the non-existence of boundary conditions at spatial infinity. This result is much more accessible to the non-technical reader than similar ones in the scientific literature.

A supertask is a process in which an infinite number of individuated actions are performed in a finite time. A Newtonian supertask is one that obeys Newton''s laws of motion. Such supertasks can violate energy and momentum conservation and can exhibit indeterministic behavior. Perez Laraudogoitia, who proposed several Newtonian supertasks, uses a local, i.e., particle-by-particle, analysis to obtain these and other paradoxical properties of Newtonian supertasks. Alper and Bridger use a global analysis, embedding the system of particles in (...) a Banach space, to determine the origin of the strange behavior. This paper provides a common framework for the discussion of both the local and global methods of analysis. Using this single framework, the areas of disagreement and agreement are made explicit. Further examples of supertasks are proposed to illuminate various aspects of the discussion. (shrink)

The first aim of this paper is to introduce a new way of looking at supertasks in the light of special relativity which makes use of the elementary dynamics of relativistic point particles subjected to elastic binary collisions and constrained to move unidimensionally. In addition, this will enable us to draw new physical consequences from the possibility of supertasks whose ordinal type is higher than the usual ω or ω * considered so far in the literature. Thus, the paper shows (...) how an entire collection of infinitely many particles may place itself spontaneously in motion (mechanical self-acceleration) or even reach the speed of light in a way compatible with special relativity. Interesting implications for classical mechanics are also derived, particularly the possibility of a system of particles disappearing spontaneously in spatial infinity even under the condition of the non-existence of non-collision singularities. (shrink)

In a recent discussion, Earman and Norton [(1998)] propose a classification of supertasks that generate indeterminism which is flawed. An emendation is presented here.

There is broad consensus as to what a rigid body is in classical mechanics. The idea is that a rigid body is an undeformable body. In this paper I show that, if this identification is accepted, there are therefore rigid bodies which are unstable. Instability here means that the evolution of certain rigid bodies, even when isolated from all external influence, may be such that their identity is not preserved over time. The result is followed by analyzing supertasks that are (...) possible in infinite systems of rigid bodies. I propose that, if we wish to preserve our original intuitions regarding the necessary stability of rigid bodies, then the concept of rigid body must be clearly distinguished from that of undeformable body. I therefore put forward a new definition of rigid body. Only the concept of undeformable body is holistic and every connected part of a rigid body in this new sense is always a rigid body in this new sense. Finally, I briefly discuss the connection between this conceptual distinction and the dimensionality of space, thereby enabling it to be supported from a new and interesting perspective. (shrink)

In this paper I will put forward a simple case of a dynamical system which can exhibit both the indeterminism linked to escape to infinity and that linked to self-excitation. The case depends neither on the gravitational interaction between particles nor on their mutual collisions, and thus reveals the existence of a new kind of constraint that Newton's laws lay on the predictive power of classical dynamics.

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

In this paper I will put forward a simple case of a dynamical system which can exhibit both the indeterminism linked to escape to infinity and that linked to self-excitation. The case depends neither on the gravitational interaction between particles nor on their mutual collisions, and thus reveals the existence of a new kind of constraint that Newton's laws lay on the predictive power of classical dynamics.

Two reverse supertasks—one new and one invented by Pérez Laraudogoitia —are discussed. Contra Kerkvliet and Pérez Laraudogoitia, it is argued that these supertasks cannot be used to conduct fair infinite lotteries, i.e., lotteries on the set of natural numbers with a uniform probability distribution. The new supertask involves an infinity of gods who collectively select a natural number by each removing one ball from a collection of initially infinitely many balls in a reverse omega-sequence of actions.

Pulier (2000, Theory and Decision 49: 291) and Machina (2000, Theory and Decision 49: 293) seek to dissolve the Barrett–Arntzenius infinite decision puzzle (1999, Theory and Decision 46: 101). The proposed dissolutions, however, are based on misunderstandings concerning how the puzzle works and the nature of supertasks more generally. We will describe the puzzle in a simplified form, address the recent misunderstandings, and describe possible morals for decision theory.

A Zenonian supertask involving an infinite number of identical colliding balls is generalized to include balls with different masses. Under the restriction that the total mass of all the balls is finite, classical mechanics leads to velocities that have no upper limit. Relativistic mechanics results in velocities bounded by that of light, but energy and momentum are not conserved, implying indeterminism. The notion that both determinism and the conservation laws might be salvaged via photon creation is shown to be (...) flawed. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. (...) I then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

I present a simple model of Grünbaum’s staccato run in classical mechanics, the staccato roller coaster. It consists of a bead sliding on a frictionless wire shaped like a roller coaster track with infinitely many hills of diminishing size, each of which is a one-dimensional variant of the so-called Norton dome. The staccato roller coaster proves beyond doubt the dynamical (and hence logical) possibility of supertasks in classical mechanics if the Norton dome is a proper system of classical mechanics with (...) metaphysical import. If not, challenges raised against the metaphysical significance of the Norton dome are shown to be challenges against various arguments for the dynamical possibility of supertasks, and the staccato roller coaster clearly shows the importance of meeting these challenges. And the staccato roller coaster can provide, as well as interesting lessons, illuminating analyses of Burke’s (Mod Schoolman 78:1–8, 2000 ) attempt to refute the dynamical possibility of the staccato run and Pérez Laraudogoitia’s (Synthese 148:433–441, 2006 ) rebuttal of it. (shrink)

Combining time travel with certain kinds of supertask, this paper proposes a novel model for Hell. Temporally-closed spacetimes allow otherwise impossible opportunities for material kinds of damnation and reveal surprising limitations on metaphysical objections to Hell. Prima facie, eternal damnation requires either infinite amounts of time or time for the damned to speed-up arbitrarily. However, spatiotemporally finite ‘time travel’ universes can host unending personal torment for infinitely many physical beings, while keeping fixed finite limits on rates of temporal passage. (...) Such ‘Hilbert's Inferno’ spacetimes suggest neither materialism nor the finitude of time and space need forbid Hell. A material Hell can be spatiotemporally finite yet eternal for its inhabitants. Hilbert's Inferno also sheds light on Hell's location and accessibility, and shows that some spacetimes are intrinsically better suited to punishment than reward. (shrink)

A version of the Church-Turing Thesis states that every effectively realizable physical system can be simulated by Turing Machines (‘Thesis P’). In this formulation the Thesis appears to be an empirical hypothesis, subject to physical falsification. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non-well-founded, analog, quantum, and retrocausal computation. The conclusions are that these models reduce to supertasks, i.e. infinite computation, and that even supertasks are no solution for recursive incomputability. This yields that the (...) realization of hypercomputing devices is implausible, and that Thesis P is not essentially different from the standard Church-Turing Thesis. (shrink)