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

Leon, Antonio

English

Philsci-Archive

HILBERT’S MACHINE AND THE AXIOM OF INFINITY
Antonio Leon Sanchez (aleons@educa.jcyl.es)
I.E.S. Francisco Salinas. Spain.
Abstract. Hilbert’s machine is a supertask machine inspired by Hilbert’s Hotel whose
functioning leads to a contradiction that compromises the Axiom of Infinity.
1. Hilbert’s Machine
In the following conceptual discussion we will make use of a theoretical device that will
be referred to as Hilbert’s machine, composed of the following elements (see Figure 1):
(1) An infinite tape similar to those of Turing machines which is divided in two infinite
parts, the left and the right side:
(a) The right side is divided into an ω-ordered sequence of adjacent cells 〈ci〉i∈N1
which are indexed from left to right as c1, c2, c3, . . . . These cells will be
referred to as right cells.
(b) The left side is also divided into an ω-ordered sequence of adjacent cells 〈c′i〉i∈N
indexed now from right to left as c′1, c
′
2, c
′
3, . . . , being c
′
1 adjacent to c1. These
cells will be referred to as left cells.
(2) An ω-ordered sequence of rings 〈ri〉i∈N being each ring ri initially placed on the
right cell ci and permanently bound to its successor ri+1 by means of a rigid rod
of the appropriate length. The rings ri will be termed Hilbert’s rings and the
sequence 〈ri〉i∈N Hilbert’s chain.
(3) A multidisplacement mechanism which moves simultaneously all Hilbert’s rings
one cell to the left, so that the ring placed on ck, k>1 is placed on ck−1, the one
placed on c1 is placed on c
′
1, and the one placed on c
′
k, k≥1 is placed on c
′
k+1. This
simultaneous displacement of all Hilbert’s rings one cell to the left will be termed
multidisplacement. Multidisplacements are the only actions performed by Hilbert’s
machine.
Figure 1. Hilbert’s machine just before performing the second multidisplacement.
The functioning of Hilbert’s machine is always subjected to the following Hilbert’s restric-
tion: the machine will perform a multidisplacement if, and only if, the multidisplacement
1As usual, N stands for the set of natural numbers {1, 2, 3, . . . }
1
2 Hilbert’s machine and the Axiom of Infinity
does not remove any ring from the tape; otherwise the machine halts before performing
the multidisplacement. Consequently no ring can be removed from the tape.
Assume now that Hilbert’s machine performs a multidisplacement mi at each one of
the countably many instants ti of any ω-ordered sequence of instants 〈ti〉i∈N defined into
any finite half-closed interval of time [ta, tb), for instance the one defined in accordance
with:
ti = ta + (tb − ta)
i∑
k=1
1
2k
, ∀i ∈ N (1)
whose limit is tb. Accordingly, at tb our machine will have completed the performance
of an ω-ordered sequence of multidisplacements 〈mi〉i∈N, i.e. a supertask. As is usual in
supertask theory (see [5], [11], [12], [14], [15], [18], [10], etc.) we will assume that multi-
displacements are instantaneous. Although it is irrelevant to our conceptual discussion,
we could also assume that multidisplacements last a finite amount of time, for instance
each mi could take a time 1/(2
i+1). It seems appropriate at this point to emphasize the
conceptual nature of the discussion that follows. Here we are not interested in discussing
the problems derived from the actual performance of supertasks in our physical universe,
as would be the case of the relativistic restrictions on the speed of the multidisplacements
and the like ([8], [9], [14], [15], [16], [10], [17], [13], [1], [2], [19], [4], [3], etc.). We will
assume, therefore, that Hilbert’s machine works in a conceptual universe in which no
physical restriction applies to its functioning.
2. Performing the supertask
Consider the ω-ordered sequence of instants 〈ti〉i∈N defined according to (1), and a Hil-
bert’s machine in the following initial conditions:
(1) At ta the machine is at rest.
(2) At ta each Hilbert’s ring ri is on the right cell ci.
(3) At ta each left cell c
′
i is empty.
Assume that, if Hilbert’s restriction allows it, this machine performs exactly one mul-
tidisplacement mi at each one of the countably many instants ti of 〈ti〉i∈N, and only at
them, being those successive multidisplacements the only performed actions. The objec-
tive of the following discussion is to analyze the performance of this ω-ordered sequence
of multidisplacements 〈mi〉i∈N.
We begin by proving the following two basic propositions which are directly derived
from the notion of ω-order, i.e. from assuming the existence, as complete totalities, of
sequences in which there exist a first element and each element has a successor:
Proposition 1. The ω-ordering makes it possible that all multidisplacements mi of the
ω-ordered sequence 〈mi〉i∈N observe Hilbert’s restriction.
Proof. It is evident that the first multidisplacement m1 observes Hilbert’s restriction (in
fact, it places Hilbert’s ring r1 on the cell c
′
1 and each ri, i>1 on ci−1). Assume the first n
multidisplacements observe Hilbert’s restriction. In these conditions, if mn+1 would not
observe Hilbert’s restriction, the ring r1 would be removed from the tape bymn+1. But this
is impossible because, as a consequence of having performed the first nmultidisplacements,
and taking into account that each multidisplacement moves all Hilbert’s rings one cell to
the left, the ring r1 has to be placed on the left cell c
′
n, and in accordance with the
Hilbert’s machine and the Axiom of Infinity 3
ω-order this cell has an adjacent cell to the left, the left cell c′n+1, on which r1 will be
placed by mn+1. Consequently mn+1 also observes Hilbert’s restriction. We have just
proved that m1 observes Hilbert’s restriction, and that if the first n multidisplacements
observe Hilbert’s restriction, then mn+1 also observes Hilbert’s restriction. Therefore, all
multidisplacements observe Hilbert’s restriction.
¤
Proposition 2. At tb the performance of the ω-ordered sequence of multidisplacements
〈mi〉i∈N has been completed.
Proof. According to Proposition 1 all multidisplacements mi observe Hilbert’s restriction
and therefore all of them can be performed by Hilbert’s machine. Let us now prove
that at tb all of them have already been carried out. For this, consider the one to one
correspondence f between 〈ti〉i∈N and 〈mi〉i∈N defined by:
f(ti) = mi, ∀i ∈ N (2)
Being tb the limit of the ω-ordered sequence 〈ti〉i∈N, and taking into account that by defini-
tion each multidisplacement mi takes place just at the precise instant ti, the above one to
one correspondence f , together with the assumed completeness of the involved ω-ordered
sequences, ensure that at tb all multidisplacements mi of 〈mi〉i∈N have already been car-
ried out. Therefore at tb the performance of the ω-ordered sequence of multidisplacements
〈mi〉i∈N has been completed.
¤
From the above propositions we now derive the following two auxiliary results:
Proposition 3. Each multidisplacement mi of 〈mi〉i∈N places the ring ri on the first left
cell c′1 at the precise instant ti.
Proof. According to Proposition 2, Hilbert’s machine completes the performance of the
ω-ordered sequence of multidisplacements 〈mi〉i∈N. In these conditions, let ri be any
Hilbert’s ring. According to the initial conditions, ri was initially placed on the right cell
ci. Taking into account that each multidisplacement moves each Hilbert’s ring exactly
one cell to the left, after the firsts i− 1 multidisplacements the ring ri will be placed just
on the right cell ci−(i−1) = c1, and then the next multidisplacement mi will place it on the
first left cell c′1. In consequence each multidisplacement mi of 〈mi〉i∈N places the ring ri
on the first left cell c′1 at the precise instant ti.
¤
Proposition 4. Each Hilbert’s ring ri is placed on the left cell c
′
k by the multidisplacement
mi+k−1, being c′k any left cell.
Proof. Let ri be any Hilbert’s ring and c
′
k any left cell. According to Proposition 3
Hilbert’s ring ri is placed on the first left cell c
′
1 by the multidisplacement mi. Since each
multidisplacement moves each ring one cell to the left, the next k−1 multidisplacements,
which are all of them performed (Proposition 2), place the ring ri on the left cell c
′
1+(k−1) =
c′k. Therefore each ring ri of 〈ri〉i∈N is placed on the left cell c′k by the multidisplacement
mi+k−1, where c′k is any left cell.
¤
We can now derive the following two contradictory propositions:
4 Hilbert’s machine and the Axiom of Infinity
Proposition 5. Once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N,
and being those multidisplacements the only performed actions, all Hilbert’s rings are in
the left side of the tape.
Proof 1. At tb all multidisplacements have been performed (Proposition 2) and no ring
have been removed from the tape (Hilbert’s restriction). Consequently, we only have
to prove that once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions, all
Hilbert’s rings 〈ri〉i∈N are placed in the left side of the tape. For this, consider any Hilbert’s
ring ri. According to Proposition 3 the multidisplacement mi places ri on the first left
cell c′1 at ti. Since all subsequent multidisplacements mn, n>i move ri one cell to the left,
ri will remain on the left side of the tape from the performance of mi. Consequently, the
one to one correspondence f between 〈mi〉i∈N and 〈ri〉i∈N defined by:
f(mi) = ri, ∀i ∈ N (3)
proves that once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N, and
being those multidisplacements the only performed actions, all Hilbert’s rings are in the
left side of the tape.
¤
Proof 2. According to Proposition 3 the multidisplacement m1 places the ring r1 on the
first left cell c′1 at t1. Consequently, and taking into account that each multidisplacement
moves all Hilbert’s rings one cell to the left, the ring r1 is in the left side of the tape
from the performance of m1. Thus, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only
performed actions, r1 is in the left side of the tape. Assume now that, once completed the
ω-ordered sequence of multidisplacements 〈mi〉i∈N, and being those multidisplacements
the only performed actions, the firsts n Hilbert’s rings are in the left side of the tape. In
these precise conditions, if rn+1 were not in the left side of the tape it would have to be
on the first right cell c1 and then none of the multidisplacements mi, i≥n+1 would have
been carried out because mn+1 puts rn+1 on the first left cell c
′
1 (Proposition 3) and all
subsequent multidisplacements move rn+1 one cell to the left. But we know all mi, i≥n+1
have been carried out (Proposition 2), so it is impossible that in those conditions rn+1 be
in the right side of the tape; it must also be in the left side of the tape.
We have proved that, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed
actions, the first Hilbert’s ring r1 is in the left side of the tape, and that if the first n
Hilbert’s rings are in the left side of the tape, then rn+1 is also in the left side of the
tape. Therefore, once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N,
and being those multidisplacements the only performed actions, all Hilbert’s rings are in
the left side of the tape.
¤
Proposition 6. Once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N,
and being those multidisplacements the only performed actions, no Hilbert’s ring is in the
left side of the tape.
Proof 1. Once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N, and being
those multidisplacements the only performed actions, all Hilbert’s rings are in the left side
of the tape (Proposition 5). In these conditions and being c′1 the first left cell, if c
′
1 would
contain a ring this ring would have to be the last ring of Hilbert’s chain. But evidently
there is not a last ring in the ω-ordered sequence 〈ri〉i∈N, so c′1 must be empty. Let us
now assume that, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions,
Hilbert’s machine and the Axiom of Infinity 5
the firsts n left cells are empty. In these precise conditions, if the next left cell c′n+1 were
not empty, then it would have to contain the impossible last Hilbert’s ring, so it has also
to be empty.
We have proved that, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed
actions, the first left cell c′1 is empty, and that if the first n left cells are empty then
the next left cell c′n+1 is also empty. Therefore, once completed the ω-ordered sequence
of multidisplacements 〈mi〉i∈N, and being those multidisplacements the only performed
actions, all left cells 〈c′i〉i∈N are empty, and then no Hilbert’s ring is in the left side of the
tape.
¤
Proof 2. Let c′k be any left cell. Assume that once completed 〈mi〉i∈N, and being 〈mi〉i∈N
the only performed actions, c′k contains any Hilbert’s ring ri. According to Proposition 4
the ring ri was placed on the left cell c
′
k by the multidisplacement mi+k−1. Therefore, and
taking into account that each multidisplacement moves ri exactly one cell to the left, if
once completed 〈mi〉i∈N and being 〈mi〉i∈N the only performed actions ri were on ck none
of the multidisplacements mn, n≥(i+k) would have been carried out, which contradicts the
fact that all of them have been carried out (and Proposition 2 confirms). Therefore, once
completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions, the left cell c′k contains
no Hilbert’s ring. Consequently, and taking into account that c′k is any left cell, once
completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions, no Hilbert’s ring is in
the left side of the tape.
¤
3. Consequences
We have just proved that once completed the ω-ordered sequence of multidisplacements
〈mi〉i∈N and being 〈mi〉i∈N the only performed actions, Hilbert’s chain is and is not in
the left side of the tape2. Obviously, Hilbert’s machine is a conceptual device whose
theoretical existence and functioning is only possible under the consideration of the ω-or-
der that legitimates the ω-ordered sequences 〈ci〉i∈N, 〈c′i〉i∈N, 〈ri〉i∈N, 〈mi〉i∈N and 〈ti〉i∈N
as complete totalities. Furthermore, the contradictory Propositions 5 and 6 are formal
consequences of Proposition 1, which in turn is a formal consequence of the ω-order. It
is, therefore, the ω-order the cause of the contradiction between Propositions 5 and 6.
We will come to the same conclusion on the inconsistency of the ω-order by comparing
the consequences of the functioning of the above infinite Hilbert’s machine (symbolically
Hω) with the functioning of any finite Hilbert machine Hn with a finite number n of both
right and left cells; being, as in the case of Hω, a Hilbert’s chain of n rings placed on the
right side of the tape, each ring ri on the cell ci (see Figure 2). In effect, it is immediate to
prove that, according to Hilbert’s restriction, Hn can only perform n multidisplacements
because the (n+1)-th multidisplacement would remove from the tape the ring r1 initially
placed on the first right cell c1 and placed on the last left cell c
′
n by the multidisplacement
mn. Thus mn+1 does not observe Hilbert restriction. In these conditions it is impossible
to derive Proposition 6 because once performed the n-th multidisplacement, and due to
Hilbert’s restriction, the machine Hn halts with each left cell c
′
i occupied by the ring
rn−i+1 and all right cells empty. Thus for any natural number n, Hn is consistent. Only
the infinite Hilbert’s machine Hω is inconsistent. Consequently, and taking into account
2Although we will not do it here, it is possible to derive other contradictory results from the functioning
of Hilbert’s machine
6 Hilbert’s machine and the Axiom of Infinity
Figure 2. The finite Hilbert’s machine H5 can only performs five multidisplacements
as a consequence of which the five rings of Hilbert’s chain will be moved from the right
to the left side of the tape and then machine will halt due to Hilbert’s restriction.
that the ω-order is the only difference between Hω and Hn, ∀n∈N, only the ω-order can be
the cause of the inconsistency of Hω.
We should not be surprised by this conclusion on the inconsistency of the ω-order.
After all, an ω-ordered sequence is one which is both complete (as the actual infinity
requires) and uncompletable (because there is not a last element which completes it).
To be simultaneously complete and uncompletable seems not to be an acceptable formal
status. On the other hand, and as Cantor proved [6], [7], the ω-order is an inevitable
consequence of assuming the existence of denumerable complete totalities. An existence
which is solemnly stated in our days by the Axiom of Infinity, in both ZFC and BNG
axiomatic set theories. It is therefore that axiom the ultimate cause of the contradiction
between Propositions 5 and 6.
References
1. Joseph S. Alper and Mark Bridger, On the Dynamics of Perez Laraudogotia’s Supertask, Synthese
119 (1999), 325 – 337.
2. Joseph S. Alper, Mark Bridger, John Earman, and John D. Norton, What is a Newtonian System?
The Failure of Energy Conservation and Determinism in Supertasks, Synthese 124 (2000), 281 – 293.
3. David Atkinson, Losing energy in classical, relativistic and quantum mechanics, Pittsburgh PhilSci
Archive (2006), 1–13.
4. , A Relativistic Zeno Effect, Pittsburgh PhilSci Archive (2006), 1–9, http://philsci-
archive.pitt.edu.
5. Jose´ A. Bernadete, Infinity: An essay in Metaphysics, Oxford University Press, Oxford, 1964.
6. Georg Cantor, Beitra¨ge zur Begru¨ndung der transfiniten Mengenlehre, Mathematishe Annalen XLIX
(1897), 207 – 246.
7. , Contributions to the founding of the theory of transfinite numbers, Dover, New York, 1955.
8. John Earman and John D. Norton, Forever is a Day: Supertasks in Pitowsky and Malament-hogarth
Spacetimes, Philosophy of Science 60 (1993), 22–42.
9. , Infinite Pains: The Trouble with Supertasks, Paul Benacerraf: The Philosopher and His
Critics (S. Stich, ed.), Blackwell, New York, 1996.
10. , Comments on Laraudogoitia’s ’classical Particle Dynamics, Indeterminism and a Supertask’,
The British Journal for the Phylosophy of Science 49 (1998), no. 1, 122 – 133.
11. Adolf Gru¨nbaum, Modern Science and Zeno’s Paradoxes, George Allen And Unwin Ltd, London,
1967.
Hilbert’s machine and the Axiom of Infinity 7
12. , Modern Science and Zeno’s Paradoxes of Motion, Zeno’s Paradoxes (Wesley C. Salmon,
ed.), Hackett Publishing Company, Inc, Indianapolis/Cambridge, 2001, pp. 200 – 250.
13. John D. Norton, A Quantum Mechanical Supertask, Foundations of Physics 29 (1999), 1265 – 1302.
14. Jon Pe´rez Laraudogoitia, A Beautiful Supertask, Mind 105 (1996), 49–54.
15. , Classical Particle Dynamics, Indeterminism and a Supertask, British Journal for the Philos-
ophy of Science 48 (1997), 49 – 54.
16. , Infinity Machines and Creation Ex Nihilo, Synthese 115 (1998), 259 – 265.
17. , Why Dynamical Self-excitation is Possible, Synthese 119 (1999), 313 – 323.
18. , Supertasks, The Stanford Encyclopaedia of Philosophy (E. N. Zaltax, ed.), Standford Uni-
versity, URL = http://plato.stanford.edu, 2001.
19. Jon Pe´rez Laraudogoitia, Mark Bridger, and Joseph S. Alper, Two Ways of Looking at a Newtonian
Supertask, Synthese 131 (2002), no. 2, 157 – 171.


