Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254366

Re: Some results about unit fractions

From Jim Burns <james.g.burns@att.net>
Newsgroups sci.logic
Subject Re: Some results about unit fractions
Date 2023-06-14 08:03 -0400
Organization A noiseless patient Spider
Message-ID <ca64bbbd-78d9-6da4-bccc-115c598055db@att.net> (permalink)
References (13 earlier) <33afb0cb-7bc6-4406-b2af-b338b72a8da5n@googlegroups.com> <6ef099a1-4e8d-1dee-b593-04ed44e90c21@att.net> <5a8ad3a2-540c-41f9-8c40-e673024dd4a6n@googlegroups.com> <76d19cbc-e27b-34b3-2afb-0c132a839b12@att.net> <d35d27ea-19f3-4341-a266-c30b42251091n@googlegroups.com>

Show all headers | View raw

On 6/13/2023 5:07 PM, WM wrote:
> Jim Burns schrieb am Dienstag,
> 13. Juni 2023 um 19:25:40 UTC+2:
>> On 6/12/2023 2:52 PM, WM wrote:

>>> Note that
>>> in the sequence of endsegments
>>> the contents of endsegments
>>> can only decrease, not increase.

>> Following hind segments do not increase
>> what they can match.
>
> Here we talk sets, not cardianlity.
>
>> However,
>> neither do they decrease
>> what they can match.
>> They do the third thing: not-change
>> what they can match.
>> It's a consequence of 1-endedness.
>
> The set {n, n+1, n+2, ...} can decrease to
> {n+1, n+2, ...}

The set {n, n+1, n+2, ...} can match
{n+1, n+2, ...}

You (WM) can recognize the distinction,
at least well enough to want to avoid
talking about it.

And yet, later,
when this discussion will have somehow
popped out of existence,
you will again wail out your dismay at
Bob having popped out of existence.


1×1 1-ended is not
reallyreallyreallyreallyreallyreally large
1×1 2-ended.

1×1 1-ended is _half-finite_

Each element of a 1×1 1-ended
splits it into
a 1×1 2-ended finite part  and
a 1x1 1-ended half-finite part.

Half-finite is not
reallyreallyreallyreallyreallyreally large
finite.


Some things end.
Sheep end, for example.

Not all things are sheep.


We can 👁¬#1◇⊥ augment a description
and we will know that,
because we've seen that they're 👁¬#1◇⊥
the augmenting claims are true.

But!
In order to do this,
the description must be correct.
Describing half-finite things
as finite
simply won't work.

No, not even if you tell us
over and over again
that you are correct
and we are stupid matheologians.
It still won't work.

>> Consider
>
> the sequence of endsegments.

ℕ = ⟨0...⟩ is half-finite.

Each j ∈ ⟨0...⟩ is
in the half-finite part of some splits and
in the finite part of other splits.

For the splits for which
j is in the finite part
j is not-in the half-finite part.
and
j is not-in all half-finite parts

No j is in all half-finite parts.

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-03 05:10 -0400
  Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 07:01 -0700
    Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-04 20:39 -0400
      Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-05 07:12 -0700
        Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-05 07:41 -0700
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 07:46 -0700
            Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 07:55 -0700
              Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 13:18 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 13:33 -0700
            Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-06 13:52 -0400
        Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-05 13:25 -0400
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:04 -0700
        Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-05 15:49 -0400
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:11 -0700
            Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-07 12:25 -0400
              Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 03:46 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 04:13 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 05:51 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 07:15 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 09:34 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 16:48 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 16:50 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 03:43 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-08 14:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 13:50 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-08 18:39 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 03:48 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-09 12:26 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 13:36 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-09 18:25 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-10 05:05 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-10 15:10 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 06:47 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 10:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 11:37 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 11:53 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:24 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:21 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:38 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 13:16 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 14:03 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-12 14:45 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 07:20 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 07:35 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:02 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 14:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:12 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 14:48 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 15:11 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:28 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 17:12 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-13 13:25 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:07 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:11 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 04:55 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-14 05:58 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 11:30 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-14 12:55 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:53 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-15 13:22 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 05:40 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-16 01:17 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:32 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-16 16:27 +0200
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-18 02:09 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 07:15 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-20 01:34 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:34 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:09 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:18 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-21 07:17 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-21 16:52 +0200
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:48 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-22 13:20 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-22 00:51 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:58 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-23 01:05 +0100
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-22 17:17 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-23 02:26 +0100
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 06:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 09:26 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 09:52 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 10:59 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 12:40 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:07 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:22 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:41 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:54 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-16 12:37 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-17 05:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:46 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:57 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-17 11:56 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:59 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-18 14:40 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-19 07:01 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-19 07:34 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:30 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:30 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-19 13:55 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-20 08:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-20 10:24 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-20 14:03 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-21 07:22 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-21 12:26 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-22 05:54 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-22 09:38 -0400
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:53 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 17:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:18 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:53 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:10 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:17 +0200
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:30 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:33 +0200
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:25 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 08:03 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 10:58 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 18:30 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:51 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-09 14:18 -0700

csiph-web