Editing Thomson's lamp

{{Short description|Philosophical puzzle}}
{{Primary|date=April 2018}}
[[File:Thomson's lamp graph.png|thumb|upright=1.3|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 (philosopher)|James F. Thomson]], who used it to analyze the possibility of a [[supertask]], which is the completion of an infinite number of tasks.

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.{{sfn|Thomson|1954|p=5}}  The sum of this [[Series (mathematics)|infinite series]] of time intervals is exactly two minutes.{{sfn|Thomson|1954|p=9}}

The following question is then considered: Is the lamp on or off at two minutes?{{sfn|Thomson|1954|p=5}} Thomson reasoned that this supertask creates a contradiction:

{{quote|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.{{sfn|Thomson|1954|p=5}}}}

==Mathematical series analogy==

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

* ''S'' = 1 − 1 + 1 − 1 + 1 − 1 + · · ·

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 [[integer]]s 0, 1, 2, 3, ... in turn, the series generates the [[sequence]] {1, 0, 1, 0, ...}, representing the changing state of the lamp.{{sfn|Thomson|1954|p=6}} The sequence does not [[Limit of a sequence|converge]] as ''n'' tends to infinity, so neither does the infinite series.

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

* ''S'' = 1 − (1 − 1 + 1 − 1 + 1 − 1 + · · ·)

The unending series in the parentheses is exactly the same as the original series ''S''. This means ''S'' = 1 − ''S'' which implies ''S'' = <sup>1</sup>⁄<sub>2</sub>. In fact, this manipulation can be rigorously justified: there are [[Cesàro summation|generalized definitions for the sums of series]] that do assign Grandi's series the value <sup>1</sup>⁄<sub>2</sub>.

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,

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

<blockquote>+1, −1, +1, ...?</blockquote>

Now mathematicians do say that this sequence has a sum; they say that its sum is <sup>1</sup>⁄<sub>2</sub>. 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]].<ref>Thomson p.6. For the mathematics and its history he cites Hardy and Waismann's books, for which see ''[[History of Grandi's series]]''.</ref>}}

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."{{sfn|Thomson|1954|p=7}}

== See also ==
* [[List of paradoxes]]
* [[Ross–Littlewood paradox]]
* [[Zeno's paradoxes]]
* [[Zeno machine]]

==Notes==
{{reflist}}

==References==
*{{cite book|title=Zeno, Aristotle, the Racetrack and the Achilles: A Historical and Philosophical Investigation|first=Benjamin William|last=Allen|publisher=Rutgers, The State University of New Jersey|location=New Brunswick, NJ|year=2008|isbn=9781109058437|pages=209–210|url=https://books.google.com/books?id=LQEnRFmeOu4C&pg=PA209|archive-url=https://web.archive.org/web/20140624163840/http://books.google.com/books?id=LQEnRFmeOu4C&pg=PA209|url-status=dead|archive-date=June 24, 2014}}
*{{cite journal|title=Tasks, Super-Tasks, and the Modern Eleatics|first=Paul|last=Benacerraf|journal=The Journal of Philosophy|volume=59|issue=24|year=1962|pages=765–784|doi=10.2307/2023500|jstor=2023500}}
*{{cite book|title=Everywhere and Everywhen : Adventures in Physics and Philosophy: Adventures in Physics and Philosophy|first=Nick|last=Huggett|publisher=Oxford University Press|year=2010|isbn=9780199702114|pages=22–23|url=https://books.google.com/books?id=PV98odlvq4kC&pg=PA22}}
*{{cite journal |last=Thomson |first=James F. |authorlink=James F. Thomson  (philosopher) |title=Tasks and Super-Tasks |journal=Analysis |volume=15 |issue=1 |date=October 1954 |pages=1–13 |doi=10.2307/3326643 |publisher=Analysis, Vol. 15, No. 1 |jstor=3326643}}
*Earman, John and Norton, John (1996) [http://pitt.edu/~jearman/EarmanNorton1996a.pdf Infinite Pains: The Trouble with Supertasks. In Benacerraf and his Critics], Adam Morton and Stephen P. Stich (Eds.), p.&nbsp;231-261.

{{Grandi's series}}
{{DEFAULTSORT:ThomSon'S Lamp}}
[[Category:Supertasks]]
[[Category:Paradoxes of infinity]]
[[Category:Grandi's series]]