Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Matter will be damaged in direct proportion to its value.


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

<4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:fb10:0:b0:207:af88:1eb9 with SMTP id c16-20020adffb10000000b00207af881eb9mr4089734wrr.238.1656521418665;
Wed, 29 Jun 2022 09:50:18 -0700 (PDT)
X-Received: by 2002:aca:5a0a:0:b0:32e:9c9e:fb0d with SMTP id
o10-20020aca5a0a000000b0032e9c9efb0dmr3835870oib.151.1656521418075; Wed, 29
Jun 2022 09:50:18 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 09:50:17 -0700 (PDT)
In-Reply-To: <b9348d29-b2d5-48b1-9c04-040a1bcaa7a7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 16:50:18 +0000
Content-Type: text/plain; charset="UTF-8"
 by: WM - Wed, 29 Jun 2022 16:50 UTC

Fritz Feldhase schrieb am Mittwoch, 29. Juni 2022 um 18:37:01 UTC+2:
> On Wednesday, June 29, 2022 at 6:24:22 PM UTC+2, WM wrote:
>
> > Induction can be used to show that <bla bla>
>
> Induction proves statements of the form "An e IN: Phi[n]". In other words, it proves that Phi[n] holds for ALL n in IN (if so).

For ALL n in IN_def, to be precise. But IN_def is often called |N.

Regards, WM

Re: Natural numbers and vases

<2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:2c8:b0:21d:1660:e32 with SMTP id o8-20020a05600002c800b0021d16600e32mr4040963wry.99.1656521767943;
Wed, 29 Jun 2022 09:56:07 -0700 (PDT)
X-Received: by 2002:aca:b744:0:b0:32f:4c19:cec1 with SMTP id
h65-20020acab744000000b0032f4c19cec1mr2574546oif.43.1656521767448; Wed, 29
Jun 2022 09:56:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 09:56:07 -0700 (PDT)
In-Reply-To: <4f2ca2c0-86d6-4b88-9d86-44a14ef10e2bn@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 16:56:07 +0000
Content-Type: text/plain; charset="UTF-8"
 by: William - Wed, 29 Jun 2022 16:56 UTC

On Wednesday, June 29, 2022 at 1:50:27 PM UTC-3, WM wrote:
> Fritz Feldhase schrieb am Mittwoch, 29. Juni 2022 um 18:37:01 UTC+2:

> > Induction proves statements of the form "An e IN: Phi[n]". In other words, it proves that Phi[n] holds for ALL n in IN (if so).
> For ALL n in IN_def, to be precise.

Nope, |N_def is the proper subset of of |N consisting of elements that can be written down. n must be an element of |N there is no need for n to be an element of |N _def

--
William Hughes

Re: Natural numbers and vases

<c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:ca:b0:21b:8082:7518 with SMTP id q10-20020a05600000ca00b0021b80827518mr4014441wrx.124.1656521781855;
Wed, 29 Jun 2022 09:56:21 -0700 (PDT)
X-Received: by 2002:a05:6870:a78f:b0:101:d05b:fa3f with SMTP id
x15-20020a056870a78f00b00101d05bfa3fmr2447985oao.221.1656521781329; Wed, 29
Jun 2022 09:56:21 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!pasdenom.info!usenet-fr.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: Wed, 29 Jun 2022 09:56:21 -0700 (PDT)
In-Reply-To: <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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> <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 16:56:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 16:56 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 18:45:45 UTC+2:
> On Wednesday, June 29, 2022 at 1:24:22 PM UTC-3, WM wrote:
> > Induction can be used to show that n [can be written down].
>
> Nope. The fact that m can be written down does not mean that the successor of m can be written down (there may be sufficient resources to write m down but not sufficient resources to write the successor of m down)

That is not a matter of ressources but of principle. For all Peano numbers we have

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

For all natural numbers we have

|∩{E(k) : k ∈ ℕ}| = 0 .

Regards, WM

Re: Natural numbers and vases

<e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:f581:0:b0:21d:1e01:e9b7 with SMTP id f1-20020adff581000000b0021d1e01e9b7mr4016545wro.529.1656522005518;
Wed, 29 Jun 2022 10:00:05 -0700 (PDT)
X-Received: by 2002:a05:6830:1216:b0:616:e7e6:501a with SMTP id
r22-20020a056830121600b00616e7e6501amr1947057otp.311.1656522004810; Wed, 29
Jun 2022 10:00:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 10:00:04 -0700 (PDT)
In-Reply-To: <2ccc865d-16c0-4a49-9943-d8f133273f35n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e35cd52f-3a06-4d41-8707-295f849877dbn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 17:00:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 17:00 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 18:56:18 UTC+2:
> On Wednesday, June 29, 2022 at 1:50:27 PM UTC-3, WM wrote:
> > Fritz Feldhase schrieb am Mittwoch, 29. Juni 2022 um 18:37:01 UTC+2:
>
> > > Induction proves statements of the form "An e IN: Phi[n]". In other words, it proves that Phi[n] holds for ALL n in IN (if so).
> > For ALL n in IN_def, to be precise.
> Nope, |N_def is the proper subset of of |N consisting of elements that can be written down. n must be an element of |N there is no need for n to be an element of |N _def
>
∩{E(1), E(2), ..., E(k)} =/= { } ==> ∩{E(1), E(2), ..., E(k+1)} =/= { }

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

Regards, WM

Re: Natural numbers and vases

<t9i0s9$hhm$1@gioia.aioe.org>

  copy mid

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

  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: Wed, 29 Jun 2022 12:07:19 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9i0s9$hhm$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@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>