Hilbert's machine and the Axiom of Infinity

Cognitive Sciences ePrint Archive

A Quantum Mechanical Supertask,

A Relativistic Zeno Effect, Pittsburgh PhilSci Archive

Beitra¨ge zur Begru¨ndung der transfiniten Mengenlehre,

Comments on Laraudogoitia’s ’classical Particle Dynamics, Indeterminism and a Supertask’,

Contributions to the founding of the theory of transfinite numbers,

Dynamical Self-excitation is Possible,

Forever is a Day: Supertasks in Pitowsky and Malament-hogarth Spacetimes,

Infinity: An essay in Metaphysics,

Laraudogoitia, A Beautiful Supertask,

Losing energy in classical, relativistic and quantum mechanics, Pittsburgh PhilSci Archive

Machines and Creation Ex Nihilo,

Modern Science and Zeno’s Paradoxes,

On the Dynamics of Perez Laraudogotia’s Supertask,

Pains: The Trouble with Supertasks, Paul Benacerraf: The Philosopher and His Critics

Particle Dynamics, Indeterminism and a Supertask,

Science and Zeno’s Paradoxes of Motion, Zeno’s Paradoxes

The Stanford Encyclopaedia of Philosophy

Two Ways of Looking at a Newtonian Supertask,

What is a Newtonian System? The Failure of Energy Conservation and Determinism in Supertasks,

