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-04 15:24 -0400
Organization	A noiseless patient Spider
Message-ID	<fb73f819-81a3-2b79-12d3-e43aeb0ac030@att.net> (permalink)
References	(13 earlier) <52050303-457a-4e47-b309-3916a006c556n@googlegroups.com> <baf2ceb7-f76a-d34c-960c-b5e1b6d33458@att.net> <9b1e4ed1-9e55-478c-a138-27e41ba9b4e5n@googlegroups.com> <76a86773-ff17-62e8-c86a-9a6f4e113ac5@att.net> <4a001624-8eb3-414a-8499-edc6f9ca1b3an@googlegroups.com>

Show all headers | View raw

On 5/4/2023 8:16 AM, WM wrote:
> Jim Burns schrieb am Donnerstag,
> 4. Mai 2023 um 01:43:54 UTC+2:

>> For each position,
>> after all exchanges,
>> an X is at the position.
>
> How would you know?

The existence of position r/s for which,
after all exchanges p/q↔k/1,
an X is not at r/s
contradicts
visibly-not-first-possibly-false claims
augmenting the description of
the positions, X's, O's, and exchanges.

If the description is correct,
then the augmenting claims are correct.

Suppose someone claims that
a position r/s exists for which,
after all exchanges p/q↔k/1,
an X is not at r/s

These are all the possibilities:
(1)
They are referring to what's described
but they are incorrect
(2)
They are correct (or incorrect) but
they are not referring to what's described.
(3)
See (1) or (2)

For each position p/q
there is a last exchange p/q↔k/1
of those which involve p/q

Each exchange p/q↔k/1
is the first exchange to involve k/1
Each position k/1 has X initially.

Thus,
for each position p/q
the last exchange involving p/q
leaves an X (from k/1) at p/q.

Either
each position p/q has an X
or
some position p/q does not have an X

| Assume that
| some position p/q does not have an X
|
| The last exchange involving p/q
| has not been exchanged.
|
| It is not after all exchanges.

Therefore,
either
each position p/q has an X
or
it is not after all exchanges.

> How would you know?
> All positions and all exchanges
> which you can check
> have finitely many predecessors and
> infinitely many successors.
> But there are infinitely many, ℵ-.many.

We don't check infinitely-many.
We can't even check numbers small
relative to ℵ₀
like 10^(10^(10^(10^(10))))

Instead,
we check claims,
which are finitely-many,
maybe even single- or few-digit-many.

Do descriptive claims correctly describe
what we are talking about?
Are augmenting claims correctly
not-first-possibly-false?

If the claims pass those checks,
then they are correct.
Referring to finitely-many has
nothing to do with it.

...because,
if
no claim in a finite sequence is
first possibly-false,
then
no claim in that sequence is
possibly-false.

> Therefore your claim is wrong.

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

Thread

Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-04-23 14:45 -0700
  Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-24 07:25 -0700
    Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-04-24 07:57 -0700
    Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-04-24 09:37 -0700
      Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-24 11:56 -0700
        Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-24 15:51 -0400
          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 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 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
        Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-04-24 13:44 -0700
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-25 10:51 -0700

csiph-web