<791f417d-7047-4369-a225-4adeeb723260n@googlegroups.com>
<d3cdc002-8629-4742-92cf-3983cea673a7n@googlegroups.com>
<a0dfa8d4-8e69-407c-a01e-5f7dce3c2c2en@googlegroups.com>
<cecb853b-dbd6-4b63-a6ac-0f69fb753c25n@googlegroups.com>
<1886e434-aa4f-46b5-8432-4314120802c7n@googlegroups.com>
<80c3acaf-1fb3-4bf6-96d7-f860afd0110en@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="17974"; 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 - Wed, 29 Jun 2022 17:07 UTC

On 6/29/2022 11:48 AM, WM wrote:
> Fritz Feldhase schrieb am Mittwoch, 29. Juni 2022 um 18:39:43 UTC+2:
>> On Wednesday, June 29, 2022 at 6:18:33 PM UTC+2, WM wrote:
>>>
>>> It follows by definition.
>>
>> You didn't state a proper definition
>
> The definition for ℕ_def has been given here: |∩{E(k) : k ∈ ℕ_def}| = ℵ₀.

Or

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

so now you are saying ℕ_def is an infinite set ?

> Only endsegments are collected which do not reduce the intersection below ℵ₀.

"collected", and "reduce" has no meaning in mathematics.

>
> Regards, WM

Re: Natural numbers and vases

<7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:d229:0:b0:21a:3916:84ff with SMTP id k9-20020adfd229000000b0021a391684ffmr4069985wrh.349.1656522591779;
Wed, 29 Jun 2022 10:09:51 -0700 (PDT)
X-Received: by 2002:a05:6870:f6a8:b0:da:cf54:dc14 with SMTP id
el40-20020a056870f6a800b000dacf54dc14mr2535995oab.43.1656522591051; Wed, 29
Jun 2022 10:09:51 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.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: Wed, 29 Jun 2022 10:09:50 -0700 (PDT)
In-Reply-To: <e35cd52f-3a06-4d41-8707-295f849877dbn@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 17:09:51 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: William - Wed, 29 Jun 2022 17:09 UTC

On Wednesday, June 29, 2022 at 2:00:16 PM UTC-3, WM wrote:

> ∩{E(1), E(2), ..., E(k)} =/= { } ==> ∩{E(1), E(2), ..., E(k+1)} =/= { }

If there is a last endsection the intersection is not null

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

If there is no last endsection the intersection is null.

--
William Hughes

Re: Natural numbers and vases

<6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:600c:4fd0:b0:39c:6565:31a0 with SMTP id o16-20020a05600c4fd000b0039c656531a0mr4852988wmq.142.1656522841788;
Wed, 29 Jun 2022 10:14:01 -0700 (PDT)
X-Received: by 2002:a05:6808:1202:b0:322:dc37:2c3b with SMTP id
a2-20020a056808120200b00322dc372c3bmr3624162oil.298.1656522841230; Wed, 29
Jun 2022 10:14:01 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 10:14:01 -0700 (PDT)
In-Reply-To: <c92c9a16-1eac-4bd4-8429-06a4362b0683n@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> <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com>
<c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 17:14:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: William - Wed, 29 Jun 2022 17:14 UTC

On Wednesday, June 29, 2022 at 1:56:31 PM UTC-3, WM wrote:
For all Peano numbers we have
> |∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .

Nope |N_def if finite so it cannot be "all Peano numbers".

--
William Hughes

Re: Natural numbers and vases

<0b17e01a-6d78-4db0-8b94-3dc41fb35e77n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a5d:5847:0:b0:21b:e465:1e5e with SMTP id i7-20020a5d5847000000b0021be4651e5emr4180324wrf.584.1656522847308;
Wed, 29 Jun 2022 10:14:07 -0700 (PDT)
X-Received: by 2002:a05:6870:338e:b0:f3:1a36:9485 with SMTP id
w14-20020a056870338e00b000f31a369485mr3536267oae.277.1656522846717; Wed, 29
Jun 2022 10:14:06 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 10:14:06 -0700 (PDT)
In-Reply-To: <80c3acaf-1fb3-4bf6-96d7-f860afd0110en@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=129.173.240.93; posting-account=-eQqtQoAAACZVM-kNEsOn3k7GSvoJoS4
NNTP-Posting-Host: 129.173.240.93
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> <791f417d-7047-4369-a225-4adeeb723260n@googlegroups.com>
<d3cdc002-8629-4742-92cf-3983cea673a7n@googlegroups.com> <a0dfa8d4-8e69-407c-a01e-5f7dce3c2c2en@googlegroups.com>
<cecb853b-dbd6-4b63-a6ac-0f69fb753c25n@googlegroups.com> <1886e434-aa4f-46b5-8432-4314120802c7n@googlegroups.com>
<80c3acaf-1fb3-4bf6-96d7-f860afd0110en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0b17e01a-6d78-4db0-8b94-3dc41fb35e77n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: horand.g...@gmail.com (Gus Gassmann)
Injection-Date: Wed, 29 Jun 2022 17:14:07 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Gus Gassmann - Wed, 29 Jun 2022 17:14 UTC

On Wednesday, 29 June 2022 at 13:48:13 UTC-3, WM wrote:
[...]
> The definition for ℕ_def has been given here: |∩{E(k) : k ∈ ℕ_def}| = ℵ₀.

