Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: how
Date: Wed, 24 Apr 2024 17:48:06 -0700
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <v0c986$2k49h$1@dont-email.me>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp> <uvuuuk$1kece$3@i2pn2.org>
 <wj6ndzp5J9qndM6Ni-9XZdK6jyw@jntp> <v00skm$1m94c$4@i2pn2.org>
 <x_NkVA7tC4PbuDHgWd_lI0r3UuA@jntp> <v012ji$1m94d$4@i2pn2.org>
 <MhMKLiWFUW2BGqeHumLSqLhBo1I@jntp> <v06q93$1uk1v$3@i2pn2.org>
 <Fr-J6IVJwWMeVOUV5nUftUgP93w@jntp> <v09p60$222fd$4@i2pn2.org>
 <4dXo8hjS-AzHfYNb1eEKYA7PWS4@jntp> <v0boq8$2grsa$1@dont-email.me>
 <v0bqdi$2h1m9$1@dont-email.me> <v0bqfv$2h7fi$3@dont-email.me>
 <v0c7et$2jpq6$2@dont-email.me> <v0c8qe$2k633$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 25 Apr 2024 02:48:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6edf0e9dc415f67140dced1b926e7a8b";
	logging-data="2756913"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19N5YyVk8sIVs1e2/u5IUvW7E2eZHcT09A="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zd2xsAyLZmw4cZPW6PXxYlR5VZ0=
Content-Language: en-US
In-Reply-To: <v0c8qe$2k633$1@dont-email.me>
Bytes: 3373

On 4/24/2024 5:40 PM, Moebius wrote:
> Am 25.04.2024 um 02:17 schrieb Moebius:
>> Am 24.04.2024 um 22:36 schrieb Chris M. Thomasson:
>>
>>> I can say that, well let create a symbol... (XYZ) hold all of the 
>>> natural numbers. Therefore (XYZ) + 1 is already in (XYZ), fair enough?
>>
>> I have to admit that I don't know what you are talking about.
>>
>> We have the symbol "IN" to denote the set of (all) natural numbers.
>>
>> Now: For all n e IN: n + 1 e IN.
>>
>> Is that what you mean? :-)
>>
>> How about:
>>
>> "I can say that, well let introduce a symbol... [that denotes the set 
>> of all natural number, say "IN".] [The set] IN hold all of the natural 
>> numbers. Therefore n + 1 (with n in IN) is already in IN, fair enough?"
>>
>> ?
>>
>> Yeah, fair enough. :-)
>>
>> Though it's not about the symbol (say "IN"), but about the set (it 
>> denotes).
> 
> On second thought... We might DEFINE
> 
>      IN + k := {n + k : n e IN}  (k e IN).
> 
> In this case we might indeed state:
> 
>      IN + 1 c IN
> 
> (since it's true).
> 
> So we might state: "I can say that, well let introduce a symbol that 
> denotes the set of all natural number, say "IN". Then the set IN 
> contains all natural numbers and the set IN + 1 (sse definition above) 
> is a subset of IN, fair enough?"
> 
> Yeah.
> 

1, 1.25, 1.5, 1.75, 2

I this finite section, 1 and 2 are natural, and the other three are not. 
However, they are within the set of natural numbers, but three of them 
cannot be directly represented.

Although, they can be indexed using natural numbers, zero aside for a 
moment:

[0] = 1
[1] = 1.25
[2] = 1.5
[3] = 1.75
[4] = 2

There is an infinity between 1 and 2... They can be indexed using naturals?

;^) Just having some fun with numbers here. Try not to flame me off into 
a dry lake bed. :^)