Thomson's lamp

Last updated

Thomson's lamp is a philosophical puzzle based on infinites. It was devised in 1954 by British philosopher James F. Thomson, who used it to analyze the possibility of a supertask, which is the completion of an infinite number of tasks.

Contents

TimeState
0.000On
1.000Off
1.500On
1.750Off
1.875On
......
2.000?

Consider a lamp with a toggle switch. Flicking the switch once turns the lamp on. Another flick will turn the lamp off. Now suppose that there is a being who is able to perform the following task: starting a timer, he turns the lamp on. At the end of one minute, he turns it off. At the end of another half minute, he turns it on again. At the end of another quarter of a minute, he turns it off. At the next eighth of a minute, he turns it on again, and he continues thus, flicking the switch each time after waiting exactly one-half the time he waited before flicking it previously. [1] The sum of this infinite series of time intervals is exactly two minutes. [2]

The following question is then considered: Is the lamp on or off at two minutes? [1] Thomson reasoned that this supertask creates a contradiction:

It seems impossible to answer this question. It cannot be on, because I did not ever turn it on without at once turning it off. It cannot be off, because I did in the first place turn it on, and thereafter I never turned it off without at once turning it on. But the lamp must be either on or off. This is a contradiction. [1]

Mathematical series analogy

The question is related to the behavior of Grandi's series, i.e. the divergent infinite series

For even values of n, the above finite series sums to 1; for odd values, it sums to 0. In other words, as n takes the values of each of the non-negative integers 0, 1, 2, 3, ... in turn, the series generates the sequence {1, 0, 1, 0, ...}, representing the changing state of the lamp. [3] The sequence does not converge as n tends to infinity, so neither does the infinite series.

Another way of illustrating this problem is to rearrange the series:

The unending series in the brackets is exactly the same as the original series S. This means S = 1 − S which implies S = 12. In fact, this manipulation can be rigorously justified: there are generalized definitions for the sums of series that do assign Grandi's series the value 12.

One of Thomson's objectives in his original 1954 paper is to differentiate supertasks from their series analogies. He writes of the lamp and Grandi's series,

Then the question whether the lamp is on or off… is the question: What is the sum of the infinite divergent sequence

+1, −1, +1, ...?

Now mathematicians do say that this sequence has a sum; they say that its sum is 12. And this answer does not help us, since we attach no sense here to saying that the lamp is half-on. I take this to mean that there is no established method for deciding what is done when a super-task is done. … We cannot be expected to pick up this idea, just because we have the idea of a task or tasks having been performed and because we are acquainted with transfinite numbers. [4]

Later, he claims that even the divergence of a series does not provide information about its supertask: "The impossibility of a super-task does not depend at all on whether some vaguely-felt-to-be-associated arithmetical sequence is convergent or divergent." [5]

See also

Notes

  1. 1 2 3 Thomson 1954, p. 5.
  2. Thomson 1954, p. 9.
  3. Thomson 1954, p. 6.
  4. Thomson p.6. For the mathematics and its history he cites Hardy and Waismann's books, for which see History of Grandi's series .
  5. Thomson 1954, p. 7.

Related Research Articles

In mathematics, a series is, roughly speaking, the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathematics, even for studying finite structures through generating functions. In addition to their ubiquity in mathematics, infinite series are also widely used in other quantitative disciplines such as physics, computer science, statistics and finance.

Zeno's paradoxes are a set of philosophical problems generally thought to have been devised by Greek philosopher Zeno of Elea to support Parmenides' doctrine that contrary to the evidence of one's senses, the belief in plurality and change is mistaken, and in particular that motion is nothing but an illusion. It is usually assumed, based on Plato's Parmenides (128a–d), that Zeno took on the project of creating these paradoxes because other philosophers had created paradoxes against Parmenides' view. Thus Plato has Zeno say the purpose of the paradoxes "is to show that their hypothesis that existences are many, if properly followed up, leads to still more absurd results than the hypothesis that they are one." Plato has Socrates claim that Zeno and Parmenides were essentially arguing exactly the same point. Some of Zeno's nine surviving paradoxes are essentially equivalent to one another. Aristotle offered a refutation of some of them. Three of the strongest and most famous—that of Achilles and the tortoise, the Dichotomy argument, and that of an arrow in flight—are presented in detail below.