The great perfessor doesn't have a clue what a definition is supposed to even look like. Hint: It has to start with something like ℕ_def = {k ∈ ℕ : ...}. What is "..."? Second hint: The string "..." cannot contain "ℕ_def".

Re: Natural numbers and vases

<8ab76c13-7130-40c2-b45b-4cec0623a135n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:2c6:b0:21b:ad3e:5368 with SMTP id o6-20020a05600002c600b0021bad3e5368mr4325048wry.60.1656524013245;
Wed, 29 Jun 2022 10:33:33 -0700 (PDT)
X-Received: by 2002:a05:6870:1607:b0:101:a7a7:3ece with SMTP id
b7-20020a056870160700b00101a7a73ecemr3634528oae.99.1656524012683; Wed, 29 Jun
2022 10:33:32 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 10:33:32 -0700 (PDT)
In-Reply-To: <6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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> <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com>
<c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com> <6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8ab76c13-7130-40c2-b45b-4cec0623a135n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 17:33:33 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 17:33 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 19:14:11 UTC+2:
> On Wednesday, June 29, 2022 at 1:56:31 PM UTC-3, WM wrote:
> For all Peano numbers we have
> > |∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .
> Nope |N_def if finite so it cannot be "all Peano numbers".

It has no upper bound. So it is all Peano numbers.

Regards, WM

Re: Natural numbers and vases

<66bc1dd1-4829-42da-b291-e0d514f3a834n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a5d:4308:0:b0:219:e5a4:5729 with SMTP id h8-20020a5d4308000000b00219e5a45729mr4509375wrq.210.1656524549929;
Wed, 29 Jun 2022 10:42:29 -0700 (PDT)
X-Received: by 2002:a9d:60d5:0:b0:616:bc81:d53d with SMTP id
b21-20020a9d60d5000000b00616bc81d53dmr1983332otk.382.1656524549383; Wed, 29
Jun 2022 10:42:29 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 10:42:29 -0700 (PDT)
In-Reply-To: <8ab76c13-7130-40c2-b45b-4cec0623a135n@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> <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com>
<c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com> <6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com>
<8ab76c13-7130-40c2-b45b-4cec0623a135n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <66bc1dd1-4829-42da-b291-e0d514f3a834n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 17:42:29 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: William - Wed, 29 Jun 2022 17:42 UTC

On Wednesday, June 29, 2022 at 2:33:43 PM UTC-3, WM wrote:
∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .
> > Nope |N_def if finite so it cannot be "all Peano numbers".
> It has no upper bound

Piffle. The subset of numbers that can be written down has an upper bound

--
William Hughes

Re: Natural numbers and vases

<5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:cf01:0:b0:21d:2e0a:2cb3 with SMTP id o1-20020adfcf01000000b0021d2e0a2cb3mr3183400wrj.402.1656524749610;
Wed, 29 Jun 2022 10:45:49 -0700 (PDT)
X-Received: by 2002:a05:6830:2706:b0:60c:7f84:8ab9 with SMTP id
j6-20020a056830270600b0060c7f848ab9mr1969174otu.243.1656524749076; Wed, 29
Jun 2022 10:45:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 10:45:48 -0700 (PDT)
In-Reply-To: <7460d54b-c243-4516-957f-f02ecc4c25f5n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5225b55a-9ac3-4596-be42-384068d6ce6dn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 17:45:49 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 17:45 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 19:10:02 UTC+2:
> On Wednesday, June 29, 2022 at 2:00:16 PM UTC-3, WM wrote:
>
> > ∩{E(1), E(2), ..., E(k)} =/= { } ==> ∩{E(1), E(2), ..., E(k+1)} =/= { }
> If there is a last endsection the intersection is not null

The Peano set has all last numbers but no last last number.

> > But ∩{E(k) : k ∈ ℕ} = { }
> If there is no last endsection the intersection is null.

For every not last endsection the intersection is not null. So, if there is no last endsection, the intersection is not null.

Regards, WM

Re: Natural numbers and vases

<ab9a3830-b7a4-4334-9794-3b6466137824n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:ca:b0:21b:8082:7518 with SMTP id q10-20020a05600000ca00b0021b80827518mr4254472wrx.124.1656525376802;
Wed, 29 Jun 2022 10:56:16 -0700 (PDT)
X-Received: by 2002:aca:b744:0:b0:32f:4c19:cec1 with SMTP id
h65-20020acab744000000b0032f4c19cec1mr2750402oif.43.1656525376319; Wed, 29
Jun 2022 10:56:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 10:56:16 -0700 (PDT)
In-Reply-To: <66bc1dd1-4829-42da-b291-e0d514f3a834n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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> <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com>
<c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com> <6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com>
<8ab76c13-7130-40c2-b45b-4cec0623a135n@googlegroups.com> <66bc1dd1-4829-42da-b291-e0d514f3a834n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ab9a3830-b7a4-4334-9794-3b6466137824n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 17:56:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 17:56 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 19:42:39 UTC+2:
> On Wednesday, June 29, 2022 at 2:33:43 PM UTC-3, WM wrote:
> ∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .
> > > Nope |N_def if finite so it cannot be "all Peano numbers".
> > It has no upper bound
> Piffle. The subset of numbers that can be written down has an upper bound

No.

Try to write it. I will surpass you.

Regards, WM

Re: Natural numbers and vases

<6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:695:b0:21a:3a1a:7b60 with SMTP id bo21-20020a056000069500b0021a3a1a7b60mr4260865wrb.441.1656525581022;
Wed, 29 Jun 2022 10:59:41 -0700 (PDT)
X-Received: by 2002:a05:6870:f6a8:b0:da:cf54:dc14 with SMTP id
el40-20020a056870f6a800b000dacf54dc14mr2671499oab.43.1656525580530; Wed, 29
Jun 2022 10:59:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 10:59:40 -0700 (PDT)
In-Reply-To: <5225b55a-9ac3-4596-be42-384068d6ce6dn@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 17:59:41 +0000
Content-Type: text/plain; charset="UTF-8"
 by: William - Wed, 29 Jun 2022 17:59 UTC

On Wednesday, June 29, 2022 at 2:45:58 PM UTC-3, WM wrote:

> The Peano set has all last numbers but no last last number.

Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.

--
William Hughes

Re: Natural numbers and vases

<6dcf4354-6bf1-9b3b-ab7a-d9bd2140bdc9@att.net>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!news.freedyn.de!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: Wed, 29 Jun 2022 14:02:11 -0400
Organization: A noiseless patient Spider
Lines: 96
Message-ID: <6dcf4354-6bf1-9b3b-ab7a-d9bd2140bdc9@att.net>
References: <06d0f903-3235-4be2-8653-85563102704fn@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>
<791f417d-7047-4369-a225-4adeeb723260n@googlegroups.com>
<d3cdc002-8629-4742-92cf-3983cea673a7n@googlegroups.com>
<a0dfa8d4-8e69-407c-a01e-5f7dce3c2c2en@googlegroups.com>
<cecb853b-dbd6-4b63-a6ac-0f69fb753c25n@googlegroups.com>
<1886e434-aa4f-46b5-8432-4314120802c7n@googlegroups.com>
<80c3acaf-1fb3-4bf6-96d7-f860afd0110en@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="3ed3b011815159b83715e45111f0985f";
logging-data="1591507"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/4g5vD5ISmbF590KJidItHCh5Y4SVMJcY="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.10.0
Cancel-Lock: sha1:3jW5sOEnjSWt28EL7ZCYDao6qoY=
Content-Language: en-US
In-Reply-To: <80c3acaf-1fb3-4bf6-96d7-f860afd0110en@googlegroups.com>
 by: Jim Burns - Wed, 29 Jun 2022 18:02 UTC

On 6/29/2022 12:48 PM, WM wrote:
> Fritz Feldhase schrieb
> am Mittwoch, 29. Juni 2022 um 18:39:43 UTC+2:
>> On Wednesday, June 29, 2022 at 6:18:33 PM UTC+2,
>> WM wrote:

>>> It follows by definition.
>>
>> You didn't state a proper definition
>
> The definition for ℕ_def has been given here:
> |∩{E(k) : k ∈ ℕ_def}| = ℵ₀.

That is not a proper definition.

This is a proper definition:

<WM<JB<WM>>>
>>>
>>> By the axiom of separation these endsegments
>>> can be collected in a set ℕ_def such that
>>> |∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .
>>
>> The axiom of separation says that,
>> if there is a predicate
>> P(k) in which 'ℕ_def' does not occur,
>> then there is a set
>> ℕ_def = { k ∈ ℕ | P(k) }
>>
>> What is P(k) in which 'ℕ_def' does not occur?
>
> It is ℕ_def = { k ∈ ℕ | |E(k)| = ℵ₀ }
>
</WM<JB<WM>>>

Date: Thu, 23 Jun 2022 06:45:37 -0700 (PDT)
Subject: Re: Mapping exhausts, subtracting doesn't
Newsgroups: sci.logic
Message-ID: <0ea9ce6e-dec2-4114-a979-e70ddc1caafen@googlegroups.com>

You can't use 'ℕ_def' for telling us what 'ℕ_def' means.

It is a matter of effective communication,
when explaining/describing a term, to use
only terms which one's intended readers know.

One's intended readers for a definition of 'ℕ_def'
are those who _don't_ know what 'ℕ_def' means.

