Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253870

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 05:10 -0400
Organization A noiseless patient Spider
Message-ID <ca516a7b-0726-72d4-7d55-0317ffc175e3@att.net> (permalink)
References (13 earlier) <8220f286-b14e-4d59-b7eb-aecacb4173e8n@googlegroups.com> <9817ff56-f9c5-bcf0-a293-7071798eba0d@att.net> <d559cc76-593b-4c84-a4ca-e83c2acc2e1en@googlegroups.com> <64b96b70-c670-0e16-f917-95c663c95a36@att.net> <c3ddc370-f619-4825-a62a-20ecfeaac644n@googlegroups.com>

Show all headers | View raw

On 6/2/2023 8:40 AM, WM wrote:
> Jim Burns schrieb am Donnerstag,
> 1. Juni 2023 um 22:13:39 UTC+2:
>> On 6/1/2023 3:00 PM, WM wrote:

>>>>>> "The last (smallest) ℵ₀ unit fractions"
>>>>>> not-exist.
>
> What then comes first
> when NUF(x) increases from 0 to? ?

⅟n⁺⁺ < ⅟n
Each unit fraction ⅟n is non-initial.
A first unit fraction not-exists.
NOT "exists darkly", _not-exists_

The unit fractions are 1×1 1-ended.

>>> Show an x which has not this core in common
>>> with every other x (that you can define).
>
>> I'm not successfully parsing your request,
>> probably because you are demanding to
>> be shown a square circle.
>
> I claim that every x that you can define
> has ℵ₀ unit fractions smaller than x
> in common with every x that you can define.
> That is the core.

I claim and prove that
the unit fractions ⟨...,⅟1⟩ are 1×1 1-ended.

Therefore,
for each ⅟n ∈ ⟨...,⅟1⟩
a split exists.
⟨...,⅟n⁺⁺⟩ 1×1 1-ended, ℵ₀-many before ⅟n,
⟨⅟n,...,⅟1⟩ 1×1 2-ended, visible ⅟n.

For each ⅟n ∈ ⟨...,⅟1⟩
⅟n is not in the core.

Therefore,
the core is empty.

1×1 1-ended  ⟹  empty core

>>> *Explain* how a first unit fraction and
>>> NUF(x) = 1 can be avoided
>>
>> ∀x:
>> NUF(x) = 0 ⟹ NUF(x) ≠ 1
>> ∧
>> NUF(x) ≠ 0 ⟹
>> ∃n ∈ ℕ⁺: ⅟n ≤ x ⟹
>> ∃n ∈ ℕ⁺: ⅟n⁺⁺ < ⅟n ≤ x ⟹
>> NUF(x) ≠ 1
> 
> That is not
> avoiding a first unit fraction but
> applying an axiom adopted from
> the behavioir of visible natnumbers.

Each unit fraction is visible.
They are 1×1 1-ended.
The core is empty.

> Avoiding a first unit fraction is
> to state that
> many simultaneously are the first
> or that
> magic is acting in an unexplainable way.

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

I pick this one.

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

Thread

Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 13:27 -0700
  Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-23 10:56 -0700
    Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-23 11:13 -0700
      Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-24 07:44 -0700
    Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-23 14:45 -0400
      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 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 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