Groups | Search | Server Info | Login | Register

Groups > sci.logic > #252820

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-05-06 23:41 -0400
Organization A noiseless patient Spider
Message-ID <5cd36fbd-d283-8ac3-cbc8-8253341f40cb@att.net> (permalink)
References (13 earlier) <9e201575-3f2e-4392-a7fb-8076d48c932en@googlegroups.com> <9e18c025-fa83-39b4-60ca-7e31862de5df@att.net> <7f09fd94-ca64-412c-b340-d4dcb4d0b02an@googlegroups.com> <a61e2c27-f3f2-c97e-a313-707b1a3dc691@att.net> <a7c655fe-73ff-418c-89c4-29ba17909ad4n@googlegroups.com>

Show all headers | View raw

On 5/6/2023 4:18 PM, WM wrote:
> Jim Burns schrieb am Samstag,
> 6. Mai 2023 um 19:04:44 UTC+2:

>> For what has been described,
>> Mathematics is certain.
>
> For instance
> never an O disappears
> in lossless exchange.

Description.
⟨ a₁ ... ⟩ and ⟨ b₁ ... ⟩ are
1×1 1-ended.

Description.
| a₁↔b₁
| if aᵢ↔bⱼ then aᵢ₊₁↔bⱼ₊₁
| which is
| not (aᵢ↔bⱼ and noct aᵢ₊₁↔bⱼ₊₁)