Using 'ℕ_def' to define 'ℕ_def' presents a
paradox-like situation. Only those who don't
need your definition can get anything of value
from your definition.
( Only paradox-like. There is a resolution.
( Don't do that.

> Only endsegments are collected which
> do not reduce the intersection below ℵ₀.

The same end segment in different collections
can "have" different intersections.
Membership in ℕ_def is not well-defined
as you state it here.

Of course,
_end segments_ don't "have" intersections.
_Collections_ of end segments have intersections.

The collection of end segments you want
seems to be of those for which
the end segments _up to_ have
an infinite end segment.

Collections _up to_ E(k) like these.
ENDS(k) = { E(j) | E(k) ⊆ E(j) }

with end segments like these
E(j) = { i ∈ ℕ | i =< j }

We can say E(k) does not
reduce the intersection below |ℕ|
like this
|⋂ENDS(k)| = |ℕ|

A better way to say what you want
seems to be
ℕ_def = { k ∈ ℕ : |⋂ENDS(k)| = |ℕ| }

If you instead define ℕ_def like that,
this is wrong
|∩{E(k) : k ∈ ℕ_def}| = ℵ₀.

It's still better, though,
because how you had it was not-even-wrong.

Re: Natural numbers and vases

<b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6000:1448:b0:21b:b7db:c40b with SMTP id v8-20020a056000144800b0021bb7dbc40bmr4894011wrx.279.1656532858048;
Wed, 29 Jun 2022 13:00:58 -0700 (PDT)
X-Received: by 2002:a05:6870:a78f:b0:101:d05b:fa3f with SMTP id
x15-20020a056870a78f00b00101d05bfa3fmr2920535oao.221.1656532857506; Wed, 29
Jun 2022 13:00:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 13:00:57 -0700 (PDT)
In-Reply-To: <6e3a0e09-5d21-4774-b39e-6ad04d62fb67n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b96b087a-e477-46c3-90ba-9a01337888bbn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 20:00:58 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 20:00 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 19:59:52 UTC+2:
> On Wednesday, June 29, 2022 at 2:45:58 PM UTC-3, WM wrote:
>
> > The Peano set has all last numbers but no last last number.
> Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element..

Here you can learn the difference:

This
|∩{E(1), E(2), ..., E(k)}| = ℵ₀
is true for k = 3, 4, 5, ...
Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def} and take the intersection. Then try to solve the exercise |∩{E(k) : k ∈ ℕ_def}| = ?
Can you do it? Can you find the difference with
∩{E(k) : k ∈ ℕ} = { }?

Regards, WM

Re: Natural numbers and vases

<2f40644b-ec85-42e1-bc80-b291fc2e82b9n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:600c:230c:b0:3a0:4a1c:da6b with SMTP id 12-20020a05600c230c00b003a04a1cda6bmr7412056wmo.184.1656533535593;
Wed, 29 Jun 2022 13:12:15 -0700 (PDT)
X-Received: by 2002:a9d:7642:0:b0:616:dd42:d31e with SMTP id
o2-20020a9d7642000000b00616dd42d31emr2302273otl.91.1656533532059; Wed, 29 Jun
2022 13:12:12 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 13:12:11 -0700 (PDT)
In-Reply-To: <6dcf4354-6bf1-9b3b-ab7a-d9bd2140bdc9@att.net>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
References: <06d0f903-3235-4be2-8653-85563102704fn@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>
<791f417d-7047-4369-a225-4adeeb723260n@googlegroups.com> <d3cdc002-8629-4742-92cf-3983cea673a7n@googlegroups.com>
<a0dfa8d4-8e69-407c-a01e-5f7dce3c2c2en@googlegroups.com> <cecb853b-dbd6-4b63-a6ac-0f69fb753c25n@googlegroups.com>
<1886e434-aa4f-46b5-8432-4314120802c7n@googlegroups.com> <80c3acaf-1fb3-4bf6-96d7-f860afd0110en@googlegroups.com>
<6dcf4354-6bf1-9b3b-ab7a-d9bd2140bdc9@att.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f40644b-ec85-42e1-bc80-b291fc2e82b9n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 20:12:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 20:12 UTC

Jim Burns schrieb am Mittwoch, 29. Juni 2022 um 20:02:21 UTC+2:
> On 6/29/2022 12:48 PM, WM wrote:

> > The definition for ℕ_def has been given here:
> > |∩{E(k) : k ∈ ℕ_def}| = ℵ₀.
> That is not a proper definition.

It is. ℕ_def is the set of indices which make |∩{E(k) : k ∈ ℕ_def}| = ℵ₀.
>
> You can't use 'ℕ_def' for telling us what 'ℕ_def' means.

I dont. I use the intersection |∩{E(k) : k ∈ ℕ_def}| to tell you what ℕ_def means.
ℕ_def means all finite sets which yield an infinite Intersection of their endsegments.

|∩{E(1), E(2), ..., E(k)}| = ℵ₀
is true for k = 3, 4, 5, ...
But not for all natiral numbers.
>
> It is a matter of effective communication,
> when explaining/describing a term, to use
> only terms which one's intended readers know.
>
> One's intended readers for a definition of 'ℕ_def'
> are those who _don't_ know what 'ℕ_def' means.

Collect as many endsegments as you can which satisfy this equation
|∩{E(1), E(2), ..., E(k)}| = ℵ₀
and put them into the set {E(k) : k ∈ ℕ_def}.
Then try to solve the exercise |∩{E(k) : k ∈ ℕ_def}| = ?
Can you do it? Can you find the difference with
∩{E(k) : k ∈ ℕ} = { }?

Regards, WM

Re: Natural numbers and vases

<486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:600c:681:b0:3a0:2da6:d173 with SMTP id a1-20020a05600c068100b003a02da6d173mr7475214wmn.68.1656533568432;
Wed, 29 Jun 2022 13:12:48 -0700 (PDT)
X-Received: by 2002:a4a:d25a:0:b0:425:aa4c:496b with SMTP id
e26-20020a4ad25a000000b00425aa4c496bmr2218762oos.73.1656533567745; Wed, 29
Jun 2022 13:12:47 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 13:12:47 -0700 (PDT)
In-Reply-To: <b96b087a-e477-46c3-90ba-9a01337888bbn@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 20:12:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: William - Wed, 29 Jun 2022 20:12 UTC

On Wednesday, June 29, 2022 at 5:01:07 PM UTC-3, WM wrote:
> William schrieb am Mittwoch, 29. Juni 2022 um 19:59:52 UTC+2:
> > On Wednesday, June 29, 2022 at 2:45:58 PM UTC-3, WM wrote:
> >
> > > The Peano set has all last numbers but no last last number.
> > Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.
> Here you can learn the difference:
>
> This
> |∩{E(1), E(2), ..., E(k)}| = ℵ₀

true whenever there is a last k.

> is true for k = 3, 4, 5, ...
> Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def}

a collection with a last k

> and take the intersection.

since the collection has a last k the intersection has cardinality ℵ₀

> Then try to solve the exercise |∩{E(k) : k ∈ ℕ_def}| = ?
> Can you do it? Can you find the difference with
> ∩{E(k) : k ∈ ℕ} = { }?

