Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

No more blah, blah, blah! -- Kirk, "Miri", stardate 2713.6


tech / sci.math / Re: A number that cannot be determined

SubjectAuthor
o Re: A number that cannot be determinedWilliam

1
Re: A number that cannot be determined

<9b81cfbb-1f8f-44c3-b445-9af9b48ad81fn@googlegroups.com>

  copy mid

https://news.novabbs.org/tech/article-flat.php?id=147388&group=sci.math#147388

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:4e53:0:b0:412:1974:9730 with SMTP id e19-20020ac84e53000000b0041219749730mr461705qtw.5.1694051241719;
Wed, 06 Sep 2023 18:47:21 -0700 (PDT)
X-Received: by 2002:a05:6a00:2b8d:b0:68e:3896:f4e9 with SMTP id
dv13-20020a056a002b8d00b0068e3896f4e9mr501226pfb.6.1694051241151; Wed, 06 Sep
2023 18:47:21 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Wed, 6 Sep 2023 18:47:20 -0700 (PDT)
In-Reply-To: <45833815-4f56-4912-99ca-345c816f447cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=142.134.99.172; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
NNTP-Posting-Host: 142.134.99.172
References: <1c8a7b79-835b-408a-9c2e-d7d69eb40d03n@googlegroups.com>
<2f3825fc-574d-416f-b38a-89062938ad99n@googlegroups.com> <67809a21-778a-436d-8d75-a5559f266288n@googlegroups.com>
<c1322a1f-25a9-4d6d-8086-a4fde7d40e22n@googlegroups.com> <2cc97cb4-465c-44f3-a340-679d6946ed5an@googlegroups.com>
<4696b784-f525-423d-a9d5-1f976b32b065n@googlegroups.com> <39525edc-7292-45e6-a2fa-a0d250a953c1n@googlegroups.com>
<96790046-5b91-4e64-8526-df4abed8b37an@googlegroups.com> <646cbc8d-b2d9-4dcf-b257-aa548dfac439n@googlegroups.com>
<cfe3be13-0c14-4c7c-b0bf-556e459d1f2fn@googlegroups.com> <a9642cec-f8ff-4bad-a61e-c776dc77317dn@googlegroups.com>
<c03390d3-1011-425b-ac2b-1aac782475den@googlegroups.com> <7d099fdf-26ba-44c4-a73c-2852d979883dn@googlegroups.com>
<ab2be9a4-e908-495b-91e6-f415adf732a5n@googlegroups.com> <9787804f-8adb-4ce3-9be1-7cf4039e5efen@googlegroups.com>
<8034d9ae-46ca-43e1-8e73-4deeaba27a81n@googlegroups.com> <5a6e10ef-a7c7-4b7d-89d3-32c895074888n@googlegroups.com>
<6ebab376-f3ac-454e-b1e9-0b6054047dc9n@googlegroups.com> <8368a372-a00b-4d81-98b6-06426c5cb6fan@googlegroups.com>
<d32672f9-90ad-43c7-9efa-4a20e4c3fef9n@googlegroups.com> <bad4b4cf-1956-4bff-982b-773e2265053dn@googlegroups.com>
<6bacf0ab-f499-450b-93ea-c7465527ab54n@googlegroups.com> <527e0a16-a3b1-4000-a301-f9a8c66ad12fn@googlegroups.com>
<1942afcd-4d95-4c08-9d19-e21c035f9f24n@googlegroups.com> <907cb194-34f8-4135-b999-9abb62fddb0dn@googlegroups.com>
<0961b3bf-3759-4d48-8f92-32bb2aa9ff22n@googlegroups.com> <453d30fe-aad4-4e72-851e-4a2fd2a6ecd8n@googlegroups.com>
<03dfd942-5e6c-43a5-a4b7-9459f5fa6bedn@googlegroups.com> <da32c4d2-a496-42f1-8175-41c2a11827d2n@googlegroups.com>
<759440d8-5e8e-4e7b-bca2-c849717e16adn@googlegroups.com> <1b165577-9123-4f95-bfbd-43e5283564bbn@googlegroups.com>
<48907616-b702-4978-8f4b-da1c7787c7fan@googlegroups.com> <d44b4c6e-045f-4d81-9bb2-d3e4bcbba167n@googlegroups.com>
<037668a4-6e59-4858-bfa3-5531fd4f9800n@googlegroups.com> <6fc58041-4295-4ca2-8bc0-a2c489101e52n@googlegroups.com>
<53de385d-8ff3-4c2d-997a-b5059e94f99cn@googlegroups.com> <ba374436-9969-4ea8-bc53-a19d28707b25n@googlegroups.com>
<6af48a28-5874-4208-bdb9-5cd833ba200en@googlegroups.com> <c9d27f2e-5fdc-4dae-9fc1-1fead6d58b82n@googlegroups.com>
<689b9e1c-40b2-4ee3-af34-18be936b0d1dn@googlegroups.com> <4585d540-9408-4a32-9dd1-2a83aacf16can@googlegroups.com>
<50f1f8dd-5124-4f62-af9c-e07a90ca3d55n@googlegroups.com> <9ae8f343-b8cb-4780-b33b-ba65daa1942an@googlegroups.com>
<48709807-5673-484c-80c2-7b58bbed9164n@googlegroups.com> <a51cb800-4a96-473a-af65-3deac3fa630an@googlegroups.com>
<d2f4ad5f-13c3-42e6-ae8e-a8b9a643ab0dn@googlegroups.com> <0487bf47-5e1a-4c70-be27-7da05e6dea5bn@googlegroups.com>
<defe8447-b171-43a0-b4ab-f914a3eeb4f6n@googlegroups.com> <4ce76071-99cb-4aca-9439-5998181b847en@googlegroups.com>
<ebeeeb77-54a6-44b6-86cd-7cdb92281680n@googlegroups.com> <7c7df1bb-ef3a-495a-a083-d0cc97fb7135n@googlegroups.com>
<95a26fc2-d466-44fb-a26c-4ed102e8b36bn@googlegroups.com> <aee01acd-b6e7-4fe3-ab85-48248b87c939n@googlegroups.com>
<7cd2eae9-9e16-45b7-9397-05ebc57c53b2n@googlegroups.com> <ba90f9ea-1032-4a61-a648-e2f211f8cb7dn@googlegroups.com>
<2bcdec0c-4fd1-4074-86ed-259bce48fa40n@googlegroups.com> <962decfe-910f-49c4-9dd9-e142c4d8259dn@googlegroups.com>
<6082335c-8b47-4aa0-bc1c-1e22eafe501dn@googlegroups.com> <c5d3f3fc-fc60-4dbe-bacc-075b6ad341d3n@googlegroups.com>
<42e83619-58d3-4a31-8f5b-03439fd99badn@googlegroups.com> <031f873e-2b6d-4cc2-9cd9-cc04728ddd5an@googlegroups.com>
<3d0af435-cd11-426a-823c-f1566d6b8636n@googlegroups.com> <fa8b0a12-7fbf-4866-8d4a-e0adee90dac3n@googlegroups.com>
<a7b46e5e-9033-4eb5-988a-7bad01997455n@googlegroups.com> <447a4d36-74c4-4e0b-b2bc-1bb17b76c862n@googlegroups.com>
<3da6ddf3-2f33-4aab-925b-317712dc0be9n@googlegroups.com> <2404a0e9-0c53-431b-9b7c-2dcd65603c63n@googlegroups.com>
<e7225a11-9a27-4d27-9ebe-5ba184f74651n@googlegroups.com> <6d4d22cf-204d-471a-80d3-cda1fa1535b4n@googlegroups.com>
<ad38da18-78c9-4d18-b1da-4141b5d84318n@googlegroups.com> <06767ce8-5a37-4275-984d-6684a8afe5e5n@googlegroups.com>
<abc2eb57-0305-413d-81d3-3ec8379205a1n@googlegroups.com> <4e70ab36-3a49-4db4-b167-9ef73a798e85n@googlegroups.com>
<cdcee3a3-7ee6-4fc2-b7bb-6bbaab15b1ean@googlegroups.com> <2a01ce37-98b3-44ea-b05f-ec55d196aadbn@googlegroups.com>
<6a0991dc-cc7d-4232-be2d-6a022ffa3281n@googlegroups.com> <28dafbdd-c2ae-47d0-bdd4-69a2b1535687n@googlegroups.com>
<032833cb-5a2e-43d2-858d-94dc2f094236n@googlegroups.com> <49d5289a-6d53-44d8-8347-511db03ca83dn@googlegroups.com>
<32c3b62d-6dbf-4dac-8593-222c4d9bdc14n@googlegroups.com> <45833815-4f56-4912-99ca-345c816f447cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9b81cfbb-1f8f-44c3-b445-9af9b48ad81fn@googlegroups.com>
Subject: Re: A number that cannot be determined
From: wpihughes@gmail.com (William)
Injection-Date: Thu, 07 Sep 2023 01:47:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 6932
 by: William - Thu, 7 Sep 2023 01:47 UTC

On Wednesday, September 6, 2023 at 4:57:20 PM UTC-3, WM wrote:
> William schrieb am Mittwoch, 6. September 2023 um 15:39:02 UTC+2:
> > On Wednesday, September 6, 2023 at 10:24:05 AM UTC-3, WM wrote:
> > > William schrieb am Mittwoch, 6. September 2023 um 03:10:34 UTC+2:
> > > > On Tuesday, September 5, 2023 at 5:42:24 PM UTC-3, WM wrote:
> > >
> > > > > All infinite endsegments are infinite. That means they contain infinitely many finite natnumbers. That means they contain at least one natnumber. Each of them is an upper bound.
> > > > Indeed, each is an upper bound to a set which is not the set "''contents' of 'all infinite endsegments'"
> > > but the set or better collection: "Indices of infinite endsegments".
> > Nope. Each is an upper bound to a set which is not the set "indices of infinite endsegments" (which does not change).
> You tell us lies.

Nope. The set "indices of infinite endsegments" (|N) does not change.
Each natural number is an upper bound to some set which is not the set "indices of infinite endsegments".


tech / sci.math / Re: A number that cannot be determined

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor