Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Yes, and I feel bad about rendering their useless carci into dogfood..." -- Badger comics


tech / sci.math / Re: Natural numbers and vases

SubjectAuthor
* Natural numbers and vasesWilliam
+- Re: Natural numbers and vasesRoss A. Finlayson
+* Re: Natural numbers and vasesWM
|+* Re: Natural numbers and vasesWilliam
||`* Re: Natural numbers and vasesWM
|| +- Re: Natural numbers and vasessergio
|| `* Re: Natural numbers and vasesWilliam
||  `* Re: Natural numbers and vasesWM
||   +- Re: Natural numbers and vasessergio
||   `* Re: Natural numbers and vasesWilliam
||    `* Re: Natural numbers and vasesWM
||     +- Re: Natural numbers and vasessergio
||     `* Re: Natural numbers and vasesWilliam
||      +- Re: Natural numbers and vasesFritz Feldhase
||      `* Re: Natural numbers and vasesWM
||       +* Re: Natural numbers and vasesWilliam
||       |+* Re: Natural numbers and vasesGus Gassmann
||       ||`* Re: Natural numbers and vasesFritz Feldhase
||       || `- Re: Natural numbers and vasesGus Gassmann
||       |`* Re: Natural numbers and vasesWM
||       | +- Re: Natural numbers and vasesGus Gassmann
||       | +* Re: Natural numbers and vasesWilliam
||       | |+* Re: Natural numbers and vasesWM
||       | ||+* Re: Natural numbers and vasesWilliam
||       | |||`* Re: Natural numbers and vasesWM
||       | ||| `* Re: Natural numbers and vasesWilliam
||       | |||  +* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |`- Re: Natural numbers and vasessergio
||       | |||  +* Re: Natural numbers and vasesGus Gassmann
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||+- Re: Natural numbers and vasesFromTheRafters
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesGus Gassmann
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesGus Gassmann
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesGus Gassmann
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesGus Gassmann
||       | |||  ||`- Re: Natural numbers and vasesChris M. Thomasson
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesGus Gassmann
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||+* Re: Natural numbers and vasesJim Burns
||       | |||  |||`* Re: Natural numbers and vasesWM
||       | |||  ||| +* Re: Natural numbers and vasesJim Burns
||       | |||  ||| |`* Re: Natural numbers and vasesWM
||       | |||  ||| | +* Re: Natural numbers and vasesJim Burns
||       | |||  ||| | |`* Re: Natural numbers and vasesWM
||       | |||  ||| | | +* Re: Natural numbers and vasesJim Burns
||       | |||  ||| | | |`* Re: Natural numbers and vasesWM
||       | |||  ||| | | | `- Re: Natural numbers and vasessergio
||       | |||  ||| | | `- Re: Natural numbers and vasessergio
||       | |||  ||| | `- Re: Natural numbers and vasessergio
||       | |||  ||| `- Re: Natural numbers and vasessergio
||       | |||  ||`* Re: Natural numbers and vasessergio
||       | |||  || `- Re: Natural numbers and vasesChet Hirasi
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+* Re: Natural numbers and vasesGus Gassmann
||       | |||  ||`- Re: Natural numbers and vasesChet Hirasi
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`* Re: Natural numbers and vasessergio
||       | |||  || `* Re: Natural numbers and vasesWM
||       | |||  ||  `* Re: Natural numbers and vasessergio
||       | |||  ||   +* Re: Natural numbers and vasessergio
||       | |||  ||   |`* Re: Natural numbers and vasesFredJeffries
||       | |||  ||   | `- Re: Natural numbers and vasessergio
||       | |||  ||   `* Re: Natural numbers and vasesChris M. Thomasson
||       | |||  ||    `* Re: Natural numbers and vasessergio
||       | |||  ||     +* Re: Natural numbers and vasesChris M. Thomasson
||       | |||  ||     |`- Re: Natural numbers and vasessergio
||       | |||  ||     `* Re: Natural numbers and vasesChris M. Thomasson
||       | |||  ||      `* Re: Natural numbers and vasessergio
||       | |||  ||       `* Re: Natural numbers and vasesChris M. Thomasson
||       | |||  ||        +* Re: Natural numbers and vasesChris M. Thomasson
||       | |||  ||        |`- Re: Natural numbers and vasessergio
||       | |||  ||        `- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||`- Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  ||+- Re: Natural numbers and vasessergio
||       | |||  ||`* Re: Natural numbers and vasesChris M. Thomasson
||       | |||  || +* Re: Natural numbers and vasesFromTheRafters
||       | |||  || `* Re: Natural numbers and vasessergio
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesGus Gassmann
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesGus Gassmann
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesGus Gassmann
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWilliam
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |+- Re: Natural numbers and vasesWM
||       | |||  |+* Re: Natural numbers and vasesWM
||       | |||  |`* Re: Natural numbers and vasesWM
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vaseszelos...@gmail.com
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vaseszelos...@gmail.com
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vaseszelos...@gmail.com
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vaseszelos...@gmail.com
||       | |||  +- Re: Natural numbers and vaseszelos...@gmail.com
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vasesFritz Feldhase
||       | |||  +- Re: Natural numbers and vaseszelos...@gmail.com
||       | |||  `- Re: Natural numbers and vaseszelos...@gmail.com
||       | ||`- Re: Natural numbers and vasessergio
||       | |`* Re: Natural numbers and vasesWM
||       | +- Re: Natural numbers and vasessergio
||       | `* Re: Natural numbers and vasesJim Burns
||       `- Re: Natural numbers and vasessergio
|+- Re: Natural numbers and vasesRoss A. Finlayson
|`- Re: Natural numbers and vasesFritz Feldhase
+* Re: Natural numbers and vasesChris M. Thomasson
+* Re: Natural numbers and vasesMostowski Collapse
`- Re: Natural numbers and vasesSocratis T.n.p.

Pages:12345678910111213141516171819202122232425262728293031323334353637383940
Re: Natural numbers and vases

<t9muql$1qr2$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105122&group=sci.math#105122

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (sergi o)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Fri, 1 Jul 2022 09:02:59 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9muql$1qr2$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>
<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
<fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com>
<3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com>
<5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="60258"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: sergi o - Fri, 1 Jul 2022 14:02 UTC

On 7/1/2022 6:00 AM, WM wrote:
> William schrieb am Freitag, 1. Juli 2022 um 00:24:51 UTC+2:
>> On Thursday, June 30, 2022 at 6:51:30 PM UTC-3, WM wrote:
>>> William schrieb am Donnerstag, 30. Juni 2022 um 22:14:43 UTC+2:
>
>>>> Piffle. This is true by simple induction on the Peano set |N. Recall induction is valid ∀k∈N
>>> only for the finite collection
>> Piffle. Induction is valid ∀k∈|N
>
> Every k∈|N has ℵo not yet distinguished successors. When and where will all have been distinguished?

What does your definition of "distinguished" say ?

Do you have a definition of "distinguished" at all ?

>
> Regards, WM

Re: Natural numbers and vases

<t9mvcq$7b2$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105125&group=sci.math#105125

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (sergi o)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Fri, 1 Jul 2022 09:12:41 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9mvcq$7b2$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net>
<46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="7522"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: sergi o - Fri, 1 Jul 2022 14:12 UTC

On 7/1/2022 6:09 AM, WM wrote:
> Jim Burns schrieb am Freitag, 1. Juli 2022 um 02:47:25 UTC+2:
>> On 6/29/2022 1:45 PM, WM wrote:
>>
>>> The Peano set has all last numbers
>>> but no last last number.
>> The Peano set contains one and only one subset (itself)
>> which is closed under k --> k+1 and contains 0.
>
> Every k∈|N has ℵo not yet distinguished successors. When and where will all have been distinguished?

you need to distinguish the last k first.

>>
>> Thus,
>> if k is in S, then k+1 is in S
>
> If k has ℵo not yet distinguished successors, then k+1 has ℵo not yet distinguished successors.

No, as k would have k+1 as a "distinguished" successors.

by the way, what is your definition of "distinguished" ? It is not a term used in math at all.

> When will all of them be distinguished?

as soon as you get to the last one.

>>
>> S is closed under k --> k+1
>>
>> ... _and_ S contains 0
>>
>> Therefore,
>> the only subset which S can be is the whole Peano set.
>

>
> Regards, WM

Re: Natural numbers and vases

<29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105132&group=sci.math#105132

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:107:b0:21b:8ef9:96cb with SMTP id o7-20020a056000010700b0021b8ef996cbmr14020050wrx.709.1656689503910;
Fri, 01 Jul 2022 08:31:43 -0700 (PDT)
X-Received: by 2002:aca:b744:0:b0:32f:4c19:cec1 with SMTP id
h65-20020acab744000000b0032f4c19cec1mr9104138oif.43.1656689503479; Fri, 01
Jul 2022 08:31:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.proxad.net!feeder1-1.proxad.net!proxad.net!feeder1-2.proxad.net!209.85.128.87.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Fri, 1 Jul 2022 08:31:43 -0700 (PDT)
In-Reply-To: <21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=156.57.37.70; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 156.57.37.70
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Fri, 01 Jul 2022 15:31:43 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: William - Fri, 1 Jul 2022 15:31 UTC

On Friday, July 1, 2022 at 8:01:01 AM UTC-3, WM wrote:
> William schrieb am Freitag, 1. Juli 2022 um 00:24:51 UTC+2:
> > On Thursday, June 30, 2022 at 6:51:30 PM UTC-3, WM wrote:
> > > William schrieb am Donnerstag, 30. Juni 2022 um 22:14:43 UTC+2:
>
> > > > Piffle. This is true by simple induction on the Peano set |N. Recall induction is valid ∀k∈N
> > > only for the finite collection
> > Piffle. Induction is valid ∀k∈|N
> [Each] k∈|N has ℵo not yet [written down] successors.

So what if they have not been written down? ( "distinguished" is one of you many many many many ways of saying "has been written down"). Despite the misleading term it is not necessary to write down two elements of |N to know that they are different.
--
William Hughes

Re: Natural numbers and vases

<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105135&group=sci.math#105135

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: james.g....@att.net (Jim Burns)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Fri, 1 Jul 2022 12:16:12 -0400
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net>
<46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: reader01.eternal-september.org; posting-host="08bbde4b254852c89625b47cc78ab695";
logging-data="2434105"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+JA/BKVKXFd8TEhszcLk6sqX7XXvHq624="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Cancel-Lock: sha1:Cmf3A3t0FwvJHKTrNo+TrNIj6E8=
Content-Language: en-US
In-Reply-To: <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
 by: Jim Burns - Fri, 1 Jul 2022 16:16 UTC

On 7/1/2022 7:09 AM, WM wrote:
> Jim Burns schrieb
> am Freitag, 1. Juli 2022 um 02:47:25 UTC+2:
>> On 6/29/2022 1:45 PM, WM wrote:

>>> The Peano set has all last numbers
>>> but no last last number.
>>
>> The Peano set contains one and only one subset (itself)
>> which is closed under k --> k+1 and contains 0.
>
> Every k∈|N has ℵo not yet distinguished successors.

Each k ∈ ℕ has |ℕ|-many successors,
distinguished or not,
each of which has fewer than |ℕ|-many predecessors,
distinguished or not.

Infinity is not
a reallyreallyreallyreallyreallyreally
large number.

> When and where will all have been distinguished?

We can make descriptive claims of k ∈ ℕ.
They will be true of each k ∈ ℕ, distinguished or not.

We can extend the claims we make, allowing only
claims that must be true when earlier claims are true.
Because we start with claims that are true of each
k ∈ ℕ, distinguished or not, later claims are
true of each k ∈ ℕ, distinguished or not.

The claims we make about k ∈ ℕ are as unaffected by
the status, distinguished-or-not, of any k ∈ ℕ
as they are unaffected by whether any k ∈ ℕ tastes
like chocolate or collects bubble-gum cards.

I don't know how to answer, but it doesn't matter.

Re: Natural numbers and vases

<b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105210&group=sci.math#105210

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7e90:0:b0:31d:42dd:ca24 with SMTP id w16-20020ac87e90000000b0031d42ddca24mr1086855qtj.670.1656773384157;
Sat, 02 Jul 2022 07:49:44 -0700 (PDT)
X-Received: by 2002:a05:6808:13c5:b0:336:d86f:fab1 with SMTP id
d5-20020a05680813c500b00336d86ffab1mr6711362oiw.7.1656773383950; Sat, 02 Jul
2022 07:49:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 07:49:43 -0700 (PDT)
In-Reply-To: <3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:dc3:3b16:6a8d:3a41;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:dc3:3b16:6a8d:3a41
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com> <b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>
<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com> <e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com> <4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com> <de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
<fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com> <09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com>
<3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com> <885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com>
<5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com> <21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
<t9mqgj$28toh$1@dont-email.me> <3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 14:49:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 11
 by: WM - Sat, 2 Jul 2022 14:49 UTC

Gus Gassmann schrieb am Freitag, 1. Juli 2022 um 15:54:35 UTC+2:
> On Friday, 1 July 2022 at 09:49:34 UTC-3, FromTheRafters wrote:
> > WM wrote on 7/1/2022 :
> [...]
> > > Every k∈|N has ℵo not yet distinguished successors.
> > Try proving that without using induction.
> Even more to the point, try proving it if n is a "dark number".

Impossible.

Regards, WM

Re: Natural numbers and vases

<ce300956-33e5-47f5-9ac9-9ecbb608432dn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105214&group=sci.math#105214

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:4119:b0:470:5504:10a2 with SMTP id kc25-20020a056214411900b00470550410a2mr20601773qvb.59.1656776063692;
Sat, 02 Jul 2022 08:34:23 -0700 (PDT)
X-Received: by 2002:a54:410a:0:b0:335:71b6:f3a with SMTP id
l10-20020a54410a000000b0033571b60f3amr11192350oic.169.1656776063339; Sat, 02
Jul 2022 08:34:23 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 08:34:23 -0700 (PDT)
In-Reply-To: <de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=82.5.156.148; posting-account=9KdpAQoAAAAHk6UQCkS1dsKOLsVDFEUN
NNTP-Posting-Host: 82.5.156.148
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ce300956-33e5-47f5-9ac9-9ecbb608432dn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Sat, 02 Jul 2022 15:34:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 34
 by: zelos...@gmail.com - Sat, 2 Jul 2022 15:34 UTC

torsdag 30 juni 2022 kl. 14:54:29 UTC+1 skrev WM:
> William schrieb am Donnerstag, 30. Juni 2022 um 01:25:26 UTC+2:
> > |N_def is a set. A set does not change.
> ℕ_def is many sets, depending on what elements are defined. It is a collection.

no, it is A set, a singular set that never changes. And N is a subset of it..

> Compare the set of known prime numbers. It is a set now but another set next year. It is a potentially infinite collection.

Set P_Y2022 and set P_Y2023 may very well be different sets, but they are DIFFERENT SETS STILL!

It is not A set that changes!

>
> Further, if ℕ was endless, then ∩{E(k) : k ∈ ℕ} could not be empty, because every endsegment which is not the last one cannot make the intersection empty because there is always another endsegment reducing the intersection further. This would not be possible if the intersection was empty already.

this is false on its own in so many ways.

There is no step by step process. The intersection asks a simple question, which element is in all the sets given?
Because NO element is that, the intersection has NO elements.
>
> Conclusion: An endless set of endsegments cannot have an empty intersection ut only a shrinking one, forever.
>
> Regards, WM

Re: Natural numbers and vases

<t9pq3v$km6$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105215&group=sci.math#105215

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (sergi o)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Sat, 2 Jul 2022 11:01:03 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9pq3v$km6$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>
<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
<fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com>
<3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com>
<5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
<t9mqgj$28toh$1@dont-email.me>
<3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com>
<b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="21190"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: sergi o - Sat, 2 Jul 2022 16:01 UTC

On 7/2/2022 9:49 AM, WM wrote:
> Gus Gassmann schrieb am Freitag, 1. Juli 2022 um 15:54:35 UTC+2:
>> On Friday, 1 July 2022 at 09:49:34 UTC-3, FromTheRafters wrote:
>>> WM wrote on 7/1/2022 :
>> [...]
>>>> Every k∈|N has ℵo not yet distinguished successors.
>>> Try proving that without using induction.
>> Even more to the point, try proving it if n is a "dark number".
>
> Impossible.
>
> Regards, WM

if it is impossible to prove a number is a dark number, there are no dark numbers.

Re: Natural numbers and vases

<a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105219&group=sci.math#105219

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:cd0a:0:b0:470:529e:d0a6 with SMTP id b10-20020a0ccd0a000000b00470529ed0a6mr22498346qvm.12.1656779111310;
Sat, 02 Jul 2022 09:25:11 -0700 (PDT)
X-Received: by 2002:a05:6808:90e:b0:335:6768:1250 with SMTP id
w14-20020a056808090e00b0033567681250mr215418oih.0.1656779110973; Sat, 02 Jul
2022 09:25:10 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 09:25:10 -0700 (PDT)
In-Reply-To: <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 16:25:11 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 7089
 by: WM - Sat, 2 Jul 2022 16:25 UTC

William schrieb am Freitag, 1. Juli 2022 um 17:31:53 UTC+2:
> On Friday, July 1, 2022 at 8:01:01 AM UTC-3, WM wrote:
> > William schrieb am Freitag, 1. Juli 2022 um 00:24:51 UTC+2:
> > > On Thursday, June 30, 2022 at 6:51:30 PM UTC-3, WM wrote:
> > > > William schrieb am Donnerstag, 30. Juni 2022 um 22:14:43 UTC+2:
> >
> > > > > Piffle. This is true by simple induction on the Peano set |N. Recall induction is valid ∀k∈N
> > > > only for the finite collection
> > > Piffle. Induction is valid ∀k∈|N
> > [Each] k∈|N has ℵo not yet [written down] successors.
>
> So what if they have not been written down? ( "distinguished" is one of you many many many many ways of saying "has been written down"). Despite the misleading term it is not necessary to write down two elements of |N to know that they are different.

But there are elements that cannot be distiguished:

For all definable numbers we have the intersection of their endsegments
|∩{E(k) : k ∈ ℕ_def}| = ℵ₀

For all natural numbers, we have the empty intersection of their endsegments:
∩{E(k) : k ∈ ℕ} = { }

The endsegments can only shrink by on number per endsegment
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}

What natural numbers reduce the intersection from ℵ₀ to zero?

They cannot be distinguished. You don't like this fact and don't comment, but it is a fact.

Regards, WM

Re: Natural numbers and vases

<7373be70-848b-41b9-b293-c7f0b67ff220n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105221&group=sci.math#105221

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2408:b0:6b2:3000:3c39 with SMTP id d8-20020a05620a240800b006b230003c39mr10992814qkn.730.1656779649820;
Sat, 02 Jul 2022 09:34:09 -0700 (PDT)
X-Received: by 2002:a05:6870:7d05:b0:108:be11:e57f with SMTP id
os5-20020a0568707d0500b00108be11e57fmr11290291oab.169.1656779649597; Sat, 02
Jul 2022 09:34:09 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 09:34:09 -0700 (PDT)
In-Reply-To: <ce300956-33e5-47f5-9ac9-9ecbb608432dn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <ce300956-33e5-47f5-9ac9-9ecbb608432dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7373be70-848b-41b9-b293-c7f0b67ff220n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 16:34:09 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 7030
 by: WM - Sat, 2 Jul 2022 16:34 UTC

zelos...@gmail.com schrieb am Samstag, 2. Juli 2022 um 17:34:28 UTC+2:
> torsdag 30 juni 2022 kl. 14:54:29 UTC+1 skrev WM:
> > William schrieb am Donnerstag, 30. Juni 2022 um 01:25:26 UTC+2:
> > > |N_def is a set. A set does not change.
> > ℕ_def is many sets, depending on what elements are defined. It is a collection.
> no, it is A set, a singular set that never changes. And N is a subset of it.
>
> > Compare the set of known prime numbers. It is a set now but another set next year. It is a potentially infinite collection.
>
> Set P_Y2022 and set P_Y2023 may very well be different sets, but they are DIFFERENT SETS STILL!
>
> It is not A set that changes!

It is what we call a potentially infinite collection.
>
> >
> > Further, if ℕ was endless, then ∩{E(k) : k ∈ ℕ} could not be empty, because every endsegment which is not the last one cannot make the intersection empty because there is always another endsegment reducing the intersection further. This would not be possible if the intersection was empty already.
>
> this is false on its own in so many ways.

It is fact.
>
> There is no step by step process. The intersection asks a simple question, which element is in all the sets given?

For all definable numbers k we can obtain the process step by step and find the correct result:
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}

> Because NO element is that, the intersection has NO elements.

Correct.
∩{E(k) : k ∈ ℕ} = { }
But for all definable elements we obtain
|∩{E(k) : k ∈ ℕ_def}| = ℵ₀

If the rest is no step by step process, then the only reason can be dark numbers.

Regards, WM

Re: Natural numbers and vases

<t9ps23$1g54$1@gioia.aioe.org>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105222&group=sci.math#105222

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (sergi o)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Sat, 2 Jul 2022 11:34:10 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9ps23$1g54$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>
<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
<fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com>
<3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com>
<5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
<29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
<a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="49316"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: sergi o - Sat, 2 Jul 2022 16:34 UTC

On 7/2/2022 11:25 AM, WM wrote:
> William schrieb am Freitag, 1. Juli 2022 um 17:31:53 UTC+2:
>> On Friday, July 1, 2022 at 8:01:01 AM UTC-3, WM wrote:
>>> William schrieb am Freitag, 1. Juli 2022 um 00:24:51 UTC+2:
>>>> On Thursday, June 30, 2022 at 6:51:30 PM UTC-3, WM wrote:
>>>>> William schrieb am Donnerstag, 30. Juni 2022 um 22:14:43 UTC+2:
>>>
>>>>>> Piffle. This is true by simple induction on the Peano set |N. Recall induction is valid ∀k∈N
>>>>> only for the finite collection
>>>> Piffle. Induction is valid ∀k∈|N
>>> [Each] k∈|N has ℵo not yet [written down] successors.
>>
>> So what if they have not been written down? ( "distinguished" is one of you many many many many ways of saying "has been written down"). Despite the misleading term it is not necessary to write down two elements of |N to know that they are different.
>
> But there are elements that cannot be distiguished:
>
> For all definable numbers we have the intersection of their endsegments
> |∩{E(k) : k ∈ ℕ_def}| = ℵ₀

"_def" is meaningless

>
> For all natural numbers, we have the empty intersection of their endsegments:
> ∩{E(k) : k ∈ ℕ} = { }

finally an admission that the intersection of all endsegments is empty.

>
> The endsegments can only shrink by on number per endsegment
> ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}

Wrong. Sets do not shrink. Also you stop at k.

>
> What natural numbers reduce the intersection from ℵ₀ to zero?

Wrong. the intersection is not an Endsegment

>
> They cannot be distinguished.

wrong, you cannot read and understand equations.

You don't like this fact and don't comment, but it is a fact.

no, it is a spoof. Your silly spoof.

>
> Regards, WM

Re: Natural numbers and vases

<306887f3-ee80-426c-a56d-b6394f877028n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105223&group=sci.math#105223

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:621:b0:432:5e0d:cb64 with SMTP id a1-20020a056214062100b004325e0dcb64mr20641189qvx.65.1656779767637;
Sat, 02 Jul 2022 09:36:07 -0700 (PDT)
X-Received: by 2002:aca:aa97:0:b0:335:21fb:6f83 with SMTP id
t145-20020acaaa97000000b0033521fb6f83mr200482oie.1.1656779767365; Sat, 02 Jul
2022 09:36:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 09:36:07 -0700 (PDT)
In-Reply-To: <t9pq3v$km6$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <t9mqgj$28toh$1@dont-email.me>
<3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com> <b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com>
<t9pq3v$km6$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <306887f3-ee80-426c-a56d-b6394f877028n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 16:36:07 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2944
 by: WM - Sat, 2 Jul 2022 16:36 UTC

sergi o schrieb am Samstag, 2. Juli 2022 um 18:01:13 UTC+2:

> if it is impossible to prove a number is a dark number, there are no dark numbers.

It is possible to prove their existence. Here is a proof (one of many):
For all definable numbers we have the intersection of their endsegments
|∩{E(k) : k ∈ ℕ_def}| = ℵ₀

For all natural numbers, we have the empty intersection of their endsegments:
∩{E(k) : k ∈ ℕ} = { }

The endsegments can only shrink by on number per endsegment
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}

What natural numbers reduce the intersection from ℵ₀ to zero? Can they be named? No they are existing but cannot be named.

Regards, WM

Re: Natural numbers and vases

<3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105224&group=sci.math#105224

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:3cc:b0:317:cdb0:e with SMTP id k12-20020a05622a03cc00b00317cdb0000emr17405759qtx.190.1656780145768;
Sat, 02 Jul 2022 09:42:25 -0700 (PDT)
X-Received: by 2002:a05:6808:1b8d:b0:32f:7995:b32b with SMTP id
cj13-20020a0568081b8d00b0032f7995b32bmr13074380oib.219.1656780145539; Sat, 02
Jul 2022 09:42:25 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 09:42:25 -0700 (PDT)
In-Reply-To: <629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com> <a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com> <518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com> <55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com> <49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com> <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com> <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net> <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 16:42:25 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2898
 by: WM - Sat, 2 Jul 2022 16:42 UTC

Jim Burns schrieb am Freitag, 1. Juli 2022 um 18:16:23 UTC+2:

>
> The claims we make about k ∈ ℕ are as unaffected by
> the status, distinguished-or-not, of any k ∈ ℕ

For all definable numbers we obtain
|∩{E(k) : k ∈ ℕ_def}| = ℵ₀
For all natural numbers k we can obtain the process step by step and find the correct result:
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
But
∩{E(k) : k ∈ ℕ} = { }
No definable number can empty the intersection.
If the step by step process is denied, then the only reason can be dark numbers.

Regards, WM

Re: Natural numbers and vases

<c56ab895-7e9c-4346-bf4c-57719d4192a1n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105226&group=sci.math#105226

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:c91:b0:6af:4b9:4c1b with SMTP id q17-20020a05620a0c9100b006af04b94c1bmr14766925qki.615.1656781580538;
Sat, 02 Jul 2022 10:06:20 -0700 (PDT)
X-Received: by 2002:a05:6870:2483:b0:ed:f721:2734 with SMTP id
s3-20020a056870248300b000edf7212734mr11840727oaq.242.1656781580335; Sat, 02
Jul 2022 10:06:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:06:20 -0700 (PDT)
In-Reply-To: <a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=156.57.37.70; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 156.57.37.70
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
<a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c56ab895-7e9c-4346-bf4c-57719d4192a1n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Sat, 02 Jul 2022 17:06:20 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5982
 by: William - Sat, 2 Jul 2022 17:06 UTC

On Saturday, July 2, 2022 at 1:25:15 PM UTC-3, WM wrote:
> distiguished:

One of your umpteen ways of saying "written down".

>definable

One of your many many many ways of saying "can be written down"
>... natural numbers reduce the intersection from ℵ₀ to zero?

Any infinite subset.

> They cannot be distinguished.

So what? The fact than they cannot be written down does not mean they do not have other properties,

--
William Hughes

Re: Natural numbers and vases

<cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105229&group=sci.math#105229

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:6845:0:b0:6ae:d58a:4131 with SMTP id d66-20020a376845000000b006aed58a4131mr14983758qkc.605.1656782462489;
Sat, 02 Jul 2022 10:21:02 -0700 (PDT)
X-Received: by 2002:a05:6830:4c6:b0:616:b682:eb15 with SMTP id
s6-20020a05683004c600b00616b682eb15mr9364935otd.130.1656782462247; Sat, 02
Jul 2022 10:21:02 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:21:02 -0700 (PDT)
In-Reply-To: <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=156.57.37.70; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 156.57.37.70
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com> <a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com> <518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com> <55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com> <49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com> <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com> <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net> <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net> <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Sat, 02 Jul 2022 17:21:02 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2659
 by: William - Sat, 2 Jul 2022 17:21 UTC

On Saturday, July 2, 2022 at 1:42:31 PM UTC-3, WM wrote:

> For all definable numbers

"all definable numbers" is a finite subset of N and we obtain

> |∩{E(k) : k ∈ ℕ_def}| = ℵ₀

[But]

> {∩{E(k) : k ∈ ℕ} = { }

Indeed for any infinite subset. S, of |N we have {∩{E(k) : k ∈ S} = { }. Your step by step method does not deal with infinite subsets.

--
William Hughes

Re: Natural numbers and vases

<2599c1c5-68e8-4ff2-8e50-512c63f03ee9n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105231&group=sci.math#105231

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:58d0:0:b0:31d:3287:10fe with SMTP id u16-20020ac858d0000000b0031d328710femr11802266qta.557.1656782849309;
Sat, 02 Jul 2022 10:27:29 -0700 (PDT)
X-Received: by 2002:aca:602:0:b0:32e:bf04:f6ea with SMTP id
2-20020aca0602000000b0032ebf04f6eamr12056465oig.221.1656782849032; Sat, 02
Jul 2022 10:27:29 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:27:28 -0700 (PDT)
In-Reply-To: <c56ab895-7e9c-4346-bf4c-57719d4192a1n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
<a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com> <c56ab895-7e9c-4346-bf4c-57719d4192a1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2599c1c5-68e8-4ff2-8e50-512c63f03ee9n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 17:27:29 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 6371
 by: WM - Sat, 2 Jul 2022 17:27 UTC

William schrieb am Samstag, 2. Juli 2022 um 19:06:25 UTC+2:
> On Saturday, July 2, 2022 at 1:25:15 PM UTC-3, WM wrote:

> >... natural numbers reduce the intersection from ℵ₀ to zero?
>
> Any infinite subset.

No, only endsegments can do it, one by one:
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
This rule must not be violated.
>
> > They cannot be distinguished.
>
> So what? The fact than they cannot be written down does not mean they do not have other properties,

It means that the endsegments reducing
|∩{E(k) : k ∈ ℕ_def}| = ℵ₀
to
∩{E(k) : k ∈ ℕ} = { }
are dark.

Regards, WM

Re: Natural numbers and vases

<b295f9a1-bc23-4c99-8826-576ddc640e98n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105233&group=sci.math#105233

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:da2:b0:470:b4ff:58e9 with SMTP id h2-20020a0562140da200b00470b4ff58e9mr22385450qvh.90.1656783089501;
Sat, 02 Jul 2022 10:31:29 -0700 (PDT)
X-Received: by 2002:aca:2303:0:b0:335:24b3:4572 with SMTP id
e3-20020aca2303000000b0033524b34572mr13253859oie.130.1656783089214; Sat, 02
Jul 2022 10:31:29 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:31:28 -0700 (PDT)
In-Reply-To: <a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=82.5.156.148; posting-account=9KdpAQoAAAAHk6UQCkS1dsKOLsVDFEUN
NNTP-Posting-Host: 82.5.156.148
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
<a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b295f9a1-bc23-4c99-8826-576ddc640e98n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Sat, 02 Jul 2022 17:31:29 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 7630
 by: zelos...@gmail.com - Sat, 2 Jul 2022 17:31 UTC

lördag 2 juli 2022 kl. 17:25:15 UTC+1 skrev WM:
> William schrieb am Freitag, 1. Juli 2022 um 17:31:53 UTC+2:
> > On Friday, July 1, 2022 at 8:01:01 AM UTC-3, WM wrote:
> > > William schrieb am Freitag, 1. Juli 2022 um 00:24:51 UTC+2:
> > > > On Thursday, June 30, 2022 at 6:51:30 PM UTC-3, WM wrote:
> > > > > William schrieb am Donnerstag, 30. Juni 2022 um 22:14:43 UTC+2:
> > >
> > > > > > Piffle. This is true by simple induction on the Peano set |N. Recall induction is valid ∀k∈N
> > > > > only for the finite collection
> > > > Piffle. Induction is valid ∀k∈|N
> > > [Each] k∈|N has ℵo not yet [written down] successors.
> >
> > So what if they have not been written down? ( "distinguished" is one of you many many many many ways of saying "has been written down"). Despite the misleading term it is not necessary to write down two elements of |N to know that they are different.
> But there are elements that cannot be distiguished:

distinguished has no meaning in mathematics

>
> For all definable numbers we have the intersection of their endsegments
> |∩{E(k) : k ∈ ℕ_def}| = ℵ₀

false, you keep assuming this but it is false.

>
> For all natural numbers, we have the empty intersection of their endsegments:
> ∩{E(k) : k ∈ ℕ} = { }

given that N c N_def , you should understand that both are empty.

>
> The endsegments can only shrink by on number per endsegment
> ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
>
> What natural numbers reduce the intersection from ℵ₀ to zero?

there is no single specicifc one, how hard is that to fucking understand`

