Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253918

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-03 17:33 -0400
Organization A noiseless patient Spider
Message-ID <97e48768-f2f0-1b05-884a-3c3d635d0cee@att.net> (permalink)
References (14 earlier) <c3ddc370-f619-4825-a62a-20ecfeaac644n@googlegroups.com> <u5di1k$398f2$1@dont-email.me> <48c51f67-e38a-456d-a6cd-48722aba3bf9n@googlegroups.com> <3ae813be-3216-40a1-ad4e-e9331f1db419n@googlegroups.com> <cc37eaa2-1afc-4d5e-9f55-950795eb20acn@googlegroups.com>

Show all headers | View raw

On 6/3/2023 2:03 PM, WM wrote:
> Gus Gassmann schrieb am Samstag,
> 3. Juni 2023 um 18:56:22 UTC+2:
>> On Saturday, 3 June 2023
>> at 11:01:10 UTC-3, WM wrote:

>>> If
>>> a sequence of reals
>>> has no term before a but
>>> has terms before b > a,
>>> then
>>> there is a beginning between a and b.
>>
>> Nope.
>> The sequence {1, 1/2, 1/3, 1/4, ... }
>> has no terms "before" 0 and
>> it has no smallest term
>
> It has a smallest term beteween 0 and 1.

Nope.

0 exists.
0 is not an ordered pair.

If x exists,
then ordered pair ⟨x,0⟩ exists.

Thus, ⟨x,0⟩ is non-final.
¬∃⟨x,0⟩:
¬∃⟨⟨x,0⟩,0⟩

Also,
because of what an ordered pair is,
⟨x,0⟩ is non-0 and non-doppelgänger.

_What we mean_ by successor i⁺⁺ is that
i++ is non-0 non-doppelgänger non-final.
¬∃i⁺⁺:
¬∃(i⁺⁺)⁺⁺

⟨i,0⟩ expresses _what we mean_ by i⁺⁺
in language which doesn't (yet) have '⁺⁺'
Thus we can express what we mean
i⁺⁺ := ⟨i,0⟩

Some things n end
some ⁺⁺ing 1×1 2-ended ⟨0,...,n⟩ from 0

Other things do not end
any ⁺⁺ing 1×1 2-ended from 0

The ⁺⁺ing 1×1 2-ended ⟨0,...,n⟩ from 0
are non-final.
¬∃⟨0,...,n⟩:
¬∃⟨0,...,n,n⁺⁺⟩ ⊇ ⟨0,...,n⟩

m ≥ k  ⟺  ⟨0,...,m⟩ ⊇ ⟨0,...,k⟩

The _ends_ of
⁺⁺ing 1×1 2-ended ⟨0,...,n⟩ from 0
are non-final.
¬∃n:
¬∃n⁺⁺ > n

⅟m ≤ ⅟k  ⟺  m ≥ k

The _reciprocals_ of ends of
⁺⁺ing 1×1 2-ended ⟨0,...,n⟩ from 0
are non-initial.
¬∃⅟n:
¬∃⅟n⁺⁺ < ⅟n

>> The sequence {1, 1/2, 1/3, 1/4, ... }
>> has no terms "before" 0 and
>> it has no smallest term
>
> It has a smallest term beteween 0 and 1.

Nope.
¬∃⅟n:
¬∃⅟n⁺⁺ < ⅟n

A unit fraction is non-initial.

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

csiph-web