{"id":"4918eedc-98a5-4353-95f1-1c31bd505229","arxiv_id":"1908.09865","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"An actually infinite 'Zeno ball' configuration is claimed to be logically inconsistent, so mechanics should be restricted to finite or potentially infinite systems, which restores conservation and determinism.","lead":"This paper argues that an actually infinite line of colliding, zero-size balls can push Newtonian mechanics into a logical contradiction, so the laws should apply only to finite or potentially infinite systems. It adds finite-system simulations that show the incoming ball bouncing, stopping, or slowing, and infers the behavior of the potential-infinite limit.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The contradiction in Section 2 rests on the unproven claim that an infinite set of point masses blocks the AB ball; the sentence 'an infinite number of Zeno balls should have blocked its way' asserts rather than derives the barrier.","rationale":"The reader's verdict of conditional is appropriate. The paper has a clear structure, an explicit four-condition statement of the alleged inconsistency, and a reproducible finite-n algorithm in the appendix. However, the move from 'there is no first Zeno ball to collide with' to 'the AB ball cannot reach 1' is the load-bearing step, and Section 2 only asserts it via the informal barrier sentence. The finite simulations illustrate the potential-infinite behavior but cannot prove a claim about the actual infinite: the authors themselves distinguish the infinite limit from the value at infinity. My concern is not that the conclusion is false; it may be true, and a rigorous derivation from conditions 1-3 plus continuity may exist. It is that the paper does not give that derivation, so the strongest claim—that actual infinity is logically inconsistent—remains conditional on an unstated barrier assumption. I therefore leave the verdict at conditional rather than moving to accept or reject.","tokens_in":7388,"tokens_out":12499,"duration_ms":143970,"concrete_test":"Formalize conditions 1-4 from Section 2 in a first-order theory with continuous trajectories and the collision rule as an axiom, and attempt to derive a contradiction without adding the sentence 'an infinite number of Zeno balls should have blocked its way' as a premise. If no contradiction is derivable unless 'the infinite set is impenetrable' is added, the central claim fails as stated; if a contradiction is derivable from conditions 1-3 plus continuity alone, the paper should be revised to make that derivation explicit, and the reader's concern becomes merely expositional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central inconsistency argument in Section 2 reduces to the sentence 'But this is also impossible, since an infinite number of Zeno balls should have blocked its way.' That sentence is not a consequence of the four listed conditions as stated; it is an additional closure assumption. From conditions 1-3 alone, what follows is only that the AB ball's trajectory would coincide with each Zeno point at times 2^{-k}, and that at each such time condition 3 would force it to rest, while condition 2 requires it to keep moving. Whether these form a formal contradiction depends on how 'come to rest' is interpreted for an infinite, non-well-ordered sequence of collisions: there is no first collision, so the rule does not determine the state after time 0. The finite-n simulations in Section 3 do not close the gap, because the actual infinite system is not simply the n→∞ limit; the paper itself notes a 'discontinuity at infinity.' If a non-standard continuation at the accumulation point is permitted (pass-through, stop at the origin, or Alper-Bridger disappearance), the contradiction need not arise. Thus the claim that actual infinity is logically excluded is load-bearing and undefended in the text.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper considers the Alper–Bridger variant of the Zeno-balls supertask, in which a ball approaches an actually infinite set of point masses located at Zeno points. It argues that the four stated conditions describing this system are logically inconsistent, so that the correct response to supertask arguments for energy non-conservation and indeterminism is to exclude actual infinities from the domain of Newtonian and relativistic mechanics, keeping only finite or potentially infinite systems. The paper derives the final velocity of the moving ball for finite systems of identical balls and presents numerical simulations for geometrically decreasing masses, using these to infer the behavior of the potentially infinite system.","tokens_in":7619,"tokens_out":16575,"duration_ms":181144,"significance":"If the inconsistency claim is correct, the paper would provide a principled resolution of a long-standing debate: supertask-based violations of energy conservation and determinism would be shown not to follow from mechanics, because the scenarios that generate them involve an actual infinity, which falls outside the domain of the laws. The finite-n formula (3) is transparent and useful, and the paper is commendably explicit about the 'discontinuity at infinity' and about the stipulative character of the proposed domain restriction. However, the central logical proof is compressed, and the numerical inference for the potential-infinite case is not rigorously grounded; both points need attention before the main conclusion is established.","major_comments":[{"comment":"The central claim that the Alper–Bridger system is logically inconsistent is asserted too quickly. The sentence 'an infinite number of Zeno balls should have blocked its way' is not derived in the text; condition (3) only says that the moving ball comes to rest when it occupies the same position as a stationary ball, and it does not explicitly say that it remains at rest thereafter. Please expand the argument: after reaching the origin, the AB ball would coincide with a Zeno ball at each time 2^{-k}; by condition (3) and Newton's first law it would then remain at rest, so at time 1 it would have to be both at position 1/2 (from the rest at t=1/2) and at position 1 (from constant motion), a contradiction. If 'comes to rest' is intended as only an instantaneous event, an explicit axiom of permanent rest is needed; as printed, the inconsistency is conditional on an unstated reading.","section":"§2, conditions (1)–(4) and Fig. 1"},{"comment":"The inference from the finite-n simulations to the potential-infinite behaviour relies on the Cesàro mean, but the authors explicitly note that the sequence v_AB does not converge as n→∞. A Cesàro mean is a summability method, not a physical law; different summation methods generally give different limits, so the 'asymptote' read off the smoothed curves is a numerical extrapolation rather than a consequence of Newtonian mechanics. Please either prove (or state as a definition) that the potential-infinite final velocity is the Cesàro or other specified mean of the finite-n results, or present the finite-n results only as numerical illustrations and refine the claim that 'we can easily answer the question as to what happens to the AB ball.'","section":"§3, Figs. 2–4 and the Cesàro-mean passage"},{"comment":"There is a tension between saying that the restriction to potential infinity is 'forced by logic' and the later statement that 'we stipulate that systems involving an actual infinity of elements do not lie within the domain' of mechanics. If the restriction is stipulated, then the paper has not shown that Laraudogoitia-style conclusions are non sequiturs; it has chosen a convention that avoids them. Please state clearly which claim is intended: either the scenario is inconsistent under the stated physical rules (which requires the proof requested above), or the ban is a definitional choice, in which case 'forced by logic' should be withdrawn.","section":"§4, 'forced by logic' and 'we stipulate'"}],"minor_comments":[{"comment":"The collision-update equations in the Appendix appear to have the coefficients in the formula for vnew_{k-1} interchanged; for equal masses the printed formula leaves v_{k-1} unchanged, which contradicts the equal-mass collision behavior described in §3. Please verify and correct the formula.","section":"Appendix"},{"comment":"References [5] and [9] are the same Alper–Bridger paper and should be consolidated; references [3] and [7] are cited as 'to be published' and should be updated with publication data.","section":"References"},{"comment":"The author affiliation line contains 'Netherland s' with a stray space, and §4 contains 'familiar' for 'familiar'; these typos should be corrected.","section":"Miscellaneous typos"},{"comment":"Figure 6's vertical axis labels appear garbled ('10 10 10 10'); please relabel the logarithmic axis with proper powers of ten.","section":"Figure 6"}],"recommendation":"major_revision","confidential_remarks":"The paper's conclusion rests on the completeness of the inconsistency proof in §2, and that proof is currently too compressed. The companion paper I [3] and Peijnenburg–Atkinson [7] are cited as 'to be published,' so the reader cannot fully check the relativistic extension. The numerical appendix also contains an apparent typo in the collision formula. The manuscript is within the scope of the journal if the proof is made explicit; otherwise the philosophical conclusion is premature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nQuick take: this is a short, readable paper arguing that Alper and Bridger's Zeno-ball supertask is logically inconsistent, so actual infinity should be kept out of mechanics. The genuinely new piece is the finite-n numerical study with geometrically decreasing masses; the inconsistency argument itself is explicitly credited to the authors' earlier joint work with Peijnenburg.\n\nWhat it does well: the finite collision mechanics is correct, formula (3) for equal masses is right, and the appendix gives enough detail that the numerical results are reproducible in principle, even without shipped code. The paper is honest about the 'discontinuity at infinity' and about the Cesaro-mean smoothing being a heuristic rather than a theorem. That is good practice for this genre.\n\nThe soft spots are in the philosophical core. Section 2's claim that an infinite set of point masses 'should have blocked its way' is asserted, not derived. The formal four-condition inconsistency does real work only if you accept that the collision rule applies globally to an infinite, non-well-ordered sequence with no first collision. The stress-test note is right that alternative continuations—pass-through, stop at the origin, or Alper-Bridger disappearance—are not genuinely ruled out within the text. The paper's conclusion that actual infinity is logically inconsistent is therefore a bit stronger than what is shown; what is shown is that one particular formalization has no model. That is a legitimate position, but it is a philosophical choice, not a forced theorem.\n\nAlso, the restriction of mechanics to potentially infinite systems is stipulated rather than derived. That is fine as a proposal, but it should be labeled more carefully as a stipulation.\n\nWho is this for? Philosophers of physics working on supertasks and determinism. Physicists will find the numerics trivially correct and the conclusion unsurprising. The paper deserves a serious referee: it engages the literature, is internally consistent, and the numerical extension is new. A referee should press on the barrier assumption and on whether the contradiction survives without condition 4.\n\nMy recommendation: send it to peer review, but with the expectation that the logical-inconsistency claim needs to be either sharpened or softened to 'the conditions are inconsistent given these background assumptions.'","headline":"A clear, honest philosophy-of-physics paper; the new numerics are solid, but the claim that actual infinity is logically inconsistent rests on an asserted barrier rather than a fully derived contradiction.","tokens_in":8104,"tokens_out":7913,"would_cite":true,"duration_ms":84634,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"An actually infinite set of colliding balls is logically inconsistent.","keywords":["supertasks","Zeno balls","actual infinity","potential infinity","energy conservation","determinism","Newtonian mechanics","logical inconsistency"],"falsifier":"The central claim would be settled by finding an explicit solution of the collision equations in which a point mass passes through an infinite accumulating set of stationary point masses without stopping, or by a finite-system simulation in which the approaching ball's final velocity fails to approach the value $\\left(\\frac{m_{AB}-1}{m_{AB}+1}\\right)^{n+1}$ as $n$ increases.","tokens_in":7189,"feed_emoji":"🎱","tokens_out":10496,"duration_ms":93392,"temperature":0.7,"pith_summary":"This paper argues that a scenario with an actually infinite line of stationary point masses at the positions 1, 1/2, 1/4, ..., plus an identical ball approaching from the left, contains a logical contradiction rather than a physical surprise. The approaching ball can collide with none of the stationary balls, yet it also cannot pass them, so the natural conditions describing the system are jointly inconsistent. The authors conclude that actual infinity must be excluded from the domain of mechanics, leaving only finite or potentially infinite collections. If correct, this blocks supertask-based arguments that mechanics fails to conserve energy or to be deterministic, and it removes the possibility of a ball appearing or vanishing at the accumulation point. Finite numerical simulations show the approaching ball either rebounds or comes to rest as the number of stationary balls grows, consistent with the potential-infinite limit.","feed_headline":"Infinite set of colliding balls is logically inconsistent","feed_subtitle":"Supertask claims of energy loss and indeterminism collapse; mechanics holds only for finite or potentially infinite systems.","key_machinery":"The load-bearing structure is the configuration of an infinite array of zero-size point masses with an accumulation point at the origin, together with an approaching point mass. The contradiction is generated by the collision rule that a moving point mass transfers all its momentum to an identical stationary point mass and stops, which implies the traveling ball can never reach a stationary ball because infinitely many others shield the leftmost one, yet it also cannot pass through the infinite array. In the finite approximation, the machinery is the elementary elastic collision law $v_{\\mathrm{new}} = \\frac{M-m}{M+m} v$, iterated to give $v_{AB} = \\left(\\frac{m_{AB}-1}{m_{AB}+1}\\right)^{n+1}$ for $n$ identical unit-mass stationary balls, which determines the approaching ball's final velocity as a function of its mass and the number of balls.","core_discovery":"The central claim is that a configuration of an actually infinite set of stationary point masses at the Zeno points $1, \\frac12, \\frac14, \\ldots$ plus an identical point mass moving at constant speed toward the origin is logically inconsistent. The inconsistency is expressed by four incompatible conditions: the stationary point masses sit at the Zeno points; the traveling point mass moves uniformly and reaches the origin; a moving point mass stops only when it coincides with a stationary one and otherwise continues at constant speed; and the traveling point mass comes to rest before reaching the point $1$. Since these cannot all hold, any conclusion drawn from the scenario—such as the claim that the ball vanishes at the origin, or that energy and determinism fail—is a non sequitur. The paper therefore restricts mechanics to finite or potentially infinite systems and supports this with numerical simulations of finite systems whose behavior approaches a well-defined limit.","pith_inferences":["The inconsistency may be an artifact of idealizing point masses as both zero-size and impenetrable; a model with finite-radius balls or with point masses that can pass one another would not produce the contradiction, suggesting the impenetrability assumption carries the argument.","The same prohibition on actual infinity would apply to any physical idealization that relies on an infinite collection, such as infinite lattices or thermodynamic limits, which are usually treated as potential limits; drawing that boundary is left open.","The paper's finite-system asymptotics yield a concrete check: simulate an incoming ball against a growing chain of stationary balls with decreasing masses and test whether the final velocity converges to the predicted limit, which would test the domain restriction without invoking actual infinity."],"forward_implications":["If actual infinity is excluded from mechanics, the Zeno-ball supertask no longer demonstrates energy nonconservation or indeterminism.","For any finite number of stationary balls, energy and momentum are conserved; the potential-infinite limit inherits these conservation laws.","The inconsistency is present at all times, not just at the moment of arrival at the accumulation point, so no instantaneous disappearance or creation can be singled out.","The domain restriction would also block the time-reversed scenario in which a ball spontaneously appears at the accumulation point.","In finite systems of identical stationary balls, the approaching ball rebounds when lighter than a stationary ball and, when equal or heavier, its final velocity tends to zero as the number of balls grows."],"supporting_citations":[{"why":"Introduces the scenario of a point mass approaching an infinite set of stationary point masses and concludes that it must vanish at the accumulation point; this is the position the paper argues is logically inconsistent.","marker":"[5]"},{"why":"Supplies the logical analysis of inconsistent sets isomorphic to the approaching-ball configuration, used to justify the claim that the four conditions contradict one another.","marker":"[7]"},{"why":"Presents the original Zeno-ball supertask in which energy and momentum are not conserved and determinism fails; the paper argues these conclusions are non sequiturs if actual infinity is excluded.","marker":"[2]"},{"why":"The authors' previous analysis of a generalized supertask with unequal masses, whose conclusions about energy nonconservation and time-reversal invariance the current paper builds on and qualifies by restricting the domain of mechanics.","marker":"[3]"}],"fun_headline_variants":["Infinite ball collisions contradict mechanics logic","Zeno's infinite balls: inconsistent, so restrict laws","Logical inconsistency in infinite colliding balls","Colliding infinity: mechanics only finite or potential"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The conclusion that the approaching ball cannot pass the origin assumes that an infinite set of zero-size point masses with an accumulation point forms an impenetrable barrier; that assumption is asserted rather than derived from collision mechanics, and if the ball could traverse the measure-zero gaps between point masses, the contradiction would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Infinite ball collisions contradict mechanics logic","Zeno's infinite balls: inconsistent, so restrict laws","Logical inconsistency in infinite colliding balls","Colliding infinity: mechanics only finite or potential"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000164,"raw_usage":{"total_tokens":1173,"prompt_tokens":800,"completion_tokens":373,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":416,"completion_tokens_details":{"reasoning_tokens":316}},"tokens_in":416,"tokens_out":373,"duration_ms":4178,"temperature":1.0,"reasoning_tokens":316,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:59:23.925035+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The central claim would be settled by finding an explicit solution of the collision equations in which a point mass passes through an infinite accumulating set of stationary point masses without stopping, or by a finite-system simulation in which the approaching ball's final velocity fails to approach the value $\\left(\\frac{m_{AB}-1}{m_{AB}+1}\\right)^{n+1}$ as $n$ increases.","supporting_citations":[{"cited_title":"Synthese 114, 335-369 (1998)","cited_arxiv_id":null,"evidence_quote":"Introduces the scenario of a point mass approaching an infinite set of stationary point masses and concludes that it must vanish at the accumulation point; this is the position the paper argues is logically inconsistent."},{"cited_title":"To be published in Philosophical Studies","cited_arxiv_id":null,"evidence_quote":"Supplies the logical analysis of inconsistent sets isomorphic to the approaching-ball configuration, used to justify the claim that the four conditions contradict one another."},{"cited_title":"Mind 105, 81-83 (1996)","cited_arxiv_id":null,"evidence_quote":"Presents the original Zeno-ball supertask in which energy and momentum are not conserved and determinism fails; the paper argues these conclusions are non sequiturs if actual infinity is excluded."},{"cited_title":"Infinitely many colliding balls","cited_arxiv_id":null,"evidence_quote":"The authors' previous analysis of a generalized supertask with unequal masses, whose conclusions about energy nonconservation and time-reversal invariance the current paper builds on and qualifies by restricting the domain of mechanics."}],"review_version":1}