Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Supertask
open-in-new
<h2 id="history">History</h2> <h3>Zeno</h3> <h4>Motion</h4> <p>The origin of the interest in supertasks is normally attributed to <a href="/facts/Zeno_of_Elea/RJKVQWvh">Zeno of Elea</a>. Zeno claimed that <a href="/facts/Zeno%27s_paradoxes/sxw7Bp4p">motion was impossible</a>. He argued as follows: suppose our burgeoning "mover", Achilles say, wishes to move from A to B. To achieve this he must traverse half the distance from A to B. To get from the midpoint of AB to B, Achilles must traverse half <i>this</i> distance, and so on and so forth. However many times he performs one of these "traversing" tasks, there is another one left for him to do before he arrives at B. Thus it follows, according to Zeno, that motion (travelling a non-zero distance in finite time) is a supertask. Zeno further argues that supertasks are not possible (how can this sequence be completed if for each traversing there is another one to come?). It follows that motion is impossible. </p><p>Zeno's argument takes the following form: </p> <ol><li>Motion is a supertask, because the completion of motion over any set distance involves an infinite number of steps</li> <li>Supertasks are impossible</li> <li>Therefore, motion is impossible</li></ol> <p>Most subsequent philosophers reject Zeno's bold conclusion in favor of common sense. Instead, they reverse the argument and take it as a <a href="/facts/Reductio_ad_absurdum/5AJUtVmL">proof by contradiction</a> where the possibility of motion is taken for granted. They accept the possibility of motion and apply <i><a href="/facts/Modus_tollens/sqf3PTlf">modus tollens</a></i> (<a href="/facts/Contrapositive/ENPumbyv">contrapositive</a>) to Zeno's argument to reach the conclusion that either motion is not a supertask or not all supertasks are impossible. </p> <h4>Achilles and the tortoise</h4> <p>Zeno himself also discusses the notion of what he calls "<a href="/facts/Achilles/op3emMbv">Achilles</a> and the tortoise". Suppose that Achilles is the fastest runner, and moves at a speed of 1 m/s. Achilles chases a tortoise, an animal renowned for being slow, that moves at 0.1 m/s. However, the tortoise starts 0.9 metres ahead. Common sense seems to decree that Achilles will catch up with the tortoise after exactly 1 second, but Zeno argues that this is not the case. He instead suggests that Achilles must inevitably come up to the point where the tortoise has started from, but by the time he has accomplished this, the tortoise will already have moved on to another point. This continues, and every time Achilles reaches the mark where the tortoise was, the tortoise will have reached a new point that Achilles will have to catch up with; while it begins with 0.9 metres, it becomes an additional 0.09 metres, then 0.009 metres, and so on, infinitely. While these distances will grow very small, they will remain finite, while Achilles' chasing of the tortoise will become an unending supertask. Much commentary has been made on this particular paradox; many assert that it finds a loophole in common sense.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> </p> <h3>Thomson</h3> <p class="note">Further information: <a href="/facts/Thomson%27s_lamp/AHmUfqWa">Thomson's lamp</a></p> <p><a href="/facts/James_F._Thomson_(philosopher)/PmTmh0qq">James F. Thomson</a> believed that motion was not a supertask, and he emphatically denied that supertasks are possible. He considered a lamp that may either be on or off. At time <i>t</i> = 0 the lamp is off, and the switch is flipped on at <i>t</i> = 1/2; after that, the switch is flipped after waiting for half the time as before. Thomson asks what is the state at <i>t</i> = 1, when the switch has been flipped infinitely many times. He reasons that it cannot be on because there was never a time when it was not subsequently turned off, and vice versa, and reaches a contradiction. He concludes that supertasks are impossible.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> </p> <h3>Benacerraf</h3> <p><a href="/facts/Paul_Benacerraf/o4vJm1fR">Paul Benacerraf</a> believes that supertasks are at least logically possible despite Thomson's apparent contradiction. Benacerraf agrees with Thomson insofar as that the experiment he outlined does not determine the state of the lamp at t = 1. However he disagrees with Thomson that he can derive a contradiction from this, since the state of the lamp at t = 1 cannot be logically determined by the preceding states. </p> <h3>Modern literature</h3> <p>Most of the modern literature comes from the descendants of Benacerraf, those who tacitly accept the possibility of supertasks. Philosophers who reject their possibility tend not to reject them on grounds such as Thomson's but because they have qualms with the notion of infinity itself. Of course there are exceptions. For example, McLaughlin claims that Thomson's lamp is inconsistent if it is analyzed with <a href="/facts/Internal_set_theory/RLpCIhxQ">internal set theory</a>, a variant of <a href="/facts/Real_analysis/12WjlXCW">real analysis</a>. </p> <h4>Philosophy of mathematics</h4> <p>If supertasks are possible, then the truth or falsehood of unknown propositions of number theory, such as <a href="/facts/Goldbach%27s_conjecture/967UhtUU">Goldbach's conjecture</a>, or even <a href="/facts/Undecidable_problem/QBxmXBbY">undecidable</a> propositions could be determined in a finite amount of time by a brute-force search of the set of all natural numbers. This would, however, be in contradiction with the <a href="/facts/Church%E2%80%93Turing_thesis/hDHn641f">Church–Turing thesis</a>. Some have argued this poses a problem for <a href="/facts/Intuitionism/1gTeosv9">intuitionism</a>, since the intuitionist must distinguish between things that cannot in fact be proven (because they are too long or complicated; for example <a href="/facts/George_Boolos/K969uIhT">Boolos</a>'s "Curious Inference"<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a>) but nonetheless are considered "provable", and those which <i>are</i> provable by infinite brute force in the above sense. </p> <h4>Physical possibility</h4> <p>Some have claimed, Thomson's lamp is physically impossible since it must have parts moving at speeds faster than the <a href="/facts/Speed_of_light/sKSQwdNx">speed of light</a> (e.g., the lamp switch). <a href="/facts/Adolf_Gr%C3%BCnbaum/k1BuMxDo">Adolf Grünbaum</a> suggests that the lamp could have a strip of wire which, when lifted, disrupts the circuit and turns off the lamp; this strip could then be lifted by a smaller distance each time the lamp is to be turned off, maintaining a constant velocity. </p><p>However, such a design would ultimately fail, as eventually the distance between the contacts would be so small as to allow electrons to jump the gap, preventing the circuit from being broken at all. Still, for either a human or any device, to perceive or act upon the state of the lamp some measurement has to be done, for example the light from the lamp would have to reach an eye or a sensor. </p><p>Any such measurement will take a fixed frame of time, no matter how small and, therefore, at some point measurement of the state will be impossible. Since the state at t=1 can not be determined even in principle, it is not meaningful to speak of the lamp being either on or off. </p><p>Other physically possible supertasks have been suggested. In one proposal, one person (or entity) counts upward from 1, taking an infinite amount of time, while another person observes this from a frame of reference where this occurs in a finite space of time. For the counter, this is not a supertask, but for the observer, it is. (This could theoretically occur due to <a href="/facts/Time_dilation/fYj7FYbK">time dilation</a>, for example if the observer were falling into a <a href="/facts/Black_hole/1r2lmkcF">black hole</a> while observing a counter whose position is fixed relative to the singularity.) </p><p><a href="/facts/Gustavo_E._Romero/pYylrEHW">Gustavo E. Romero</a> in the paper 'The collapse of supertasks'<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a> maintains that any attempt to carry out a supertask will result in the formation of a <a href="/facts/Black_hole/1r2lmkcF">black hole</a>, making supertasks physically impossible. </p> <h4>Super Turing machines</h4> <p class="note">Main article: <a href="/facts/Hypercomputation/kd5tEVBa">Hypercomputation</a></p> <p>The impact of supertasks on theoretical computer science has triggered some new and interesting work, for example Hamkins and Lewis – "Infinite Time Turing Machine".<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> </p> <h2 id="prominent-supertasks">Prominent supertasks</h2> <h3>Ross–Littlewood paradox</h3> <p class="note">Main article: <a href="/facts/Ross%E2%80%93Littlewood_paradox/10gRIAGk">Ross–Littlewood paradox</a></p> <p>Suppose there is a jar capable of containing infinitely many marbles and an infinite collection of marbles labelled 1, 2, 3, and so on. At time <i>t</i> = 0, marbles 1 through 10 are placed in the jar and marble 1 is taken out. At <i>t</i> = 0.5, marbles 11 through 20 are placed in the jar and marble 2 is taken out; at <i>t</i> = 0.75, marbles 21 through 30 are put in the jar and marble 3 is taken out; and in general at time <i>t</i> = 1 − 0.5<i>n</i>, marbles 10<i>n</i> + 1 through 10<i>n</i> + 10 are placed in the jar and marble <i>n</i> + 1 is taken out. How many marbles are in the jar at time <i>t</i> = 1? </p><p>One argument states that there should be infinitely many marbles in the jar, because at each step before <i>t</i> = 1 the number of marbles increases from the previous step and does so unboundedly. A second argument, however, shows that the jar is empty. Consider the following argument: if the jar is non-empty, then there must be a marble in the jar. Let us say that that marble is labeled with the number <i>n</i>. But at time <i>t</i> = 1 − 0.5<i>n</i> - 1, the <i>n</i>th marble has been taken out, so marble <i>n</i> cannot be in the jar. This is a contradiction, so the jar must be empty. The Ross–Littlewood paradox is that here we have two seemingly perfectly good arguments with completely opposite conclusions. </p> <h3>Benardete's paradox</h3> <p>There has been considerable interest in <a href="/facts/Jos%C3%A9_Benardete/yQafA7Le">J. A. Benardete</a>’s “Paradox of the Gods”:<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a> </p> <blockquote><p>A man walks a mile from a point α. But there is an infinity of gods each of whom, unknown to the others, intends to obstruct him. One of them will raise a barrier to stop his further advance if he reaches the half-mile point, a second if he reaches the quarter-mile point, a third if he goes one-eighth of a mile, and so on ad infinitum. So he cannot even get started, because however short a distance he travels he will already have been stopped by a barrier. But in that case no barrier will rise, so that there is nothing to stop him setting off. He has been forced to stay where he is by the mere unfulfilled intentions of the gods.<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a></p>— M. Clark, Paradoxes from A to Z</blockquote> <h3>Grim Reaper paradox</h3> <p>Inspired by <a href="/facts/Jos%C3%A9_Benardete/yQafA7Le">J. A. Benardete</a>’s paradox regarding an infinite series of assassins,<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> <a href="/facts/David_Chalmers/poKbqEWc">David Chalmers</a> describes the paradox as follows: </p> <blockquote><p> There are countably many grim reapers, one for every positive integer. Grim reaper 1 is disposed to kill you with a scythe at 1pm, if and only if you are still alive then (otherwise his scythe remains immobile throughout), taking 30 minutes about it. Grim reaper 2 is disposed to kill you with a scythe at 12:30 pm, if and only if you are still alive then, taking 15 minutes about it. Grim reaper 3 is disposed to kill you with a scythe at 12:15 pm, and so on. You are still alive just before 12pm, you can only die through the motion of a grim reaper’s scythe, and once dead you stay dead. On the face of it, this situation seems conceivable — each reaper seems conceivable individually and intrinsically, and it seems reasonable to combine distinct individuals with distinct intrinsic properties into one situation. But a little reflection reveals that the situation as described is contradictory. I cannot survive to any moment past 12pm (a grim reaper would get me first), but I cannot be killed (for grim reaper <i>n</i> to kill me, I must have survived grim reaper <i>n</i>+1, which is impossible).<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a></p></blockquote> <p>It has gained significance in philosophy via its use in arguing for a finite past, thereby bearing relevance to the <a href="/facts/Kalam_cosmological_argument/Renot3PF">Kalam cosmological argument</a>.<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a><a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a><a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a><a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a> </p> <h3>Davies' super-machine</h3> <p>Proposed by <a href="/facts/E._Brian_Davies/EGGPP2Po">E. Brian Davies</a>,<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a> this is a machine that can, in the space of half an hour, create an exact replica of itself that is half its size and capable of twice its replication speed. This replica will in turn create an even faster version of itself with the same specifications, resulting in a supertask that finishes after an hour. If, additionally, the machines create a communication link between parent and child machine that yields successively faster bandwidth and the machines are capable of simple arithmetic, the machines can be used to perform brute-force proofs of unknown conjectures. However, Davies also points out that – due to fundamental properties of the real universe such as <a href="/facts/Quantum_mechanics/BRc3Mzgr">quantum mechanics</a>, <a href="/facts/Thermal_noise/ur238TgX">thermal noise</a> and <a href="/facts/Information_theory/qNLH3U5P">information theory</a> – his machine cannot actually be built. </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Actual_infinity/ebBSkEbV">Actual infinity</a> – Concept in the philosophy of mathematics</li> <li><a href="/facts/NP_(complexity)/6muUfVMI">NP (complexity)</a> – Complexity class used to classify decision problems</li> <li><a href="/facts/Paradoxes_of_set_theory/ITr0guN2">Paradoxes of set theory</a></li> <li><a href="/facts/Transcomputational_problem/3WHb41wq">Transcomputational problem</a> – Class of computational problems</li> <li><a href="/facts/Transfinite_number/m2oTjXaj">Transfinite number</a> – Number that is larger than all finite numbers</li> <li><a href="/facts/Zeno_machine/qoHw2jhC">Zeno machine</a> – Hypothetical computational model</li></ul> <ul><li><a href="/facts/James_F._Thomson_(philosopher)/PmTmh0qq">Thomson, James F.</a> (October 1954). "Tasks and Super-Tasks". <i>Analysis</i>. 15 (1): 1–13. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F3326643">10.2307/3326643</a>. <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/3326643">3326643</a>.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://plato.stanford.edu/entries/spacetime-supertasks/">Article on Supertasks in Stanford Encyclopedia of Philosophy</a></li> <li>Cooke, Martin C. (2003). <a href="https://docs.google.com/document/edit?id=1D86gx8yjYXVBTBNEbtPCe4VEQdso6bwAA9ot8sYEY4M&hl=en&pref=2&pli=1">"Infinite Sequences: Finitist Consequence"</a>. <i>Br. J. Philos. Sci</i>. 54 (4): 591–599. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1093%2Fbjps%2F54.4.591">10.1093/bjps/54.4.591</a>.</li> <li><a href="https://www.youtube.com/watch?v=ffUnNaQTfZE">Supertasks - Vsauce (YouTube)</a></li> <li><a href="https://www.chiark.greenend.org.uk/~sgtatham/infinity.html">The Infinity Machine</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>This concept relates to cardinal numbers. <a href="/wiki/Cardinal_number" target="_blank">/wiki/Cardinal_number</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Al-Dhalimy, Haidar; Geyer, Charles (December 2016). "Surreal Time and Ultratasks". The Review of Symbolic Logic. 9 (4). Cambridge University Press: 836–847. doi:10.1017/S1755020316000289. <a href="https://philpapers.org/rec/ALDSTA" target="_blank">https://philpapers.org/rec/ALDSTA</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Clark, Peter; Read, Stephen (December 1984). "Hypertasks". Synthese. 61 (3). Springer Netherlands: 387–390. doi:10.1007/BF00485061. ISSN 1573-0964. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Chakraborti, Chhanda (2006). Logic. Prentice Hall of India. p. 477. ISBN 81-203-2855-8. <a href="81-203-2855-8" target="_blank">81-203-2855-8</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Thomson 1954. - Thomson, James F. (October 1954). "Tasks and Super-Tasks". Analysis. 15 (1): 1–13. doi:10.2307/3326643. JSTOR 3326643. <a href="https://doi.org/10.2307%2F3326643" target="_blank">https://doi.org/10.2307%2F3326643</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>George Boolos. "A curious inference." Journal of Philosophical Logic 16: 1–12. (JSTOR) <a href="/wiki/George_Boolos" target="_blank">/wiki/George_Boolos</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Romero, Gustavo E. (2013). "The collapse of supertasks". arXiv:1309.0144 [physics.hist-ph]. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Hamkins, Joel David (November 2002). "Infinite Time Turing Machines". Minds and Machines. 12 (4): 521–539. arXiv:math/0212047. doi:10.1023/A:1021180801870. <a href="/wiki/Joel_David_Hamkins" target="_blank">/wiki/Joel_David_Hamkins</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Oppy, G.R. (2006). Philosophical Perspectives on Infinity. Cambridge University Press. p. 63. ISBN 978-0-521-86067-3. LCCN 2005021715. <a href="978-0-521-86067-3" target="_blank">978-0-521-86067-3</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Clark, M. (2007). Paradoxes from A to Z. Routledge. p. 75. ISBN 978-0-415-42082-2. LCCN 2007015371. <a href="978-0-415-42082-2" target="_blank">978-0-415-42082-2</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Benardete, José (1964). Infinity: An Essay in Metaphysics. Clarendon Press. p. 259. <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Chalmers, David (2002). Conceivability and Possibility. Clarendon Press. p. 154. <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Koons, Robert (June 2014). "A New Kalam Argument: Revenge of the Grim Reaper". Noûs. 48 (2): 256–267. doi:10.1111/j.1468-0068.2012.00858.x. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>Pruss, Alexander; Rasmussen, Joshua (October 2014). "Time without Creation?". Faith and Philosophy. 31 (4): 401–411. doi:10.5840/faithphil201412819. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>Pruss, Alexander (2018). Infinity, causation, and paradox (First ed.). Oxford University Press. pp. 46–56. ISBN 978-0-19-881033-9. <a href="978-0-19-881033-9" target="_blank">978-0-19-881033-9</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>Pruss, Alexander (2 October 2009). "From the Grim Reaper paradox to the Kalaam argument". <a href="http://alexanderpruss.blogspot.com/2009/10/from-grim-reaper-paradox-to-kalaam.html" target="_blank">http://alexanderpruss.blogspot.com/2009/10/from-grim-reaper-paradox-to-kalaam.html</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>Davies, E. Brian (2001). "Building Infinite Machines" (PDF). Br. J. Philos. Sci. 52 (4): 671–682. doi:10.1093/bjps/52.4.671. Archived from the original (PDF) on 2014-10-23. <a href="/wiki/E._Brian_Davies" target="_blank">/wiki/E._Brian_Davies</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> </ol>