Thomson's lamp

Last updated
The thought experiment concerns a lamp that is toggled on and off with increasing frequency. Thomson's lamp graph.png
The thought experiment concerns a lamp that is toggled on and off with increasing frequency.

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

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 parentheses is exactly the same as the original series S. This means S = 1 − S which implies S = 1⁄2. 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 1⁄2.

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 1⁄2. 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 geometric series is a series summing the terms of an infinite geometric sequence, in which the ratio of consecutive terms is constant. For example, the series is a geometric series with common ratio ⁠⁠, which converges to the sum of ⁠⁠. Each term in a geometric series is the geometric mean of the term before it and the term after it, in the same way that each term of an arithmetic series is the arithmetic mean of its neighbors.

In mathematics, a series is, roughly speaking, an addition of infinitely many terms, one after the other. 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 in combinatorics through generating functions. The mathematical properties of infinite series make them widely applicable in other quantitative disciplines such as physics, computer science, statistics and finance.

Zeno's paradoxes are a series of philosophical arguments presented by the ancient Greek philosopher Zeno of Elea, primarily known through the works of Plato, Aristotle, and later commentators like Simplicius of Cilicia. Zeno devised these paradoxes to support his teacher Parmenides's philosophy of monism, which posits that despite our sensory experiences, reality is singular and unchanging. The paradoxes famously challenge the notions of plurality, motion, space, and time by suggesting they lead to logical contradictions.

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">Ross–Littlewood paradox</span> Abstract mathematics problem

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 + 4 + 8 + ⋯</span> Infinite series that diverges

In mathematics, 1 + 2 + 4 + 8 + ⋯ is the infinite series whose terms are the successive powers of two. As a geometric series, it is characterized by its first term, 1, and its common ratio, 2. As a series of real numbers it diverges to infinity, so the sum of this series is infinity.

<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

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

In mathematics, 1 + 1 + 1 + 1 + ⋯, also written ⁠⁠, ⁠⁠, or simply ⁠⁠, is a divergent series. Nevertheless, it is sometimes imputed to have a value of ⁠⁠, especially in physics. This value can be justified by certain mathematical methods for obtaining values from divergent series, including zeta function regularization.

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> Infinite series summable to 1

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

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

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.