Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.math
Subject: Re: 2N=E
Date: Sat, 26 Oct 2024 02:54:28 +0200
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <vfhek4$3de0q$2@dont-email.me>
References: <vb4rde$22fb4$2@solani.org> <vf3n5v$i1ai$2@dont-email.me>
 <vf3r29$ipdp$1@dont-email.me> <vf52gf$sc1t$2@dont-email.me>
 <d854b742bc974c19b0106fa51222bbb640e2d92d@i2pn2.org>
 <b2090fd4-8329-4c3c-9698-a1e7697040b1@tha.de>
 <6c56b6df33cedd35cac468735501d2d89ad19048@i2pn2.org>
 <vf66uf$128bg$1@dont-email.me>
 <9e98e573c0368690d336299ab78121c3240aa8e7@i2pn2.org>
 <vf8bqn$1gqlu$1@dont-email.me>
 <6310990a57ee5388e4e3a2c280fde00fc1b142ae@i2pn2.org>
 <vf8nre$1ivt6$3@dont-email.me> <vf8r1h$1jnia$1@dont-email.me>
 <3834533883e5a9dbc8546bf3eb425f762f2d0ab3@i2pn2.org>
 <vf9202$1kubs$1@dont-email.me>
 <c2b705b5e27f7c171e819d13313f11983c052506@i2pn2.org>
 <vfbdq4$251r2$1@dont-email.me>
 <6c929080fc639ef2e26217ccd2908b1face54361@i2pn2.org>
 <vfd8hd$2ire9$1@dont-email.me>
 <272433824a6757890727cb76203777dda01dcf1e@i2pn2.org>
 <vfdj9s$2l9bh$2@dont-email.me>
 <b415bcc470029bd4814b226ea14a6a7753125dfd@i2pn2.org>
 <vfdlpk$2llhf$1@dont-email.me> <vfdm42$2llhf$2@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 02:54:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="706a04b542dc316883ba7ed9c15abdee";
	logging-data="3586074"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18Zzje+pHJzpTQiAzlXay4/"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0aZqo2yk2k7V1QC7SIYbu1PmGMY=
Content-Language: de-DE
In-Reply-To: <vfdm42$2llhf$2@dont-email.me>
Bytes: 2909

Am 24.10.2024 um 16:37 schrieb Moebius:
> Am 24.10.2024 um 16:32 schrieb Moebius:
>> Am 24.10.2024 um 15:59 schrieb joes:
>>> Am Thu, 24 Oct 2024 15:49:48 +0200 schrieb WM:
>>
>>>> The [fact] of always even greater ones in [the set of] natural 
>>>> numbers proves
>>>> potential infinity.
>>
>> Nonsense. It proves _actual_ infinity.
> 
> Hint: For any nonempty set of natural numbers M:
> 
>           M is infinite iff for each and every element m in M there's an 
> element m' in M such that m' > m.
> 
> (Note that sets don't change.)

The following approach concerning "|-symbols" might be considered a 
"representation" of "potential infinity":

        Rule 1: We may construct the |-symbol |.

        Rule 2: Given any |-symbol we may construct an |-symbol
                consisting of the given |-symbol followed by |.

        Rule 3: All |-symbols have to be constructed by applying rule 1 
and rule 2 (finitely many times).