The difference is that N_def (which is not a Peano set) has a last element while |N (a Peano set) does not,

--
William Hughes

Re: Natural numbers and vases

<e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a5d:5847:0:b0:21b:e465:1e5e with SMTP id i7-20020a5d5847000000b0021be4651e5emr4864334wrf.584.1656534016565;
Wed, 29 Jun 2022 13:20:16 -0700 (PDT)
X-Received: by 2002:a05:6870:338e:b0:f3:1a36:9485 with SMTP id
w14-20020a056870338e00b000f31a369485mr4014572oae.277.1656534016020; Wed, 29
Jun 2022 13:20:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 29 Jun 2022 13:20:15 -0700 (PDT)
In-Reply-To: <486f1ef4-a7fa-455b-9a48-3453806482b3n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:e444:a384:3722:c946;
posting-account=yq-HJQoAAAD2Dj3W7IX8FY4v7qOv_n6q
NNTP-Posting-Host: 2003:e4:7730:845a:e444:a384:3722:c946
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@googlegroups.com>
Subject: Re: Natural numbers and vases
From: transfin...@gmail.com (Transfinity)
Injection-Date: Wed, 29 Jun 2022 20:20:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Transfinity - Wed, 29 Jun 2022 20:20 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 22:12:57 UTC+2:
> On Wednesday, June 29, 2022 at 5:01:07 PM UTC-3, WM wrote:
> > William schrieb am Mittwoch, 29. Juni 2022 um 19:59:52 UTC+2:
> > > On Wednesday, June 29, 2022 at 2:45:58 PM UTC-3, WM wrote:
> > >
> > > > The Peano set has all last numbers but no last last number.
> > > Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.
> > Here you can learn the difference:
> >
> > This
> > |∩{E(1), E(2), ..., E(k)}| = ℵ₀
> true whenever there is a last k.
> > is true for k = 3, 4, 5, ...
> > Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def}
> a collection with a last k

But you cannot identify it, can you? A collection with a last k that cannot be identified is called a potentially infinite collection. You just accepted its existence.
>
> > and take the intersection.
>
> since the collection has a last k the intersection has cardinality ℵ₀

So it is . Since the last k cannot be found, it is potentially infinite, i.e., different from ℕ.

> > Then try to solve the exercise |∩{E(k) : k ∈ ℕ_def}| = ?
> > Can you do it? Can you find the difference with
> > ∩{E(k) : k ∈ ℕ} = { }?
> The difference is that N_def (which is not a Peano set) has a last element

Not a fixed one. Otherwise find it!

Regards, WM

Re: Natural numbers and vases

<t9ico4$r3$1@gioia.aioe.org>

  copy mid

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

  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: Wed, 29 Jun 2022 15:29:55 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9ico4$r3$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@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>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="867"; 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 - Wed, 29 Jun 2022 20:29 UTC

On 6/29/2022 3:20 PM, Transfinity wrote:
> William schrieb am Mittwoch, 29. Juni 2022 um 22:12:57 UTC+2:
>> On Wednesday, June 29, 2022 at 5:01:07 PM UTC-3, WM wrote:
>>> William schrieb am Mittwoch, 29. Juni 2022 um 19:59:52 UTC+2:
>>>> On Wednesday, June 29, 2022 at 2:45:58 PM UTC-3, WM wrote:
>>>>
>>>>> The Peano set has all last numbers but no last last number.
>>>> Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.
>>> Here you can learn the difference:
>>>
>>> This
>>> |∩{E(1), E(2), ..., E(k)}| = ℵ₀
>> true whenever there is a last k.
>>> is true for k = 3, 4, 5, ...
>>> Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def}
>> a collection with a last k
>
> But you cannot identify it, can you? A collection with a last k that cannot be identified is called a potentially infinite collection.

no. When you stop at k, the intersection of E(1) to E(k) = E(k)
and as we all know |E(k)}| = ℵ₀

"identifying" it is red herring.

>>
>>> and take the intersection.
>>
>> since the collection has a last k the intersection has cardinality ℵ₀
>
>>> Then try to solve the exercise |∩{E(k) : k ∈ ℕ_def}| = ?
>>> Can you do it? Can you find the difference with
>>> ∩{E(k) : k ∈ ℕ} = { }?
>> The difference is that N_def (which is not a Peano set) has a last element
>
> Not a fixed one. Otherwise find it!
>

all sets are fixed.

> Regards, WM

Re: Natural numbers and vases

<c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:ff88:0:b0:21b:92b5:8e63 with SMTP id j8-20020adfff88000000b0021b92b58e63mr4893313wrr.233.1656535992929;
Wed, 29 Jun 2022 13:53:12 -0700 (PDT)
X-Received: by 2002:a05:6830:1216:b0:616:e7e6:501a with SMTP id
r22-20020a056830121600b00616e7e6501amr2386234otp.311.1656535992343; Wed, 29
Jun 2022 13:53:12 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.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: Wed, 29 Jun 2022 13:53:12 -0700 (PDT)
In-Reply-To: <e93d74f3-08c5-4ffa-b15f-1a6949c9c0fbn@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 20:53:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: William - Wed, 29 Jun 2022 20:53 UTC