Lemma (👁¬#1◇⊥).
aₖ in ⟨ a₁ ... ⟩ not-matched to
bₘ in ⟨ b₁ ... ⟩ not-exists.
¬∃aₖ ¬∃bₘ: aₖ↔bₘ
bₘ in ⟨ b₁ ... ⟩ not-matched to
aₖ in ⟨ a₁ ... ⟩ not-exists.
¬∃bₘ ¬∃aₖ: aₖ↔bₘ

| Assume otherwise.
| Assume ¬∃bₘ:aₙ↔bₘ
|
| The sets
| {aₖ| ¬∃aₖ₂≼aₖ:  ¬∃bₘ:aₖ₂↔bₘ} ∋ a₁
| {aₖ| ∃aₖ₂≼aₖ:  ¬∃bₘ:aₖ₂↔bₘ} ∋ aₙ
| are a split of 1×1 1-ended ⟨ a₁ ... ⟩
|
| Some aᵢ is last in
| {aₖ| ¬∃aₖ₂≼aₖ:  ¬∃bₘ:aₖ₂↔bₘ}
| and aᵢ₊₁ is first in
| {aₖ| ∃aₖ₂≼aₖ:  ¬∃bₘ:aₖ₂↔bₘ}
|
| From the set definitions, it follows
| ∃bₘ:aᵢ↔bₘ and not ∃bₘ:aᵢ₊₁↔bₘ
|
| In particular,
| aᵢ↔bⱼ and not aᵢ₊₁↔bⱼ₊₁
|
| However,
| from the description,
| not (aᵢ↔bⱼ and not aᵢ₊₁↔bⱼ₊₁)
| Contradiction.

Therefore,
aₖ in ⟨ a₁ ... ⟩ not-matched to
bₘ in ⟨ b₁ ... ⟩ not-exists.
¬∃aₖ ¬∃bₘ: aₖ↔bₘ

By a similar argument,
bₘ in ⟨ b₁ ... ⟩ not-matched to
aₖ in ⟨ a₁ ... ⟩ not-exists.
¬∃bₘ ¬∃aₖ: aₖ↔bₘ

1×1 1-ended ⟨ a₁ ... ⟩ can match
1×1 1-ended ⟨ b₁ ... ⟩

> For instance
> never an O disappears
> in lossless exchange.

Consider ⟨ b₁ ... ⟩ as
a 1×1 1-ended sub-sequence ⟨ aₙ₊₁ ... ⟩
of 1×1 1-ended ⟨ a₁ ... ⟩

aₖ in ⟨ a₁ ... ⟩ not-matched to
aₙ₊ₘ in ⟨ aₙ₊₁ ... ⟩ not-exists.
¬∃aₖ ¬∃aₙ₊ₘ: aₖ↔aₙ₊ₘ
aₙ₊ₘ in ⟨ aₙ₊₁ ... ⟩ not-matched to
aₖ in ⟨ a₁ ... ⟩ not-exists.
¬∃aₙ₊ₘ ¬∃aₖ: aₖ↔aₙ₊ₘ

If you wish to think of
all (meaning "all") the swaps aₖ↔aₙ₊ₖ
as transferring Xs or something like that,
then everything in ⟨ a₁ ... aₙ ⟩
disappears.

If you don't wish to think of
all the swaps aₖ↔aₙ₊ₖ as
transferring Xs or something like that,
it is still true that
⟨ a₁ ... ⟩ can match < aₙ₊₁ ... >

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-04-25 11:26 -0700
  Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-25 17:16 -0400
    Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-26 04:47 -0700
    Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-26 04:50 -0700
      Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-26 17:36 -0400
        Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-27 06:31 -0700
          Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-04-27 08:11 -0700
            Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-27 12:21 -0700
          Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-27 14:14 -0400
            Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-27 12:36 -0700
              Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-27 17:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-28 04:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-28 15:11 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-29 03:30 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-29 17:25 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-30 05:46 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-29 23:41 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-30 05:51 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-01 15:05 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 05:14 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-01 15:06 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-01 12:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 05:08 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 05:06 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-02 12:22 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 09:49 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-02 14:49 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-03 03:20 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-03 13:38 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-03 19:43 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-04 05:16 -0700
                Re: Some results about unit fractions Jeff Barnett <jbb@notatt.com> - 2023-05-04 09:43 -0600
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-05 05:01 -0700
                Re: Some results about unit fractions Jeff Barnett <jbb@notatt.com> - 2023-05-06 00:15 -0600
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 07:21 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-04 15:24 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-05 05:01 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-05 13:01 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 07:22 -0700
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-06 07:56 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 13:22 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-06 13:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 13:18 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-06 23:41 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-07 07:17 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-07 23:50 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 06:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:04 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 14:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:59 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 21:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 05:45 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-09 11:46 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 13:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-10 08:47 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 06:07 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-10 13:58 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:10 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:13 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:19 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 15:32 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 13:13 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 14:02 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:57 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 14:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 05:49 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-09 12:41 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 14:03 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-09 17:09 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 06:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-10 09:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 13:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-10 13:21 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-11 04:37 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-11 09:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-12 05:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-11 14:00 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-12 05:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-12 15:37 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-13 06:22 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 14:30 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-13 11:41 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 23:24 -0400
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-14 02:20 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:04 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 14:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 03:29 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 05:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 10:15 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:49 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 17:14 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 08:03 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 09:33 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 11:11 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 12:08 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 08:39 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:23 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:33 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:41 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:47 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:53 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 13:02 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 10:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 17:16 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-13 15:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:09 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 19:41 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 23:41 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:11 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-14 18:17 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 16:16 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-14 20:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 03:28 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-15 10:08 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:46 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-15 18:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 07:31 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 09:32 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 11:08 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 12:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-17 05:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-17 08:17 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-17 05:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-17 14:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:20 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:52 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:43 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:56 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 17:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:40 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 09:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 10:42 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 11:26 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:09 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-19 13:47 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 11:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 12:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 13:16 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-20 09:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:39 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:43 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-19 20:36 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-20 09:20 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:38 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:42 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-20 23:40 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-21 01:56 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-21 02:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-20 17:55 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 17:57 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:29 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:43 -0700
              Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-04-27 17:03 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-28 04:53 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-04-28 07:22 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-28 08:39 -0700

csiph-web