Hypercomputation or super-Turing computation refers to models of computation that can provide outputs that are not Turing-computable. Super-Turing computing, introduced in the early 1990's by Hava Siegelmann, refers to such neurological inspired, biological and physical realizable computing; It became the mathematical foundations of Lifelong Machine Learning. Hypercomputation, introduced as a field of science in the late 1990s, is said to be based on the Super Turing but it also includes constructs which are philosophical. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that can correctly evaluate every statement in Peano arithmetic.

In philosophy, a supertask is a countably infinite sequence of operations that occur sequentially within a finite interval of time. Supertasks are called hypertasks when the number of operations becomes uncountably infinite. A hypertask that includes one task for each ordinal number is called an ultratask. The term "supertask" was coined by the philosopher James F. Thomson, who devised Thomson's lamp. The term "hypertask" derives from Clark and Read in their paper of that name.

In mathematical analysis, Cesàro summation assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as n tends to infinity, of the sequence of arithmetic means of the first n partial sums of the series.

In mathematics, a divergent series is an infinite series that is not convergent, meaning that the infinite sequence of the partial sums of the series does not have a finite limit.

In mathematics and computer science, Zeno machines are a hypothetical computational model related to Turing machines that are capable of carrying out computations involving a countably infinite number of algorithmic steps. These machines are ruled out in most models of computation.

<span class="mw-page-title-main">Coastline paradox</span> Counterintuitive observation that the coastline of a landmass does not have a well-defined length

The coastline paradox is the counterintuitive observation that the coastline of a landmass does not have a well-defined length. This results from the fractal curve-like properties of coastlines; i.e., the fact that a coastline typically has a fractal dimension. Although the "paradox of length" was previously noted by Hugo Steinhaus, the first systematic study of this phenomenon was by Lewis Fry Richardson, and it was expanded upon by Benoit Mandelbrot.

<span class="mw-page-title-main">Ross–Littlewood paradox</span>

The Ross–Littlewood paradox is a hypothetical problem in abstract mathematics and logic designed to illustrate the paradoxical, or at least non-intuitive, nature of infinity. More specifically, like the Thomson's lamp paradox, the Ross–Littlewood paradox tries to illustrate the conceptual difficulties with the notion of a supertask, in which an infinite number of tasks are completed sequentially. The problem was originally described by mathematician John E. Littlewood in his 1953 book Littlewood's Miscellany, and was later expanded upon by Sheldon Ross in his 1988 book A First Course in Probability.

In mathematics, the infinite series 1 − 1 + 1 − 1 + ⋯, also written

<span class="mw-page-title-main">Occurrences of Grandi's series</span>

This article lists occurrences of the paradoxical infinite "sum" +1 -1 +1 -1 ..., sometimes called Grandi's series.

<span class="mw-page-title-main">1 − 2 + 3 − 4 + ⋯</span> Infinite series

In mathematics, 1 − 2 + 3 − 4 + ··· is an infinite series whose terms are the successive positive integers, given alternating signs. Using sigma summation notation the sum of the first m terms of the series can be expressed as

<span class="mw-page-title-main">1 + 2 + 3 + 4 + ⋯</span> Divergent series

The infinite series whose terms are the natural numbers 1 + 2 + 3 + 4 + ⋯ is a divergent series. The nth partial sum of the series is the triangular number

In mathematics, 1 − 2 + 4 − 8 + ⋯ is the infinite series whose terms are the successive powers of two with alternating signs. As a geometric series, it is characterized by its first term, 1, and its common ratio, −2.

<span class="mw-page-title-main">1/2 + 1/4 + 1/8 + 1/16 + ⋯</span> Mathematical infinite series

In mathematics, the infinite series 1/2 + 1/4 + 1/8 + 1/16 + ··· is an elementary example of a geometric series that converges absolutely. The sum of the series is 1. In summation notation, this may be expressed as

<span class="mw-page-title-main">Infinity</span> Mathematical concept

Infinity is that which is boundless, endless, or larger than any natural number. It is often denoted by the infinity symbol .

James F. Thomson (1921–1984) was a British philosopher who devised the puzzle of Thomson's lamp, to argue against the possibility of supertasks

References