Path: ...!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: 2N=E
Date: Sat, 26 Oct 2024 17:55:52 +0200
Message-ID: <vfj3e9$1e96h$1@solani.org>
References: <vb4rde$22fb4$2@solani.org>
 <9c55eda1-bb24-44ae-9158-2a3b354170cd@att.net> <vf2ck9$amc3$1@dont-email.me>
 <4ce512c0-8196-4923-9a6b-359c25fdfa3a@att.net> <vf3ldc$hgts$2@dont-email.me>
 <8418a2e3-bba2-43b4-8c77-3e947a270476@att.net> <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> <351593f2-200c-4df5-a93f-9362b8b2bf91@att.net>
 <vf8qk8$1jkh9$1@dont-email.me> <5b701e07-18aa-42ab-964b-0ca84e1776ca@att.net>
 <fb930b22-7f79-4a10-858d-a1a9faccc9b9@tha.de>
 <e2e906ae-48c5-453b-a38f-94c1ebc9ba6b@att.net> <vfgiqa$38oob$1@dont-email.me>
 <d781add9-cd6b-4fff-9601-111c74f4ae32@att.net> <vfgqa8$39o4h$1@dont-email.me>
 <a45b5e62-4b8c-4428-83ef-8b9bf62d6981@att.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 15:55:53 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1516753"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:3tw42B/lxUqKNVWmhRuwE1pOJFE=
In-Reply-To: <a45b5e62-4b8c-4428-83ef-8b9bf62d6981@att.net>
Content-Language: en-US
X-User-ID: eJwFwQERADEIAzBL8LTdIYfB8C/hE4ZcfSAKXG6EJflMCU8FCv7GXuqrbSa2YupW+Zhf6lpPH2PGHv8w+AE3dxUe
Bytes: 2531
Lines: 26

On 26.10.2024 01:18, Jim Burns wrote:
> On 10/25/2024 3:07 PM, WM wrote:

>> Relevant are only provable mathematical facts:
> 
> Provable:
> ⟦0,n⟧ ⊂ ⟦0,ω⦆  ⇔  ⟦0,n+n⟧ ⊂ ⟦0,ω⦆

True for all natnumbers you can conceive of.
> 
>> When the density is halved the covered interval is doubled.
> 
> Provable:
> 2× : ℕ → 𝔼 : one.to.one
> 𝔼 = 2×(ℕ) ⊂ ℕ

Only for natnumbers you can conceive of.
> 
>> Lossless exchanges do never lose the exchanged.
> 
> Provable:
> |𝔼| = |ℕ\𝔼| = |ℕ|

Only for natnumbers which have almost all natnumbers as successors.
> 
Regards, WM