CogPrints Cognitive Sciences Eprint Archive

Name not available

HILBERT’S MACHINE AND THE AXIOM OF INFINITYAntonio Leon Sanchez (aleons@educa.jcyl.es)I.E.S. Francisco Salinas. Spain.Abstract. Hilbert’s machine is a supertask machine inspired by Hilbert’s Hotel whosefunctioning leads to a contradiction that compromises the Axiom of Infinity.1. Hilbert’s MachineIn the following conceptual discussion we will make use of a theoretical device that willbe referred to as Hilbert’s machine, composed of the following elements (see Figure 1):(1) An infinite tape similar to those of Turing machines which is divided in two infiniteparts, the left and the right side:(a) The right side is divided into an ω-ordered sequence of adjacent cells 〈ci〉i∈N1which are indexed from left to right as c1, c2, c3, . . . . These cells will bereferred to as right cells.(b) The left side is also divided into an ω-ordered sequence of adjacent cells 〈c′i〉i∈Nindexed now from right to left as c′1, c′2, c′3, . . . , being c′1 adjacent to c1. Thesecells will be referred to as left cells.(2) An ω-ordered sequence of rings 〈ri〉i∈N being each ring ri initially placed on theright cell ci and permanently bound to its successor ri+1 by means of a rigid rodof the appropriate length. The rings ri will be termed Hilbert’s rings and thesequence 〈ri〉i∈N Hilbert’s chain.(3) A multidisplacement mechanism which moves simultaneously all Hilbert’s ringsone cell to the left, so that the ring placed on ck, k>1 is placed on ck−1, the oneplaced on c1 is placed on c′1, and the one placed on c′k, k≥1 is placed on c′k+1. Thissimultaneous displacement of all Hilbert’s rings one cell to the left will be termedmultidisplacement. Multidisplacements are the only actions performed by Hilbert’smachine.Figure 1. Hilbert’s machine just before performing the second multidisplacement.The functioning of Hilbert’s machine is always subjected to the following Hilbert’s restric-tion: the machine will perform a multidisplacement if, and only if, the multidisplacement1As usual, N stands for the set of natural numbers {1, 2, 3, . . . }12 Hilbert’s machine and the Axiom of Infinitydoes not remove any ring from the tape; otherwise the machine halts before performingthe multidisplacement. Consequently no ring can be removed from the tape.Assume now that Hilbert’s machine performs a multidisplacement mi at each one ofthe countably many instants ti of any ω-ordered sequence of instants 〈ti〉i∈N defined intoany finite half-closed interval of time [ta, tb), for instance the one defined in accordancewith:ti = ta + (tb − ta)i∑k=112k, ∀i ∈ N (1)whose limit is tb. Accordingly, at tb our machine will have completed the performanceof an ω-ordered sequence of multidisplacements 〈mi〉i∈N, i.e. a supertask. As is usual insupertask theory (see [5], [11], [12], [14], [15], [18], [10], etc.) we will assume that multi-displacements are instantaneous. Although it is irrelevant to our conceptual discussion,we could also assume that multidisplacements last a finite amount of time, for instanceeach mi could take a time 1/(2i+1). It seems appropriate at this point to emphasize theconceptual nature of the discussion that follows. Here we are not interested in discussingthe problems derived from the actual performance of supertasks in our physical universe,as would be the case of the relativistic restrictions on the speed of the multidisplacementsand the like ([8], [9], [14], [15], [16], [10], [17], [13], [1], [2], [19], [4], [3], etc.). We willassume, therefore, that Hilbert’s machine works in a conceptual universe in which nophysical restriction applies to its functioning.2. Performing the supertaskConsider the ω-ordered sequence of instants 〈ti〉i∈N defined according to (1), and a Hil-bert’s machine in the following initial conditions:(1) At ta the machine is at rest.(2) At ta each Hilbert’s ring ri is on the right cell ci.(3) At ta each left cell c′i is empty.Assume that, if Hilbert’s restriction allows it, this machine performs exactly one mul-tidisplacement mi at each one of the countably many instants ti of 〈ti〉i∈N, and only atthem, being those successive multidisplacements the only performed actions. The objec-tive of the following discussion is to analyze the performance of this ω-ordered sequenceof multidisplacements 〈mi〉i∈N.We begin by proving the following two basic propositions which are directly derivedfrom the notion of ω-order, i.e. from assuming the existence, as complete totalities, ofsequences in which there exist a first element and each element has a successor:Proposition 1. The ω-ordering makes it possible that all multidisplacements mi of theω-ordered sequence 〈mi〉i∈N observe Hilbert’s restriction.Proof. It is evident that the first multidisplacement m1 observes Hilbert’s restriction (infact, it places Hilbert’s ring r1 on the cell c′1 and each ri, i>1 on ci−1). Assume the first nmultidisplacements observe Hilbert’s restriction. In these conditions, if mn+1 would notobserve Hilbert’s restriction, the ring r1 would be removed from the tape bymn+1. But thisis impossible because, as a consequence of having performed the first nmultidisplacements,and taking into account that each multidisplacement moves all Hilbert’s rings one cell tothe left, the ring r1 has to be placed on the left cell c′n, and in accordance with theHilbert’s machine and the Axiom of Infinity 3ω-order this cell has an adjacent cell to the left, the left cell c′n+1, on which r1 will beplaced by mn+1. Consequently mn+1 also observes Hilbert’s restriction. We have justproved that m1 observes Hilbert’s restriction, and that if the first n multidisplacementsobserve Hilbert’s restriction, then mn+1 also observes Hilbert’s restriction. Therefore, allmultidisplacements observe Hilbert’s restriction.¤Proposition 2. At tb the performance of the ω-ordered sequence of multidisplacements〈mi〉i∈N has been completed.Proof. According to Proposition 1 all multidisplacements mi observe Hilbert’s restrictionand therefore all of them can be performed by Hilbert’s machine. Let us now provethat at tb all of them have already been carried out. For this, consider the one to onecorrespondence f between 〈ti〉i∈N and 〈mi〉i∈N defined by:f(ti) = mi, ∀i ∈ N (2)Being tb the limit of the ω-ordered sequence 〈ti〉i∈N, and taking into account that by defini-tion each multidisplacement mi takes place just at the precise instant ti, the above one toone correspondence f , together with the assumed completeness of the involved ω-orderedsequences, ensure that at tb all multidisplacements mi of 〈mi〉i∈N have already been car-ried out. Therefore at tb the performance of the ω-ordered sequence of multidisplacements〈mi〉i∈N has been completed.¤From the above propositions we now derive the following two auxiliary results:Proposition 3. Each multidisplacement mi of 〈mi〉i∈N places the ring ri on the first leftcell c′1 at the precise instant ti.Proof. According to Proposition 2, Hilbert’s machine completes the performance of theω-ordered sequence of multidisplacements 〈mi〉i∈N. In these conditions, let ri be anyHilbert’s ring. According to the initial conditions, ri was initially placed on the right cellci. Taking into account that each multidisplacement moves each Hilbert’s ring exactlyone cell to the left, after the firsts i− 1 multidisplacements the ring ri will be placed juston the right cell ci−(i−1) = c1, and then the next multidisplacement mi will place it on thefirst left cell c′1. In consequence each multidisplacement mi of 〈mi〉i∈N places the ring rion the first left cell c′1 at the precise instant ti.¤Proposition 4. Each Hilbert’s ring ri is placed on the left cell c′k by the multidisplacementmi+k−1, being c′k any left cell.Proof. Let ri be any Hilbert’s ring and c′k any left cell. According to Proposition 3Hilbert’s ring ri is placed on the first left cell c′1 by the multidisplacement mi. Since eachmultidisplacement moves each ring one cell to the left, the next k−1 multidisplacements,which are all of them performed (Proposition 2), place the ring ri on the left cell c′1+(k−1) =c′k. Therefore each ring ri of 〈ri〉i∈N is placed on the left cell c′k by the multidisplacementmi+k−1, where c′k is any left cell.¤We can now derive the following two contradictory propositions:4 Hilbert’s machine and the Axiom of InfinityProposition 5. Once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N,and being those multidisplacements the only performed actions, all Hilbert’s rings are inthe left side of the tape.Proof 1. At tb all multidisplacements have been performed (Proposition 2) and no ringhave been removed from the tape (Hilbert’s restriction). Consequently, we only haveto prove that once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions, allHilbert’s rings 〈ri〉i∈N are placed in the left side of the tape. For this, consider any Hilbert’sring ri. According to Proposition 3 the multidisplacement mi places ri on the first leftcell c′1 at ti. Since all subsequent multidisplacements mn, n>i move ri one cell to the left,ri will remain on the left side of the tape from the performance of mi. Consequently, theone to one correspondence f between 〈mi〉i∈N and 〈ri〉i∈N defined by:f(mi) = ri, ∀i ∈ N (3)proves that once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N, andbeing those multidisplacements the only performed actions, all Hilbert’s rings are in theleft side of the tape.¤Proof 2. According to Proposition 3 the multidisplacement m1 places the ring r1 on thefirst left cell c′1 at t1. Consequently, and taking into account that each multidisplacementmoves all Hilbert’s rings one cell to the left, the ring r1 is in the left side of the tapefrom the performance of m1. Thus, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the onlyperformed actions, r1 is in the left side of the tape. Assume now that, once completed theω-ordered sequence of multidisplacements 〈mi〉i∈N, and being those multidisplacementsthe only performed actions, the firsts n Hilbert’s rings are in the left side of the tape. Inthese precise conditions, if rn+1 were not in the left side of the tape it would have to beon the first right cell c1 and then none of the multidisplacements mi, i≥n+1 would havebeen carried out because mn+1 puts rn+1 on the first left cell c′1 (Proposition 3) and allsubsequent multidisplacements move rn+1 one cell to the left. But we know all mi, i≥n+1have been carried out (Proposition 2), so it is impossible that in those conditions rn+1 bein the right side of the tape; it must also be in the left side of the tape.We have proved that, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performedactions, the first Hilbert’s ring r1 is in the left side of the tape, and that if the first nHilbert’s rings are in the left side of the tape, then rn+1 is also in the left side of thetape. Therefore, once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N,and being those multidisplacements the only performed actions, all Hilbert’s rings are inthe left side of the tape.¤Proposition 6. Once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N,and being those multidisplacements the only performed actions, no Hilbert’s ring is in theleft side of the tape.Proof 1. Once completed the ω-ordered sequence of multidisplacements 〈mi〉i∈N, and beingthose multidisplacements the only performed actions, all Hilbert’s rings are in the left sideof the tape (Proposition 5). In these conditions and being c′1 the first left cell, if c′1 wouldcontain a ring this ring would have to be the last ring of Hilbert’s chain. But evidentlythere is not a last ring in the ω-ordered sequence 〈ri〉i∈N, so c′1 must be empty. Let usnow assume that, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions,Hilbert’s machine and the Axiom of Infinity 5the firsts n left cells are empty. In these precise conditions, if the next left cell c′n+1 werenot empty, then it would have to contain the impossible last Hilbert’s ring, so it has alsoto be empty.We have proved that, once completed 〈mi〉i∈N, and being 〈mi〉i∈N the only performedactions, the first left cell c′1 is empty, and that if the first n left cells are empty thenthe next left cell c′n+1 is also empty. Therefore, once completed the ω-ordered sequenceof multidisplacements 〈mi〉i∈N, and being those multidisplacements the only performedactions, all left cells 〈c′i〉i∈N are empty, and then no Hilbert’s ring is in the left side of thetape.¤Proof 2. Let c′k be any left cell. Assume that once completed 〈mi〉i∈N, and being 〈mi〉i∈Nthe only performed actions, c′k contains any Hilbert’s ring ri. According to Proposition 4the ring ri was placed on the left cell c′k by the multidisplacement mi+k−1. Therefore, andtaking into account that each multidisplacement moves ri exactly one cell to the left, ifonce completed 〈mi〉i∈N and being 〈mi〉i∈N the only performed actions ri were on ck noneof the multidisplacements mn, n≥(i+k) would have been carried out, which contradicts thefact that all of them have been carried out (and Proposition 2 confirms). Therefore, oncecompleted 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions, the left cell c′k containsno Hilbert’s ring. Consequently, and taking into account that c′k is any left cell, oncecompleted 〈mi〉i∈N, and being 〈mi〉i∈N the only performed actions, no Hilbert’s ring is inthe left side of the tape.¤3. ConsequencesWe have just proved that once completed the ω-ordered sequence of multidisplacements〈mi〉i∈N and being 〈mi〉i∈N the only performed actions, Hilbert’s chain is and is not inthe left side of the tape2. Obviously, Hilbert’s machine is a conceptual device whosetheoretical existence and functioning is only possible under the consideration of the ω-or-der that legitimates the ω-ordered sequences 〈ci〉i∈N, 〈c′i〉i∈N, 〈ri〉i∈N, 〈mi〉i∈N and 〈ti〉i∈Nas complete totalities. Furthermore, the contradictory Propositions 5 and 6 are formalconsequences of Proposition 1, which in turn is a formal consequence of the ω-order. Itis, therefore, the ω-order the cause of the contradiction between Propositions 5 and 6.We will come to the same conclusion on the inconsistency of the ω-order by comparingthe consequences of the functioning of the above infinite Hilbert’s machine (symbolicallyHω) with the functioning of any finite Hilbert machine Hn with a finite number n of bothright and left cells; being, as in the case of Hω, a Hilbert’s chain of n rings placed on theright side of the tape, each ring ri on the cell ci (see Figure 2). In effect, it is immediate toprove that, according to Hilbert’s restriction, Hn can only perform n multidisplacementsbecause the (n+1)-th multidisplacement would remove from the tape the ring r1 initiallyplaced on the first right cell c1 and placed on the last left cell c′n by the multidisplacementmn. Thus mn+1 does not observe Hilbert restriction. In these conditions it is impossibleto derive Proposition 6 because once performed the n-th multidisplacement, and due toHilbert’s restriction, the machine Hn halts with each left cell c′i occupied by the ringrn−i+1 and all right cells empty. Thus for any natural number n, Hn is consistent. Onlythe infinite Hilbert’s machine Hω is inconsistent. Consequently, and taking into account2Although we will not do it here, it is possible to derive other contradictory results from the functioningof Hilbert’s machine6 Hilbert’s machine and the Axiom of InfinityFigure 2. The finite Hilbert’s machine H5 can only performs five multidisplacementsas a consequence of which the five rings of Hilbert’s chain will be moved from the rightto the left side of the tape and then machine will halt due to Hilbert’s restriction.that the ω-order is the only difference between Hω and Hn, ∀n∈N, only the ω-order can bethe cause of the inconsistency of Hω.We should not be surprised by this conclusion on the inconsistency of the ω-order.After all, an ω-ordered sequence is one which is both complete (as the actual infinityrequires) and uncompletable (because there is not a last element which completes it).To be simultaneously complete and uncompletable seems not to be an acceptable formalstatus. On the other hand, and as Cantor proved [6], [7], the ω-order is an inevitableconsequence of assuming the existence of denumerable complete totalities. An existencewhich is solemnly stated in our days by the Axiom of Infinity, in both ZFC and BNGaxiomatic set theories. It is therefore that axiom the ultimate cause of the contradictionbetween Propositions 5 and 6.References1. Joseph S. Alper and Mark Bridger, On the Dynamics of Perez Laraudogotia’s Supertask, Synthese119 (1999), 325 – 337.2. Joseph S. Alper, Mark Bridger, John Earman, and John D. Norton, What is a Newtonian System?The Failure of Energy Conservation and Determinism in Supertasks, Synthese 124 (2000), 281 – 293.3. David Atkinson, Losing energy in classical, relativistic and quantum mechanics, Pittsburgh PhilSciArchive (2006), 1–13.4. , A Relativistic Zeno Effect, Pittsburgh PhilSci Archive (2006), 1–9, http://philsci-archive.pitt.edu.5. Jose´ A. Bernadete, Infinity: An essay in Metaphysics, Oxford University Press, Oxford, 1964.6. Georg Cantor, Beitra¨ge zur Begru¨ndung der transfiniten Mengenlehre, Mathematishe Annalen XLIX(1897), 207 – 246.7. , Contributions to the founding of the theory of transfinite numbers, Dover, New York, 1955.8. John Earman and John D. Norton, Forever is a Day: Supertasks in Pitowsky and Malament-hogarthSpacetimes, Philosophy of Science 60 (1993), 22–42.9. , Infinite Pains: The Trouble with Supertasks, Paul Benacerraf: The Philosopher and HisCritics (S. Stich, ed.), Blackwell, New York, 1996.10. , Comments on Laraudogoitia’s ’classical Particle Dynamics, Indeterminism and a Supertask’,The British Journal for the Phylosophy of Science 49 (1998), no. 1, 122 – 133.11. Adolf Gru¨nbaum, Modern Science and Zeno’s Paradoxes, George Allen And Unwin Ltd, London,1967.Hilbert’s machine and the Axiom of Infinity 712. , Modern Science and Zeno’s Paradoxes of Motion, Zeno’s Paradoxes (Wesley C. Salmon,ed.), Hackett Publishing Company, Inc, Indianapolis/Cambridge, 2001, pp. 200 – 250.13. John D. Norton, A Quantum Mechanical Supertask, Foundations of Physics 29 (1999), 1265 – 1302.14. Jon Pe´rez Laraudogoitia, A Beautiful Supertask, Mind 105 (1996), 49–54.15. , Classical Particle Dynamics, Indeterminism and a Supertask, British Journal for the Philos-ophy of Science 48 (1997), 49 – 54.16. , Infinity Machines and Creation Ex Nihilo, Synthese 115 (1998), 259 – 265.17. , Why Dynamical Self-excitation is Possible, Synthese 119 (1999), 313 – 323.18. , Supertasks, The Stanford Encyclopaedia of Philosophy (E. N. Zaltax, ed.), Standford Uni-versity, URL = http://plato.stanford.edu, 2001.19. Jon Pe´rez Laraudogoitia, Mark Bridger, and Joseph S. Alper, Two Ways of Looking at a NewtonianSupertask, Synthese 131 (2002), no. 2, 157 – 171.

PhilSci Archive

A Relativistic Zeno E®ect, Pittsburgh PhilSci Archive

BeitrÄ age zur BegrÄ undung der trans¯niten Mengenlehre,

Comments on Laraudogoitia's 'classical Particle Dynamics, Indeterminism and a Supertask',

Hilbert's machine and the Axiom of Infinity

Abstract

Similar works

Full text

Available Versions

Philsci-Archive

Cognitive Sciences ePrint Archive

CogPrints Cognitive Sciences Eprint Archive

Name not available

PhilSci Archive