>
> They cannot be distinguished. You don't like this fact and don't comment, but it is a fact.

This is not a fact, this is an empty pointless stupid assertion by you with no mathematical merit

>
> Regards, WM

Re: Natural numbers and vases

<2f83983f-9f01-405d-b350-d435fe8825fan@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105234&group=sci.math#105234

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:21e1:b0:472:efb7:ff0f with SMTP id p1-20020a05621421e100b00472efb7ff0fmr1220019qvj.68.1656783228711;
Sat, 02 Jul 2022 10:33:48 -0700 (PDT)
X-Received: by 2002:a05:6808:1526:b0:337:8fd8:1b4c with SMTP id
u38-20020a056808152600b003378fd81b4cmr5396198oiw.152.1656783228507; Sat, 02
Jul 2022 10:33:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:33:48 -0700 (PDT)
In-Reply-To: <cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com> <a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com> <518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com> <55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com> <49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com> <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com> <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net> <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net> <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
<cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f83983f-9f01-405d-b350-d435fe8825fan@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 17:33:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3255
 by: WM - Sat, 2 Jul 2022 17:33 UTC

William schrieb am Samstag, 2. Juli 2022 um 19:21:07 UTC+2:
> On Saturday, July 2, 2022 at 1:42:31 PM UTC-3, WM wrote:
>
> > For all definable numbers
>
> "all definable numbers" is a finite subset of N and we obtain
> > |∩{E(k) : k ∈ ℕ_def}| = ℵ₀
> [But]
>
> > {∩{E(k) : k ∈ ℕ} = { }
>
> Indeed for any infinite subset. S, of |N we have {∩{E(k) : k ∈ S} = { }. Your step by step method does not deal with infinite subsets.

Why should
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
not be valid for all k?

It is the definition of endsegments {n, n+1, n+2, n+3, ...} --> {n+1, n+2, n+3, ...}. You must deny it in order to maintain unmathematical results. Okay, if you deny mathematics there is no reason to defend mathematical principles.

Regards, WM

Re: Natural numbers and vases

<84993307-db5d-4e4a-9ace-0e83cf2c784bn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105236&group=sci.math#105236

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:2d2:b0:31d:3cd9:2ca7 with SMTP id a18-20020a05622a02d200b0031d3cd92ca7mr5504570qtx.349.1656783448388;
Sat, 02 Jul 2022 10:37:28 -0700 (PDT)
X-Received: by 2002:a05:6808:13c1:b0:335:c146:5e06 with SMTP id
d1-20020a05680813c100b00335c1465e06mr8928721oiw.1.1656783448164; Sat, 02 Jul
2022 10:37:28 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:37:27 -0700 (PDT)
In-Reply-To: <b295f9a1-bc23-4c99-8826-576ddc640e98n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<8c3ae4ce-391d-48ec-8a83-77dd06e9721bn@googlegroups.com> <8c7fdce2-8901-48cd-8b08-3a720d2cae64n@googlegroups.com>
<1524b86f-50c5-432f-b2fe-42a347595755n@googlegroups.com> <70534b9c-d306-48c3-8c09-16eb0269e1c2n@googlegroups.com>
<eec33742-d59e-4f36-bbf8-6ded003d6422n@googlegroups.com> <0860c7f5-9c35-4ff5-9c12-ff14c8a1bb6bn@googlegroups.com>
<1a5a898b-dc9c-4948-9aa6-3231dcf06c15n@googlegroups.com> <237da8ab-8bec-489c-bbbc-c1a43d64bf6an@googlegroups.com>
<c952a918-bf4f-4c9c-8c6c-34bb98452758n@googlegroups.com> <858b03d6-fd8e-45f0-967e-8663b5d6cc47n@googlegroups.com>
<94779ba4-ee8c-43eb-86c8-44b2a253d2e2n@googlegroups.com> <8d2232cc-ad35-460d-90da-80c0deef6847n@googlegroups.com>
<fd833c8d-922e-468f-881c-a33e721e22a2n@googlegroups.com> <a17c74e3-e3a9-4e5d-88a5-8d4f460a2c32n@googlegroups.com>
<f1d6be67-cfc2-4808-882f-fbd23ecde1b1n@googlegroups.com> <849a4540-610e-40c3-90e8-8a1e69ce276en@googlegroups.com>
<t8m7qc$dba$1@gioia.aioe.org> <f18ec10d-8f6d-4b64-a949-926f6479e2ddn@googlegroups.com>
<5ccfc941-be4b-49bd-84b5-69e650cf5706n@googlegroups.com> <3061b621-c848-4fe5-accc-457f5596b4ebn@googlegroups.com>
<8bbc710e-cefa-451e-a57d-9822934a31c4n@googlegroups.com> <c11a3e07-2047-467b-aefa-94b77714f0f9n@googlegroups.com>
<a5d45cf4-305f-4780-aff5-9ef65dd7c1ben@googlegroups.com> <d85ec2bc-9ab1-484f-a444-2868b275b9bbn@googlegroups.com>
<e0778347-ea90-48fb-9dad-1136cdfacbean@googlegroups.com> <02f9d029-1efd-4cad-a7d9-ca8e4d54526an@googlegroups.com>
<05792425-c7de-4a15-b567-35cdf75a1447n@googlegroups.com> <0c3af4fe-5ac9-4389-b83a-0d7d714cf423n@googlegroups.com>
<ca2e9f41-05db-49b7-80a8-5c59f8905ccfn@googlegroups.com> <dcfd2a30-f0b5-4841-b2c6-a14511b8ae34n@googlegroups.com>
<c932be95-f8c4-4245-bf27-d6522a5edb46n@googlegroups.com> <e43830e1-71f1-4b10-8420-6720ddac66dcn@googlegroups.com>
<5db80b1f-578d-4d62-beb4-e32d1d1404f4n@googlegroups.com> <23193bfc-e393-4499-944b-0fbd07c42356n@googlegroups.com>
<2925c9b7-e64c-4380-b634-bbd29f3c7553n@googlegroups.com> <6da43a6b-7707-4c22-a7a4-3fdf304ab0c5n@googlegroups.com>
<18ef0ffb-9c04-49da-9265-ded1376715adn@googlegroups.com> <2cba7a40-ea9c-4d26-b93c-e6ae58803f5bn@googlegroups.com>
<4c858b67-ab0d-42d9-969c-7641c4954a13n@googlegroups.com> <58983fc6-2e05-4eb9-8321-9f46a7772d65n@googlegroups.com>
<8535d7b0-0ce1-45bb-882c-559c43d0038bn@googlegroups.com> <ff5c92e2-1b45-4e21-a85d-ca61fb49cc17n@googlegroups.com>
<83c2688a-016f-4316-808f-de346bd90004n@googlegroups.com> <ad1183b1-2618-4908-809f-ae289f91827en@googlegroups.com>
<eddae54e-8391-483c-bb39-11e02d808d5bn@googlegroups.com> <b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com>
<a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com> <20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com>
<518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com> <b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com>
<55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com> <057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com>
<49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com> <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com> <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com> <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com> <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
<de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com>
<09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com>
<885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com>
<21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <29ec5815-7cf8-415a-996e-c2b61a57016bn@googlegroups.com>
<a4f59081-48ca-47f0-9172-effa842d966dn@googlegroups.com> <b295f9a1-bc23-4c99-8826-576ddc640e98n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <84993307-db5d-4e4a-9ace-0e83cf2c784bn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 17:37:28 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 7025
 by: WM - Sat, 2 Jul 2022 17:37 UTC


zelos...@gmail.com schrieb am Samstag, 2. Juli 2022 um 19:31:34 UTC+2:
> lördag 2 juli 2022 kl. 17:25:15 UTC+1 skrev WM:
> >
> > For all definable numbers we have the intersection of their endsegments
> > |∩{E(k) : k ∈ ℕ_def}| = ℵ₀
> false, you keep assuming this but it is false.

I defined ℕ_def by this property.
> >
> > For all natural numbers, we have the empty intersection of their endsegments:
> > ∩{E(k) : k ∈ ℕ} = { }
> given that N c N_def , you should understand that both are empty.
> >
> > The endsegments can only shrink by on number per endsegment
> > ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
> >
> > What natural numbers reduce the intersection from ℵ₀ to zero?
> there is no single specicifc one, how hard is that to fucking understand`

According to
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
there are single specific endsegments.
> >
> > They cannot be distinguished. You don't like this fact and don't comment, but it is a fact.
> This is not a fact, this is an empty pointless stupid assertion by you with no mathematical merit

No merits are required to observe mathematical rules.

Regards, WM

Re: Natural numbers and vases

<02db1ad9-8fab-4f37-bf07-584c21626260n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105238&group=sci.math#105238

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4eaa:0:b0:470:a8f9:c5dd with SMTP id ed10-20020ad44eaa000000b00470a8f9c5ddmr22666426qvb.100.1656784041982;
Sat, 02 Jul 2022 10:47:21 -0700 (PDT)
X-Received: by 2002:a05:6830:4422:b0:616:ef53:918c with SMTP id
q34-20020a056830442200b00616ef53918cmr9417965otv.151.1656784041768; Sat, 02
Jul 2022 10:47:21 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:47:21 -0700 (PDT)
In-Reply-To: <2f83983f-9f01-405d-b350-d435fe8825fan@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=156.57.37.70; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 156.57.37.70
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com> <a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com> <518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com> <55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com> <49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com> <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com> <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net> <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net> <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
<cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com> <2f83983f-9f01-405d-b350-d435fe8825fan@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <02db1ad9-8fab-4f37-bf07-584c21626260n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Sat, 02 Jul 2022 17:47:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2917
 by: William - Sat, 2 Jul 2022 17:47 UTC

On Saturday, July 2, 2022 at 2:33:53 PM UTC-3, WM wrote:
> > for any infinite subset. S, of |N we have {∩{E(k) : k ∈ S} = { }. Your step by step method does not deal with infinite subsets.
> Why should
> ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
> not be valid

It is valid, So what? There is no k for which {1, 2, ..., k+1} is an infinite set. You say that something is true for each of an infinite number of finite sets. You do not say that something is true for an infinite set.

--
William Hughes

Re: Natural numbers and vases

<t9q0dt$2m4u6$1@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105239&group=sci.math#105239

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: nom...@afraid.org (FromTheRafters)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Sat, 02 Jul 2022 13:48:36 -0400
Organization: Peripheral Visions
Lines: 11
Message-ID: <t9q0dt$2m4u6$1@dont-email.me>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com> <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com> <e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com> <4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com> <de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com> <09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com> <885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com> <21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <t9mqgj$28toh$1@dont-email.me> <3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com> <b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com> <t9pq3v$km6$1@gioia.aioe.org> <306887f3-ee80-426c-a56d-b6394f877028n@googlegroups.com>
Reply-To: erratic.howard@gmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 2 Jul 2022 17:48:45 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="24b63e2838d66670116954c4d23868b6";
logging-data="2823110"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/GQ1F5hFBP4/EBv1h3nGmCSCz96CfLUss="
Cancel-Lock: sha1:x0CPo6LNEQzAanGuDXFM/i55Qg4=
X-Newsreader: MesNews/1.08.06.00-gb
X-ICQ: 1701145376
 by: FromTheRafters - Sat, 2 Jul 2022 17:48 UTC

WM submitted this idea :
> sergi o schrieb am Samstag, 2. Juli 2022 um 18:01:13 UTC+2:
>
>> if it is impossible to prove a number is a dark number, there are no dark
>> numbers.
>
> It is possible to prove their existence. Here is a proof (one of many):
> For all definable numbers we have the intersection of their endsegments
>> ∩{E(k) : k ∈ ℕ_def}| = ℵ₀

So, definable just means finite?

Re: Natural numbers and vases

<6e575f51-c0cc-4698-b09f-65c2e77ed40bn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105240&group=sci.math#105240

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:138c:b0:31d:378d:c5f0 with SMTP id o12-20020a05622a138c00b0031d378dc5f0mr8036194qtk.463.1656784503344;
Sat, 02 Jul 2022 10:55:03 -0700 (PDT)
X-Received: by 2002:a05:6808:1146:b0:337:a9a0:be3e with SMTP id
u6-20020a056808114600b00337a9a0be3emr2421010oiu.99.1656784503140; Sat, 02 Jul
2022 10:55:03 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!feeder.erje.net!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 10:55:02 -0700 (PDT)
In-Reply-To: <t9q0dt$2m4u6$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com> <e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com> <4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com> <de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
<fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com> <09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com>
<3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com> <885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com>
<5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com> <21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
<t9mqgj$28toh$1@dont-email.me> <3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com>
<b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com> <t9pq3v$km6$1@gioia.aioe.org>
<306887f3-ee80-426c-a56d-b6394f877028n@googlegroups.com> <t9q0dt$2m4u6$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6e575f51-c0cc-4698-b09f-65c2e77ed40bn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 17:55:03 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 11
 by: WM - Sat, 2 Jul 2022 17:55 UTC

FromTheRafters schrieb am Samstag, 2. Juli 2022 um 19:48:56 UTC+2:
> WM submitted this idea :

> > For all definable numbers we have the intersection of their endsegments
> >> ∩{E(k) : k ∈ ℕ_def}| = ℵ₀
> So, definable just means finite?

When applied to natural numbers, of course. It means that a FISON {1, 2, 3, ..., n} exists.

Regards, WM

Re: Natural numbers and vases

<808c9570-b537-4cd1-9f7e-a7588728ac57n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105241&group=sci.math#105241

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:248b:b0:6af:4f9b:b0b3 with SMTP id i11-20020a05620a248b00b006af4f9bb0b3mr14684614qkn.408.1656784917431;
Sat, 02 Jul 2022 11:01:57 -0700 (PDT)
X-Received: by 2002:a05:6870:37c1:b0:10b:d3f0:3061 with SMTP id
p1-20020a05687037c100b0010bd3f03061mr34216oai.0.1656784917191; Sat, 02 Jul
2022 11:01:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 11:01:56 -0700 (PDT)
In-Reply-To: <02db1ad9-8fab-4f37-bf07-584c21626260n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:84b3:e95d:a33d:af99:4742;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:84b3:e95d:a33d:af99:4742
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com> <a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com> <518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com> <55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com> <49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com> <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com> <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net> <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net> <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
<cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com> <2f83983f-9f01-405d-b350-d435fe8825fan@googlegroups.com>
<02db1ad9-8fab-4f37-bf07-584c21626260n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <808c9570-b537-4cd1-9f7e-a7588728ac57n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Sat, 02 Jul 2022 18:01:57 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3406
 by: WM - Sat, 2 Jul 2022 18:01 UTC


William schrieb am Samstag, 2. Juli 2022 um 19:47:26 UTC+2:
> On Saturday, July 2, 2022 at 2:33:53 PM UTC-3, WM wrote:
> > > for any infinite subset. S, of |N we have {∩{E(k) : k ∈ S} = { }. Your step by step method does not deal with infinite subsets.
> > Why should
> > ∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k}
> > not be valid
> It is valid, So what? There is no k for which {1, 2, ..., k+1} is an infinite set.

That is clear because there is no infinite k.

> You say that something is true for each of an infinite number of finite sets. You do not say that something is true for an infinite set.

I say that it is true for all natural numbers, none of which is infinite. But in the whole set ℕ there is no exception from
∀k ∈ ℕ : ∩{E(1), E(2), ..., E(k+1)} = ∩{E(1), E(2), ..., E(k)} \ {k} .

Regards, WM

Re: Natural numbers and vases

<t9q1ad$2m7sv$1@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105242&group=sci.math#105242

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: nom...@afraid.org (FromTheRafters)
Newsgroups: sci.math
Subject: Re: Natural numbers and vases
Date: Sat, 02 Jul 2022 14:03:49 -0400
Organization: Peripheral Visions
Lines: 12
Message-ID: <t9q1ad$2m7sv$1@dont-email.me>
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com> <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com> <4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com> <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com> <de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com> <fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com> <09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com> <3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com> <885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com> <5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com> <21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com> <t9mqgj$28toh$1@dont-email.me> <3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com> <b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com> <t9pq3v$km6$1@gioia.aioe.org> <306887f3-ee80-426c-a56d-b6394f877028n@googlegroups.com> <t9q0dt$2m4u6$1@dont-email.me> <6e575f51-c0cc-4698-b09f-65c2e77ed40bn@googlegroups.com>
Reply-To: erratic.howard@gmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 2 Jul 2022 18:03:57 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="24b63e2838d66670116954c4d23868b6";
logging-data="2826143"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/NaZgH4gIYj4tVblj0Ub4eK234C+OpagA="
Cancel-Lock: sha1:2KjBNXApoKz3g9cE6xuCg5WKB7E=
X-ICQ: 1701145376
X-Newsreader: MesNews/1.08.06.00-gb
 by: FromTheRafters - Sat, 2 Jul 2022 18:03 UTC

It happens that WM formulated :
> FromTheRafters schrieb am Samstag, 2. Juli 2022 um 19:48:56 UTC+2:
>> WM submitted this idea :
>
>>> For all definable numbers we have the intersection of their endsegments
>>>> ∩{E(k) : k ∈ ℕ_def}| = ℵ₀
>> So, definable just means finite?
>
> When applied to natural numbers, of course.

Then they are all definable since the natural numbers are already
defined.

Re: Natural numbers and vases

<638efe11-fce6-4d1e-a984-28e082c7cd26n@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105244&group=sci.math#105244

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:410e:b0:6b2:809f:2f62 with SMTP id j14-20020a05620a410e00b006b2809f2f62mr1275289qko.14.1656785657106;
Sat, 02 Jul 2022 11:14:17 -0700 (PDT)
X-Received: by 2002:a05:6870:1607:b0:101:a7a7:3ece with SMTP id
b7-20020a056870160700b00101a7a73ecemr13371045oae.99.1656785656862; Sat, 02
Jul 2022 11:14:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 11:14:16 -0700 (PDT)
In-Reply-To: <808c9570-b537-4cd1-9f7e-a7588728ac57n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=156.57.37.70; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 156.57.37.70
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<b05f9d6a-c08b-4c1f-9d80-588b2bbcb9a0n@googlegroups.com> <a3720ea1-1456-4c0c-978f-10809364116an@googlegroups.com>
<20a1c7a9-811a-40bf-8ef7-d70922d23801n@googlegroups.com> <518e1fc9-3697-4293-a585-144e336d5529n@googlegroups.com>
<b26995b0-668e-4033-b587-ad0972d5eccbn@googlegroups.com> <55c16f2f-539c-488d-93af-dbfb690730e1n@googlegroups.com>
<057758d2-b333-48d5-ab97-8bacf1dcbaa3n@googlegroups.com> <49d9262a-60a6-4532-9120-f6be61dde18cn@googlegroups.com>
<b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com> <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com> <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<8aaf41a4-b53e-518a-a1bf-d82b85c2867d@att.net> <46ae0d54-c839-4645-8ef7-d57b8e18aa2en@googlegroups.com>
<629c3bc3-ca47-8cfc-cdcb-07ec048ab822@att.net> <3e153557-1004-4b45-b929-a746ef13bba6n@googlegroups.com>
<cf1f7e7d-e5a4-4e24-83ca-cef971ba3fc4n@googlegroups.com> <2f83983f-9f01-405d-b350-d435fe8825fan@googlegroups.com>
<02db1ad9-8fab-4f37-bf07-584c21626260n@googlegroups.com> <808c9570-b537-4cd1-9f7e-a7588728ac57n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <638efe11-fce6-4d1e-a984-28e082c7cd26n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Sat, 02 Jul 2022 18:14:17 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2766
 by: William - Sat, 2 Jul 2022 18:14 UTC

On Saturday, July 2, 2022 at 3:02:01 PM UTC-3, WM wrote:
> William schrieb am Samstag, 2. Juli 2022 um 19:47:26 UTC+2:
>>. You do not say that something is true for an infinite set.
> I say that it is true for [each] natural number, none of which is infinite.

Correct. You say that something is true for the elements of |N. You do not say that something is true for |N

--
William Hughes

Re: Natural numbers and vases

<edeb69c8-2710-471a-abff-24f6eb9db21cn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=105249&group=sci.math#105249

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:27ce:b0:470:596b:4e82 with SMTP id ge14-20020a05621427ce00b00470596b4e82mr22471977qvb.118.1656788766268;
Sat, 02 Jul 2022 12:06:06 -0700 (PDT)
X-Received: by 2002:a05:6808:13c5:b0:336:d86f:fab1 with SMTP id
d5-20020a05680813c500b00336d86ffab1mr7265585oiw.7.1656788766041; Sat, 02 Jul
2022 12:06:06 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 2 Jul 2022 12:06:05 -0700 (PDT)
In-Reply-To: <b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=129.173.240.223; posting-account=-eQqtQoAAACZVM-kNEsOn3k7GSvoJoS4
NNTP-Posting-Host: 129.173.240.223
References: <06d0f903-3235-4be2-8653-85563102704fn@googlegroups.com>
<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com> <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
<6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com> <b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>
<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com> <e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com> <4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com> <de94233a-ea5d-42b0-8599-b0adc5fe52b9n@googlegroups.com>
<fa6b088d-ba61-43fb-9b72-6444bb808976n@googlegroups.com> <09bb63e1-408f-4c46-b00f-234db2302357n@googlegroups.com>
<3cd4c5d5-80f6-4a32-8961-efc07d0ba89dn@googlegroups.com> <885db691-bf1e-4c66-a875-bc045e9a8a5bn@googlegroups.com>
<5e97b3ce-1b7a-47e8-98b5-6d8b4a9f8c55n@googlegroups.com> <21607cdb-04a7-4025-b1c7-40817e2f1ebfn@googlegroups.com>
<t9mqgj$28toh$1@dont-email.me> <3095f5b5-219f-4687-8aa5-53892bbe3ca2n@googlegroups.com>
<b6acd787-9230-4247-804f-0314bd951ce0n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <edeb69c8-2710-471a-abff-24f6eb9db21cn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: horand.g...@gmail.com (Gus Gassmann)
Injection-Date: Sat, 02 Jul 2022 19:06:06 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 23
 by: Gus Gassmann - Sat, 2 Jul 2022 19:06 UTC

On Saturday, 2 July 2022 at 11:49:49 UTC-3, WM wrote:
> Gus Gassmann schrieb am Freitag, 1. Juli 2022 um 15:54:35 UTC+2:
> > On Friday, 1 July 2022 at 09:49:34 UTC-3, FromTheRafters wrote:
> > > WM wrote on 7/1/2022 :
> > [...]
> > > > Every k∈|N has ℵo not yet distinguished successors.
> > > Try proving that without using induction.
> > Even more to the point, try proving it if n is a "dark number".
> Impossible.

Good. So now we have

1. There are infinitely many natural numbers.
2. The natural numbers under the standard order are well-ordered.
3. There are infinitely many dark numbers and finitely many "distinguished natural numbers".
4. Every natural number has ℵo not yet distinguished successors.
5. Dark numbers are natural numbers, too.
6. Every dark natural number has ℵo not yet distinguished successors.
7. Statement 6 can not be proven (at least not by the great perfosser).

Please get lost, you confused, lying piece of shit.

Pages:12345678910111213141516171819202122232425262728293031323334353637383940
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor