Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254146

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-09 12:26 -0400
Organization A noiseless patient Spider
Message-ID <873ba475-e80c-7d3a-9114-6ce7bbbcf099@att.net> (permalink)
References (13 earlier) <72a159a2-7a11-4ee8-805d-7b89f83ea89cn@googlegroups.com> <7c5023fb-ce61-c0e5-919b-341afcf13702@att.net> <b63fcc4b-daef-4c04-b209-bb912b5a4fe0n@googlegroups.com> <a3ec140b-37fd-2ab0-2ad7-2e2d0010b40b@att.net> <88bd282a-679a-4ed6-94a9-9b7a19bd4ac6n@googlegroups.com>

Show all headers | View raw

On 6/9/2023 6:48 AM, WM wrote:
> Jim Burns schrieb am Freitag,
> 9. Juni 2023 um 00:39:27 UTC+2:
>> On 6/8/2023 4:50 PM, WM wrote:

>>> There is no chance
>>> for a different behaviour
>>> of endsegments and their intersection
>>> "in the infinite".
>>> Even there are only endsegments.
>>
>> The intersection is after all end segments.
>
> That is empty
> because
> the endsegments have lost all naturals.

That is empty
because
for each number
at least one
⁺⁺ing 1×1 1-ended end segment
has lost it.

An empty end segment not-exists.

∀j ∈ ⟨0...⟩:
∃⟨k...⟩ ∈ ⟨⟨1...⟩...⟩:
⟨k...⟩ ∌ j

¬∃⟨k...⟩ ∈ ⟨⟨1...⟩...⟩:
∀j ∈ ⟨0...⟩:
⟨k...⟩ ∌ j

(1)
kⱼ := j⁺⁺
⟨kⱼ...⟩ ∌ j

(2)
jₖ := k
¬(⟨k...⟩ ∌ jₖ)

> But
> the intersection after
> all *infinite endsegments is infinite
> since infinitely many naturals remain
> in all infinite endsegments.

⟨0...⟩ is ⁺⁺ing 1×1 1-ended

for each j ∈ ⟨0...⟩
⟨0...j⟩, ⟨j⁺⁺...⟩ exists
⟨0...j⟩ is ⁺⁺ing 1×1 2-ended
⟨j⁺⁺...⟩ is ⁺⁺ing 1×1 1-ended

for each j ∈ ⟨0...⟩
⟨j⁺⁺...⟩ ∌ j
⋂⟨⟨1...⟩...⟩ ∌ j

⋂⟨⟨1...⟩...⟩ = ∅

>>> Show a mistake in *my deduction*.

>>> Even there are only endsegments.

Which is wrong.
There aren't only end segments.
There is the intersection, which is
a proper, unequal subset of each end segment.

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

Thread

Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-28 07:00 -0700
  Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-29 16:08 -0400
    Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-30 06:45 -0700
      Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-30 09:19 -0700
        Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-31 07:41 -0700
      Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-30 18:18 -0400
        Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-31 07:45 -0700
          Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-31 15:00 -0400
            Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-01 12:00 -0700
              Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-01 16:13 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-02 05:40 -0700
                Re: Some results about unit fractions Jeff Barnett <jbb@notatt.com> - 2023-06-02 14:05 -0600
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 07:01 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-03 09:56 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 11:03 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-03 17:33 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-03 16:29 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-03 20:32 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:32 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 10:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 11:07 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:08 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 10:18 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:46 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 11:09 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 11:32 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 11:47 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 11:58 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 12:16 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-04 11:12 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 11:35 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-04 13:36 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-05 07:01 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-05 07:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 07:47 -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 Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-05 09:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 07:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 08:05 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:20 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-06 10:04 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:21 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:02 -0700
                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 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 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
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-03 08:09 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 11:00 -0700
              Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-03 07:47 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 10:57 -0700

csiph-web