# Math paradox: putting infinite number of balls in a box

**URL:** <https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841>\
**Category:** Factual Questions\
**Created:** [September 5, 2018, 11:15pm UTC](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841 "2018-09-05T23:15:55Z")\
**Posts on this page:** 5\
**Page:** 4

<div class="post-metadata">

**Author:** ![Sage\_Rat](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/sage_rat/32/399_2.png) [@Sage\_Rat](https://boards.straightdope.com/u/Sage_Rat)\
**Post date:** [September 7, 2018, 12:22pm UTC](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841/61 "2018-09-07T12:22:35Z")

</div>

I have no answer for the OP (and am not a mathematician), but infinite series seem to tie well into p-adic analysis so there might be a definite answer there that resolves any question of paradox.

Granted, Google isn’t presenting any results along this line and I doubt that any of us could perform such an analysis, so the point is moot, but perhaps someone will come across this one day and give 'er a go.

---

<div class="post-metadata">

**Author:** ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)\
**Post date:** [September 7, 2018, 2:18pm UTC](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841/62 "2018-09-07T14:18:07Z")

</div>

The nature of the paradox seems to be not in an answer but in an ill-formed question. “after you have performed step N for all natural numbers N” You can never perform this for all natural numbers. The line of thinking that says you have no balls left in the box assumes you will at some point run out of natural numbers for putting in new balls, and yet continue to take out existing balls. I do not see how that reasoning can be valid. You can gin up this business about halving the time to perform an operation and therefore say that by noon you have processed all natural numbers, but by this logic noon is just a limit and you will never actually reach noon. (IANAM so this is a layman’s argument that doesn’t have the rigor that would be needed to prove this.)

As far as an ever-diminished time needed to perform each step, you would eventually reach the Planck time, where it is debatable whether any further subdivision of time has meaning.

---

<div class="post-metadata">

**Author:** ![DPRK](https://avatars.discourse-cdn.com/v4/letter/d/4491bb/32.png) [@DPRK](https://boards.straightdope.com/u/DPRK)\
**Post date:** [September 7, 2018, 3:00pm UTC](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841/63 "2018-09-07T15:00:41Z")

</div>

The ‛infinity paradox’ [number of balls in a box grows without bound while every ball is eventually removed] appears in Littlewood’s book (1953), but is likely a bit of folklore that was and still is making the rounds at fashionable dinner parties; compare a different puzzle\* that he writes ‛swept Europe a good many years ago and in one way or another has appeared in a number of books.’ The Wiki article does not say anything about the history beyond it having been described by Littlewood, but maybe someone reading this knows something more? Paging especially anyone 90+ years old…

As for the paradox itself, like Hilbert’s hotel, it is supposed to provide food for thought and illustrate some counterintuitive phaenomena when reasoning about the infinite, but there is no actual contradiction or mathematical difficulty, in case anyone was confused. (In particular, all this discussion of how one would go about physically performing an infinite number of steps is beside the point.)  
\*For the curious: Three ladies, A, B, C in a railway carriage all have dirty faces and are all laughing. It suddenly flashes on A: why doesn’t B realize C is laughing at her ?— Heavens ! _I_ must be laughable.

---

<div class="post-metadata">

**Author:** ![Riemann](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/riemann/32/3133_2.png) [@Riemann](https://boards.straightdope.com/u/Riemann)\
**Post date:** [September 7, 2018, 7:31pm UTC](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841/64 "2018-09-07T19:31:41Z")

</div>

> [@DPRK](#):
>
> \*For the curious: Three ladies, A, B, C in a railway carriage all have dirty faces and are all laughing. It suddenly flashes on A: why doesn’t B realize C is laughing at her ?— Heavens ! _I_ must be laughable.

Was this the origin of the well known logic puzzle, I forget the usual name - often formulated as 100 silent monks who are all perfect logicians, with red or blue dots painted on their foreheads and no mirror…

---

<div class="post-metadata">

**Author:** ![DPRK](https://avatars.discourse-cdn.com/v4/letter/d/4491bb/32.png) [@DPRK](https://boards.straightdope.com/u/DPRK)\
**Post date:** [September 7, 2018, 7:57pm UTC](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841/65 "2018-09-07T19:57:19Z")

</div>

> [@Riemann](#):
>
> Was this the origin of the well known logic puzzle, I forget the usual name - often formulated as 100 silent monks who are all perfect logicians, with red or blue dots painted on their foreheads and no mirror…

Apparently:

> [@John E. Littlewood](#):
>
> This is genuine mathematical reasoning, and surely with minimum material. But further, what has not got into the books so far as I know, there is an extension, in principle, to n ladies, all dirty and all laughing. There is an induction : in the (n+1)-situation A argues : if I am not laughable, B, C, … constitute an n-situation and B would stop laughing, but does not.

[Previous page](https://boards.straightdope.com/t/math-paradox-putting-infinite-number-of-balls-in-a-box/820841.md?page=3)
