Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: Simple enough for every reader?
Date: Sat, 17 May 2025 23:20:39 -0700
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <100bu7m$s26m$2@dont-email.me>
References: <100a8cr$ekoh$2@dont-email.me> <100agh5$317i$1@news.muc.de>
 <100ahdf$gdh7$1@dont-email.me> <100alfa$h8lo$1@dont-email.me>
 <100amo0$hjsf$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 18 May 2025 08:20:39 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="948c4301e505b9737d7d4628fa828d3f";
	logging-data="919766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Ed1M9HCdLeVfG+pOucRhsIGf1W9Zp8ec="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:rNmln7zh5tgpxFjJUq1YbgtxkL4=
Content-Language: en-US
In-Reply-To: <100amo0$hjsf$1@dont-email.me>

On 5/17/2025 12:06 PM, FromTheRafters wrote:
> After serious thinking Chris M. Thomasson wrote :
>> On 5/17/2025 10:35 AM, WM wrote:
>>> On 17.05.2025 19:20, Alan Mackenzie wrote:
>>>> WM <wolfgang.mueckenheim@tha.de> wrote:
>>>>> Are you aware of the fact that in
>>>>
>>>>> {1}
>>>>> {1, 2}
>>>>> {1, 2, 3}
>>>>> ...
>>>>> {1, 2, 3, ..., n}
>>>>> ...
>>>>
>>>>> up to every n infinitely many natural numbers of the whole set
>>>>
>>>>> {1, 2, 3, ...}
>>>>
>>>>> are missing? Infinitely many of them will never be mentioned
>>>>> individually. They are dark.
>>>>
>>>> <Yawn>
>>>
>>> Exciting. Many readers claim(ed) that all natural numbers could be 
>>> used as individuals. Further this would be a precondition for 
>>> countability of infinite sets.
>>
>> Show me a dark natural number?
> 
> 666

Another natural number could be first number non-zero, roll a 10 sided, 
faces { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }, die until you get non zero. 
Then, roll 10 sided die evermore...

So build the natural number, roll, oh shit got a zero, roll again, got a 2:

2

Now Roll, roll, roll, roll, ...

279304...

We are building a natural number digit by digit using random rolls, the 
first roll needs to be higher that zero... Fair enough? They will all be 
natural numbers, right?