Groups | Search | Server Info | Login | Register

Groups > sci.logic > #251880

Re: Some results about unit fractions

Newsgroups sci.logic
Date 2023-04-18 05:05 -0700
References (11 earlier) <87pm84u0t1.fsf@bsb.me.uk> <56554721-5764-4364-9bbe-c00a45684a32n@googlegroups.com> <87v8hvsefb.fsf@bsb.me.uk> <6b815533-831c-47e5-b2ff-964140ca7d6dn@googlegroups.com> <874jpeot61.fsf@bsb.me.uk>
Message-ID <e19a9620-fffc-4d0f-b21e-e54095334867n@googlegroups.com> (permalink)
Subject Re: Some results about unit fractions
From WM <askasker48@gmail.com>

Show all headers | View raw

Ben Bacarisse schrieb am Dienstag, 18. April 2023 um 03:50:18 UTC+2:
> WM <askas...@gmail.com> writes: 
> (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des 
> Unendlichen" at Hochschule Augsburg.) 
> 
> > Ben Bacarisse schrieb am Sonntag, 16. April 2023 um 23:30:38 UTC+2: 
> >> WM <askas...@gmail.com> writes: 
> >> > Ben Bacarisse schrieb am Sonntag, 16. April 2023 um 02:29:34 UTC+2: 
> >> 
> >> >> If you want to reclaim some integrity, ask someone to prove that NUF is 
> >> >> constant in (0,1] 
> >> > 
> >> > That means ℵo unit fractions are between 0 and (0, 1]. 
> >> No. NUF is provably constant in (0,1], 
> > 
> > Then there must be ℵ₀ unit fractions before the interval.
> Are you seriously suggesting that there are unit fractions <= 0?

No, you are if you really mean every x in (0, 1]. But I know that you mean only those which cover many distances of unit fractions.

> Functions with a discontinuity like this are nothing special 
> and sets so dense in the reals that the "number of them" in (0,x] is 
> infinite for all x > 0 are also common.

This idea is wrong. The unit fractions have distances. They are smaller than all the epsilons you can choose.

> The above holds for all pairs of unit fractions.

Therefore not both can sit before every x > 0.
 
> If you mean something else, write it property with the quantifiers in 
> the right order. 

Here no quantifier magic applies. The real  line is constant. What is true for every x is true for all x.
> 
> NUF(x) is constant in (0,1]. You know what you need to show to prove 
> otherwise, and you just can't do it. 

I did:  If there are many unit fractions at the beginning of the interval, then there is also at least one unit fraction 1/n among them. Then by
∀n ∈ ℕ: 1/n - 1/(n+1) = 1/(n(n+1)) > 0
the next one, 1/(n+1) sits inside the interval, not at the beginning before every x > 0. But this is true for each of these infinitely many unit fractions. Therefore only one can sit at the beginning before every x > 0.

Regards, WM

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

Thread

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

csiph-web