151:. 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. The sum of this
122:
626:
25:
162:
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.
292:
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."
276:. 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
260:
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,
544:
158:
The following question is then considered: Is the lamp on or off at two minutes? Thomson reasoned that this supertask creates a contradiction:
410:
474:
420:
108:
579:
537:
574:
569:
89:
655:
484:
137:
61:
46:
39:
564:
379:
68:
307:
660:
629:
530:
284:
this idea, just because we have the idea of a task or tasks having been performed and because we are acquainted with
264:
Then the question whether the lamp is on or off… is the question: What is the sum of the infinite divergent sequence
75:
57:
35:
466:
Everywhere and
Everywhen : Adventures in Physics and Philosophy: Adventures in Physics and Philosophy
152:
377:
Thomson p.6. For the mathematics and its history he cites Hardy and
Waismann's books, for which see
650:
312:
285:
250:
208:
595:
504:
451:
553:
173:
470:
426:
416:
302:
82:
464:
412:
Zeno, Aristotle, the
Racetrack and the Achilles: A Historical and Philosophical Investigation
496:
443:
125:
The thought experiment concerns a lamp that is toggled on and off with increasing frequency.
121:
207:{1, 0, 1, 0, ...}, representing the changing state of the lamp. The sequence does not
195:, the above finite series sums to 1; for odd values, it sums to 0. In other words, as
644:
148:
415:. New Brunswick, NJ: Rutgers, The State University of New Jersey. pp. 209–210.
317:
272:
Now mathematicians do say that this sequence has a sum; they say that its sum is ⁄
516:
24:
229:
The unending series in the brackets is exactly the same as the original series
141:
522:
517:
Infinite Pains: The
Trouble with Supertasks. In Benacerraf and his Critics
204:
434:
Benacerraf, Paul (1962). "Tasks, Super-Tasks, and the Modern
Eleatics".
508:
455:
200:
218:
Another way of illustrating this problem is to rearrange the series:
133:
500:
447:
249:. In fact, this manipulation can be rigorously justified: there are
136:
based on infinites. It was devised in 1954 by
British philosopher
120:
526:
280:
is done when a super-task is done. … We cannot be expected to
18:
519:, Adam Morton and Stephen P. Stich (Eds.), p. 231-261.
144:, which is the completion of an infinite number of tasks.
215:
tends to infinity, so neither does the infinite series.
337:
335:
333:
604:
588:
203:0, 1, 2, 3, ... in turn, the series generates the
262:
160:
251:generalized definitions for the sums of series
140:, who used it to analyze the possibility of a
538:
199:takes the values of each of the non-negative
8:
469:. Oxford University Press. pp. 22–23.
172:The question is related to the behavior of
545:
531:
523:
253:that do assign Grandi's series the value ⁄
155:of time intervals is exactly two minutes.
487:(October 1954). "Tasks and Super-Tasks".
109:Learn how and when to remove this message
392:
365:
353:
341:
329:
45:Please improve this article by adding
515:Earman, John and Norton, John (1996)
495:(1). Analysis, Vol. 15, No. 1: 1–13.
225:= 1 − (1 − 1 + 1 − 1 + 1 − 1 + · · ·)
7:
14:
625:
624:
409:Allen, Benjamin William (2008).
23:
187:= 1 − 1 + 1 − 1 + 1 − 1 + · · ·
180:the divergent infinite series
1:
47:secondary or tertiary sources
168:Mathematical series analogy
677:
380:History of Grandi's series
620:
560:
436:The Journal of Philosophy
163:This is a contradiction.
308:Ross–Littlewood paradox
147:Consider a lamp with a
463:Huggett, Nick (2010).
290:
270:
165:
126:
34:relies excessively on
656:Paradoxes of infinity
266:
124:
16:Philosophical puzzle
286:transfinite numbers
191:For even values of
132:is a philosophical
596:Luigi Guido Grandi
127:
638:
637:
485:Thomson, James F.
429:on June 24, 2014.
303:List of paradoxes
119:
118:
111:
93:
668:
628:
627:
547:
540:
533:
524:
512:
480:
459:
430:
425:. Archived from
396:
390:
384:
375:
369:
363:
357:
351:
345:
339:
313:Zeno's paradoxes
268:+1, −1, +1, ...?
138:James F. Thomson
114:
107:
103:
100:
94:
92:
58:"Thomson's lamp"
51:
27:
19:
676:
675:
671:
670:
669:
667:
666:
665:
661:Grandi's series
641:
640:
639:
634:
616:
600:
584:
556:
554:Grandi's series
551:
501:10.2307/3326643
483:
477:
462:
448:10.2307/2023500
442:(24): 765–784.
433:
423:
408:
405:
400:
399:
391:
387:
376:
372:
364:
360:
352:
348:
340:
331:
326:
299:
275:
256:
248:
174:Grandi's series
170:
153:infinite series
115:
104:
98:
95:
52:
50:
44:
40:primary sources
28:
17:
12:
11:
5:
674:
672:
664:
663:
658:
653:
643:
642:
636:
635:
633:
632:
621:
618:
617:
615:
614:
612:Thomson's lamp
608:
606:
602:
601:
599:
598:
592:
590:
586:
585:
583:
582:
577:
572:
567:
561:
558:
557:
552:
550:
549:
542:
535:
527:
521:
520:
513:
481:
475:
460:
431:
421:
404:
401:
398:
397:
385:
370:
358:
346:
328:
327:
325:
322:
321:
320:
315:
310:
305:
298:
295:
273:
254:
246:
241:which implies
227:
226:
189:
188:
169:
166:
130:Thomson's lamp
117:
116:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
673:
662:
659:
657:
654:
652:
649:
648:
646:
631:
623:
622:
619:
613:
610:
609:
607:
603:
597:
594:
593:
591:
587:
581:
578:
576:
573:
571:
568:
566:
563:
562:
559:
555:
548:
543:
541:
536:
534:
529:
528:
525:
518:
514:
510:
506:
502:
498:
494:
490:
486:
482:
478:
476:9780199702114
472:
468:
467:
461:
457:
453:
449:
445:
441:
437:
432:
428:
424:
422:9781109058437
418:
414:
413:
407:
406:
402:
394:
389:
386:
382:
381:
374:
371:
367:
362:
359:
355:
350:
347:
343:
338:
336:
334:
330:
323:
319:
316:
314:
311:
309:
306:
304:
301:
300:
296:
294:
289:
287:
283:
279:
269:
265:
261:
258:
252:
244:
240:
236:
233:. This means
232:
224:
221:
220:
219:
216:
214:
210:
206:
202:
198:
194:
186:
183:
182:
181:
179:
175:
167:
164:
159:
156:
154:
150:
149:toggle switch
145:
143:
139:
135:
131:
123:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
42:
41:
37:
32:This article
30:
26:
21:
20:
611:
492:
488:
465:
439:
435:
427:the original
411:
395:, p. 7.
393:Thomson 1954
388:
378:
373:
368:, p. 6.
366:Thomson 1954
361:
356:, p. 9.
354:Thomson 1954
349:
344:, p. 5.
342:Thomson 1954
318:Zeno machine
291:
281:
277:
271:
267:
263:
259:
242:
238:
234:
230:
228:
222:
217:
212:
196:
192:
190:
184:
177:
171:
161:
157:
146:
129:
128:
105:
96:
86:
79:
72:
65:
53:
33:
580:Occurrences
651:Supertasks
645:Categories
403:References
99:April 2018
69:newspapers
36:references
575:Summation
570:Education
142:supertask
630:Category
489:Analysis
297:See also
209:converge
205:sequence
201:integers
605:Related
565:History
509:3326643
456:2023500
282:pick up
83:scholar
589:People
507:
473:
454:
419:
237:= 1 −
134:puzzle
85:
78:
71:
64:
56:
505:JSTOR
452:JSTOR
324:Notes
90:JSTOR
76:books
471:ISBN
417:ISBN
278:what
178:i.e.
62:news
497:doi
444:doi
245:= ⁄
211:as
38:to
647::
503:.
493:15
491:.
450:.
440:59
438:.
332:^
257:.
176:,
49:.
546:e
539:t
532:v
511:.
499::
479:.
458:.
446::
383:.
288:.
274:2
255:2
247:2
243:S
239:S
235:S
231:S
223:S
213:n
197:n
193:n
185:S
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
43:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.