Re: Does the number of nines increase?

Le 07/07/2024 à 22:25, "Chris M. Thomasson" a écrit :

On 7/7/2024 1:19 PM, WM wrote:

Le 05/07/2024 à 19:09, Jim Burns a écrit :

On 7/5/2024 3:53 AM, WM wrote:

>

But uncountability could only be established by completed infinite sequences, not by finite formulas.

>

Uncountability has been established for {y:N₁→10:¬∃0…}
It has been, historically.
It has been, here, for you (WM).
It could be established again, for you,

>
It is impossible to completely write an infinite digit sequence.
An infinite digit sequence cannot be determined by writing all its terms.
An infinite digit sequence can only be determined by a finite expression.
There are only countably many finite expression.

>
What generated this?
>
.(121232)
>
?

 The finite formula ".(121232)" generated this.