On Wednesday, June 29, 2022 at 5:20:25 PM UTC-3, Transfinity wrote:
> William schrieb am Mittwoch, 29. Juni 2022 um 22:12:57 UTC+2:
> > On Wednesday, June 29, 2022 at 5:01:07 PM UTC-3, WM wrote:
> > > William schrieb am Mittwoch, 29. Juni 2022 um 19:59:52 UTC+2:
> > > > On Wednesday, June 29, 2022 at 2:45:58 PM UTC-3, WM wrote:
> > > >
> > > > > The Peano set has all last numbers but no last last number.
> > > > Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.
> > > Here you can learn the difference:
> > >
> > > This
> > > |∩{E(1), E(2), ..., E(k)}| = ℵ₀
> > true whenever there is a last k.
> > > is true for k = 3, 4, 5, ...
> > > Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def}
> > a collection with a last k
> But you cannot identify it, can you?

Nope, but I can prove that it exists That is all that is needed.
Note N_def is a set so it does not change. It is a bounded set so it has a largest element.

--
William Hughes

Re: Natural numbers and vases

<t9ief9$1hqkf$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!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: Wed, 29 Jun 2022 16:59:16 -0400
Organization: Peripheral Visions
Lines: 13
Message-ID: <t9ief9$1hqkf$1@dont-email.me>
References: <06d0f903-3235-4be2-8653-85563102704fn@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> <acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com> <c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com> <6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com> <8ab76c13-7130-40c2-b45b-4cec0623a135n@googlegroups.com> <66bc1dd1-4829-42da-b291-e0d514f3a834n@googlegroups.com> <ab9a3830-b7a4-4334-9794-3b6466137824n@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: Wed, 29 Jun 2022 20:59:21 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="a91ae197752c6e7bff3651e32691f0b3";
logging-data="1632911"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1909O/WubqdKYy/2ogbOKG3AY5aKsHvy34="
Cancel-Lock: sha1:buxK1FBzWDxWusO1HetNEkpErV8=
X-Newsreader: MesNews/1.08.06.00-gb
X-ICQ: 1701145376
 by: FromTheRafters - Wed, 29 Jun 2022 20:59 UTC

WM brought next idea :
> William schrieb am Mittwoch, 29. Juni 2022 um 19:42:39 UTC+2:
>> On Wednesday, June 29, 2022 at 2:33:43 PM UTC-3, WM wrote:
>> ∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .
>>>> Nope |N_def if finite so it cannot be "all Peano numbers".
>>> It has no upper bound
>> Piffle. The subset of numbers that can be written down has an upper bound
>
> No.
>
> Try to write it. I will surpass you.

With a *different* finite set.

Re: Natural numbers and vases

<4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a5d:604a:0:b0:21b:9517:66eb with SMTP id j10-20020a5d604a000000b0021b951766ebmr5177877wrt.494.1656540365156;
Wed, 29 Jun 2022 15:06:05 -0700 (PDT)
X-Received: by 2002:a4a:e616:0:b0:425:9f4c:36b2 with SMTP id
f22-20020a4ae616000000b004259f4c36b2mr2375504oot.77.1656540364582; Wed, 29
Jun 2022 15:06:04 -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: Wed, 29 Jun 2022 15:06:04 -0700 (PDT)
In-Reply-To: <c95bae54-1330-4273-98d3-b8c7742f3346n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:748a:5b9d:c5bb:d7a0;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:748a:5b9d:c5bb:d7a0
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4cffc59c-f607-4817-bd48-9285f251a8f7n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 22:06:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 30
 by: WM - Wed, 29 Jun 2022 22:06 UTC

William schrieb am Mittwoch, 29. Juni 2022 um 22:53:22 UTC+2:
> On Wednesday, June 29, 2022 at 5:20:25 PM UTC-3, Transfinity wrote:

> > > > > > The Peano set has all last numbers but no last last number.
> > > > > Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.
> > > > Here you can learn the difference:
> > > >
> > > > This
> > > > |∩{E(1), E(2), ..., E(k)}| = ℵ₀
> > > true whenever there is a last k.
> > > > is true for k = 3, 4, 5, ...
> > > > Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def}
> > > a collection with a last k
> > But you cannot identify it, can you?
> Nope, but I can prove that it exists That is all that is needed.

You cannot. Whatever you prove, I can show that it is not the last endsegment of that set.

> Note N_def is a set so it does not change. It is a bounded set so it has a largest element.

Your note is as wrong as it could be. If ℕ_def does not change, then there is a fixed set with |∩{E(1), E(2), ..., E(k)}| = ℵ₀ . What happens if another endsegment is added? Will the intersection become finite or zero?

Regards, WM

Re: Natural numbers and vases

<14f11ed4-09bb-41b6-a955-5b8c0316b6c8n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:d22b:0:b0:21b:90be:2dc8 with SMTP id k11-20020adfd22b000000b0021b90be2dc8mr5014162wrh.423.1656540432797;
Wed, 29 Jun 2022 15:07:12 -0700 (PDT)
X-Received: by 2002:a05:6808:1b8d:b0:32f:7995:b32b with SMTP id
cj13-20020a0568081b8d00b0032f7995b32bmr4402374oib.219.1656540432326; Wed, 29
Jun 2022 15:07:12 -0700 (PDT)
Path: i2pn2.org!rocksolid2!i2pn.org!weretis.net!feeder8.news.weretis.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: Wed, 29 Jun 2022 15:07:12 -0700 (PDT)
In-Reply-To: <t9ief9$1hqkf$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=2003:e4:7730:845a:748a:5b9d:c5bb:d7a0;
posting-account=jn1PxAoAAAD-XIFhTFFaTyGmTiEGt0_b
NNTP-Posting-Host: 2003:e4:7730:845a:748a:5b9d:c5bb:d7a0
References: <06d0f903-3235-4be2-8653-85563102704fn@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>
<acacdddf-8ada-47f0-81a8-a1aec8cbb87bn@googlegroups.com> <c92c9a16-1eac-4bd4-8429-06a4362b0683n@googlegroups.com>
<6c25c484-1d21-4063-a910-614213f92f57n@googlegroups.com> <8ab76c13-7130-40c2-b45b-4cec0623a135n@googlegroups.com>
<66bc1dd1-4829-42da-b291-e0d514f3a834n@googlegroups.com> <ab9a3830-b7a4-4334-9794-3b6466137824n@googlegroups.com>
<t9ief9$1hqkf$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <14f11ed4-09bb-41b6-a955-5b8c0316b6c8n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: askaske...@gmail.com (WM)
Injection-Date: Wed, 29 Jun 2022 22:07:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: WM - Wed, 29 Jun 2022 22:07 UTC

