Groups | Search | Server Info | Login | Register

Groups > sci.logic > #255098

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 12:58 -0400
Organization A noiseless patient Spider
Message-ID <159ca492-d7e1-d4d3-f0d8-44ccbde3946b@att.net> (permalink)
References (16 earlier) <5bf3786a-17a4-403b-94f8-de8343ecd263n@googlegroups.com> <91d90c26-9cd8-fdfe-9989-b52239d1aef1@att.net> <2e770bb4-eff9-4339-9b41-f31971887203n@googlegroups.com> <86da3652-697e-ed01-b1b5-8d302884173f@att.net> <db42a6a8-9ffb-4a82-8d06-ef4211bd5487n@googlegroups.com>

Show all headers | View raw

On 6/30/2023 2:49 PM, WM wrote:
 > Jim Burns schrieb am Freitag,
 > 30. Juni 2023 um 20:14:30 UTC+2:
 >> On 6/30/2023 1:27 PM, WM wrote:

 >>> Two consecutive actually infinite sets
 >>> in ℕ are impossible.
 >>> Increase from 0 to ℵo requires
 >>> finite intermediate steps 1, 2, 3, ... .
 >>> Bob does not disappear.

for each cell p/q
p/q↔n/1 swaps X into p/q
and,
if i/j↔k/1 is after p/q↔n/1
then X remains in p/q

for each cell p/q
if Bob Not-An-X is in p/q
then it is not after p/q↔n/1
so it is not after all swaps

if it is after all swaps
then, for each cell p/q
Bob Not-An-X is not in p/q

'Bye, Bob.

 >> Quia ego sic dico
 >
 > No, because otherwise
 > mathematics and even set theory
 > would lack their logical foundations.

These foundations remain:

A descriptive claim is true of
each thing it describes,
even if it is one of infinitely-many,
even if we don't name it,
even if it is darkᵂᴹ

Some claims are in a sequence in which
they are _visibly_ not first false.
They can be false, but only if some claim
preceding it in the sequence is false,
so not first.

For example,
in ⟨ ... P∨Q ... ¬Q ... Q ... ⟩
Q is _visibly_ not first false.

Some finite sequences of claims are _only_
descriptions of what we're describing
(which must be true)
and claims visibly not first false
(which must be true)

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ᵂᴹ

 >> Quia ego sic dico
 >
 > No, because otherwise
 > mathematics and even set theory
 > would lack their logical foundations.

One would lose "Quia ego sic dico"
but, otherwise, the foundations are fine.

One might,
by way of compensating for the loss,
learn how to reason by augmenting descriptions
with not-first-false claims.

If one did that,
one would learn that, sometimes,
Bob disappears.

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