Groups | Search | Server Info | Login | Register

Groups > sci.logic > #255102

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-07-01 15:16 -0400
Organization A noiseless patient Spider
Message-ID <e4454fe7-51a5-57ce-5351-f9f6c90cb1b3@att.net> (permalink)
References (16 earlier) <2e770bb4-eff9-4339-9b41-f31971887203n@googlegroups.com> <86da3652-697e-ed01-b1b5-8d302884173f@att.net> <db42a6a8-9ffb-4a82-8d06-ef4211bd5487n@googlegroups.com> <159ca492-d7e1-d4d3-f0d8-44ccbde3946b@att.net> <bb1e1b3f-3451-4e7e-ad6f-67ccdb9e90e6n@googlegroups.com>

Show all headers | View raw

On 7/1/2023 2:16 PM, Transfinity wrote:
> Jim Burns schrieb am Samstag,
> 1. Juli 2023 um 18:58:38 UTC+2:

>> if it is after all swaps
>> then, for each cell p/q
>> Bob Not-An-X is not in p/q
>
> After all switches of an index
> from A to B and back
> both, A and B, will be indexed by one index?

I don't know what you're asking.

There are cells
and occupants of cells
and swaps of occupants of cells.

Each cell is visible.
Each swap is visible.
Each swap is between visible cells.

For each cell,
there is a swap which is its last.

For each cell,
its last swap leaves an X.

Bob is not an X.

If Bob is in a cell,
that cell has not had its last swap.

If each cell has had its last swap,
then each cell has an X, not Bob.

No swap removes Bob from the visible cells.
Each swap is between visible cells.
However,
_all the swaps_ are sufficient
to remove Bob from _all the cells_

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

>> Each claim in such a sequence must be
>> true of each thing described,
>> even if it is one of infinitely-many,
>> even if we don't name it,
>> even if it is darkᵂᴹ
>
> Yes!
> The basic claim is that
> loigic holds and that
> lossless exchanges remain losless forever.

If Bob is in a cell, then
that cell has not had its last swap.

If each cell has had all its swaps,
then each cell has no Bob.

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

Thread

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 WM <askasker48@gmail.com> - 2023-06-23 09:01 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 01:59 +0100
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-06-26 04:42 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 14:42 +0100
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-06-26 15:22 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-27 01:14 +0200
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 08:12 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 07:59 -0700
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-23 08:53 -0700
            Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-23 09:52 -0700
            Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-26 02:05 +0100
              Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-26 08:05 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-29 01:34 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-29 05:31 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-29 16:37 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:18 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:21 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 13:52 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-29 19:15 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-30 14:27 +0100
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:03 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:09 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:15 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:21 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:26 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-07-02 02:05 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 09:04 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 09:56 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-30 16:47 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:15 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 10:20 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-07-02 02:13 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 09:34 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 09:55 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-07-02 19:10 +0200
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 13:01 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 10:27 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 14:14 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-30 11:49 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-30 20:30 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-01 10:26 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 16:18 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-30 17:37 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 12:55 -0400
                Re: Some results about unit fractions Transfinity <transfinity01@gmail.com> - 2023-07-01 10:32 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 15:42 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:17 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 13:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 16:24 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 14:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 14:28 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 17:30 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 14:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 18:49 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-01 17:07 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-02 06:20 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-02 04:04 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:39 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:33 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:27 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-07-02 01:50 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:50 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:19 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 12:58 -0400
                Re: Some results about unit fractions Transfinity <transfinity01@gmail.com> - 2023-07-01 11:16 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-01 15:16 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-02 08:14 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-02 18:44 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-03 06:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-03 11:32 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-04 11:46 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-04 19:12 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-04 16:25 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-04 22:14 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-05 18:13 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-07-06 12:45 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-03 09:50 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-04 11:51 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-04 13:35 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-07-03 10:07 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-07-04 11:53 -0700

csiph-web