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...

I argue that, contrary to thestandard view, the Newtonian universe containsno contingency. I do this by arguing (i) thatno contingency is introduced into the Newtonianuniverse by the initial conditions of physicalsystems in the universe, and (ii) that theclaim that the Newtonian universe as a wholehas contingent properties leads to incoherence.This result suggests that Newtonian physics iseither inconsistent or incomplete, since thelaws of Newtonian physics are too weak todetermine all the properties of the Newtonianuniverse uniquely.

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)

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)

An infinite number of elastically colliding balls is considered in a classical, and then in a relativistic setting. Energy and momentum are not necessarily conserved globally, even though each collision does separately conserve them. This result holds in particular when the total mass of all the balls is finite, and even when the spatial extent and temporal duration of the process are also finite. Further, the process is shown to be indeterministic: there is an arbitrary parameter in the general solution (...) that corresponds to the injection of an arbitrary amount of energy (classically), or energy-momentum (relativistically), into the system at the point of accumulation of the locations of the balls. Specific examples are given that illustrate these counter-intuitive results, including one in which all the balls move with the same velocity after every collision has taken place. (shrink)

An infinite number of elastically colliding balls is considered in a classical, and then in a relativistic setting. Energy and momentum are not necessarily conserved globally, even though each collision does separately conserve them. This result holds in particular when the total mass of all the balls is finite, and even when the spatial extent and temporal duration of the process are also finite. Further, the process is shown to be indeterministic: there is an arbitrary parameter in the general solution (...) that corresponds to the injection of an arbitrary amount of energy (classically), or energy-momentum (relativistically), into the system at the point of accumulation of the locations of the balls. Specific examples are given that illustrate these counter-intuitive results, including one in which all the balls move with the same velocity after every collision has taken place. (shrink)

An actual infinity of colliding balls can be in a configuration in which the laws of mechanics lead to logical inconsistency. It is argued that one should therefore limit the domain of these laws to a finite, or only a potentially infinite number of elements. With this restriction indeterminism, energy nonconservation and creatio ex nihilo no longer occur. A numerical analysis of finite systems of colliding balls is given, and the asymptotic behaviour that corresponds to the potentially infinite system is (...) inferred. (shrink)

A Zenonian supertask involving an infinite number of colliding balls is considered, under the restriction that the total mass of all the balls is finite. Classical mechanics leads to the conclusion that momentum, but not necessarily energy, must be conserved. Relativistic mechanics, on the other hand, implies that energy and momentum conservation are always violated. Quantum mechanics, however, seems to rule out the Zeno configuration as an inconsistent system.

A Zenonian supertask involving an infinite number of colliding balls is considered, under the restriction that the total mass of all the balls is finite. Classical mechanics leads to the conclusion that momentum, but not necessarily energy, must be conserved. Relativistic mechanics, on the other hand, implies that energy and momentum conservation are always violated. Quantum mechanics, however, seems to rule out the Zeno configuration as an inconsistent system.

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.

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.

Hilbert's machine is a supertask machine inspired by Hilbert's Hotel whose functioning leads to a contradiction that compromises the Axiom of Infinity.

The Aleph Zero or Zero Dichotomy is a strong version of Zeno's Dichotomy II which being entirely derived from the topological successiveness of the w-order comes to the same Zeno's absurdity.

A thoroughly physical view on reality and our common sense view on agency and free will seem to be in a direct conflict with each other: if everything that happens is determined by prior physical events, so too are all our actions and conscious decisions; you have no choice but to do what you are destined to do. Although this way of thinking has intuitive appeal, and a long history, it has recently began to gain critical attention. A number of (...) arguments have been raised in defense of the idea that our will could be genuinely free even if the universe is governed by deterministic laws of physics. Determinism and free will have been argued to be compatible before, of course, but these recent arguments seem to take a new step in that they are relying on a more profound and concrete view on the central elements of the issue, the fundamental laws of physics and the nature of causal explanation in particular. The basic idea of this approach is reviewed in here, and it is shown how a careful analysis of physics and causal explanation can indeed enhance our understanding of the issue. Although it cannot be concluded that the problem of free will would now be completely solved (or dissolved), it is clear that these recent developments can bring significant advancement to the debate. (shrink)

Bifurcated supertasks entail the actual infinite division of time (accelerated system of reference) as well as the existence of half-curves of infinite length (supertask system of reference). This paper analyzes both issues from a critique perspective. It also analyzes a conflictive case of hypercomputation performed by means of a bifurcated supertask. The results of these analyzes suggest the convenience of reviewing certain foundational aspects of infinitist theories.

I analyze here Benacerraf's criticism of Thomson arguments on the impossibility of w-supertasks. Although Benacerraf's criticism is well founded, his analysis of Thomson's lamp is incomplete. In fact, it is possible to consider a new line of argument, which Benacerraf only incidentally considered, based on the functioning laws of the lamp. This argument leads to a contradictory result that compromises the formal consistency of the w-ordering involved in all w-supertasks.