FromTheRafters schrieb am Mittwoch, 29. Juni 2022 um 22:59:30 UTC+2:
> WM brought next idea :
> > William schrieb am Mittwoch, 29. Juni 2022 um 19:42:39 UTC+2:
> >> On Wednesday, June 29, 2022 at 2:33:43 PM UTC-3, WM wrote:
> >> ∩{E(k) : k ∈ ℕ_def}| = ℵ₀ .
> >>>> Nope |N_def if finite so it cannot be "all Peano numbers".
> >>> It has no upper bound
> >> Piffle. The subset of numbers that can be written down has an upper bound
> >
> > No.
> >
> > Try to write it. I will surpass you.
> With a *different* finite set

satisfying the same definition.

Regards, WM

Re: Natural numbers and vases

<t9iltk$1907$1@gioia.aioe.org>

  copy mid

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

  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: Wed, 29 Jun 2022 18:06:28 -0500
Organization: Aioe.org NNTP Server
Message-ID: <t9iltk$1907$1@gioia.aioe.org>
References: <06d0f903-3235-4be2-8653-85563102704fn@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>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="41991"; 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 - Wed, 29 Jun 2022 23:06 UTC

On 6/29/2022 5:06 PM, WM wrote:
> William schrieb am Mittwoch, 29. Juni 2022 um 22:53:22 UTC+2:
>> On Wednesday, June 29, 2022 at 5:20:25 PM UTC-3, Transfinity wrote:
>
>>>>>>> The Peano set has all last numbers but no last last number.
>>>>>> Piffle. A Perano set, like any set, does not change. Each element of a Peano set has a successor. Thus no element of the Peano set is a last element.
>>>>> Here you can learn the difference:
>>>>>
>>>>> This
>>>>> |∩{E(1), E(2), ..., E(k)}| = ℵ₀
>>>> true whenever there is a last k.
>>>>> is true for k = 3, 4, 5, ...
>>>>> Collect all endsegments which satisfy this equation in the set {E(k) : k ∈ ℕ_def}
>>>> a collection with a last k
>>> But you cannot identify it, can you?
>> Nope, but I can prove that it exists That is all that is needed.
>
> You cannot. Whatever you prove, I can show that it is not the last endsegment of that set.
>
>> Note N_def is a set so it does not change. It is a bounded set so it has a largest element.
>
> Your note is as wrong as it could be. If ℕ_def does not change, then there is a fixed set with |∩{E(1), E(2), ..., E(k)}| = ℵ₀ . What happens if another endsegment is added? Will the intersection become finite or zero?
>

the only math you have there is this;

|∩{E(1), E(2), ..., E(k)}| = ℵ₀

which is true as ∩{E(1), E(2), ..., E(k)} = E(k)

and |{E(k)}| = ℵ₀

If you add another endsegment to the intersection, you have this;

|∩{E(1), E(2), ..., E(k+1)}| = ℵ₀

which is true as ∩{E(1), E(2), ..., E(k+1)} = E(k+1)

and |{E(k+1)}| = ℵ₀

the intersection obviously remains infinite.

Quit being lazy and do the equations!

However;

∩{E(1), E(2), ...} = {}

as the intersection of all is not an endsegment (for the 1,001th time you are told this)

> Regards, WM

Re: Natural numbers and vases

<18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:adf:d1e8:0:b0:21b:b7dc:68e with SMTP id g8-20020adfd1e8000000b0021bb7dc068emr5233589wrd.683.1656545117043;
Wed, 29 Jun 2022 16:25:17 -0700 (PDT)
X-Received: by 2002:a05:6830:25d0:b0:617:95f:9f5a with SMTP id
d16-20020a05683025d000b00617095f9f5amr1592634otu.369.1656545116353; Wed, 29
Jun 2022 16:25:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!news.freedyn.de!newsreader4.netcologne.de!news.netcologne.de!feeder1.cambriumusenet.nl!feed.tweak.nl!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: Wed, 29 Jun 2022 16:25:16 -0700 (PDT)
In-Reply-To: <4cffc59c-f607-4817-bd48-9285f251a8f7n@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <18a58686-098a-4d1b-957e-47d162f66c32n@googlegroups.com>
Subject: Re: Natural numbers and vases
From: wpihug...@gmail.com (William)
Injection-Date: Wed, 29 Jun 2022 23:25:17 +0000
Content-Type: text/plain; charset="UTF-8"
 by: William - Wed, 29 Jun 2022 23:25 UTC

|N_def is a set. A set does not change.

--
William Hughes

Pages:12345678910111213141516171819202122232425262728293031323334353637383940
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor