Re: Some results about unit fractions

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	sci.logic
Subject	Re: Some results about unit fractions
Date	2023-04-18 02:49 +0100
Organization	A noiseless patient Spider
Message-ID	<877cuaot6r.fsf@bsb.me.uk> (permalink)
References	(10 earlier) <a1758f59-1323-4ab6-80fb-36034bc6e6fdn@googlegroups.com> <87sfd0u0vc.fsf@bsb.me.uk> <31df6707-2b15-4f26-bc8d-c099dd5f319fn@googlegroups.com> <87sfczsef4.fsf@bsb.me.uk> <6f0eeea3-00f9-484e-8ac4-beb5490b342cn@googlegroups.com>

Show all headers | View raw

WM <askasker48@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:42 UTC+2:
>> WM <askas...@gmail.com> writes: 
>
>> It is at this point you started an argument with a false premise.
>
> You said: Speculation about something in (0,1] for which NUF(x) =/= ℵo
> can be ruled out

And I explained why.

> I said:  If ℵ₀ unit fractions are smaller than all x in (0,1], then
> you cannot distinguish them.

If there is a largest prime, I can't identify it.  If there are real
solutions to x^2 = -1 then I cannot distinguish them.

You know that there are no unit fractions smaller than all x in (0,1]
and I know that there are no unit fractions smaller than all x in (0,1].
Everyone knows that there are no unit fractions smaller than all x in
(0,1].  What is it you think you are showing by stating that I can't
"distinguish" between non-existent unit fractions?

(This is a word game I'll play because although "distinguish" is one of
your magic, undefined "get out of jail free" words, I can agree to any
statement about the members of an empty set!)

> But if you now want to withdraw this statement, then NUF(x) is not
> constant over the whole interval.

Specifically, NUF(x) = ℵ₀ for every x in (0,1] (the set of reals >0 and
<=1).  This is trivial to prove.  For any real x in (0,1], let k =
floor(1/x) + 1 so 1/k is in (0,x).  If 1/k is in (0,x) so are 1/(k+1),
1/(k+2), ...  and therefore

  f(1/k+n) = n (for n in N)

is a bijection between N and the unit fractions less than x.  Hence
NUF(x) = ℵ₀.

>> So 
>> start over and try again to do this "simple" thing: characterise
>> everything in (0,1] and prove ∃x in (0,1] with NUF(e) =/= ℵ₀.
>
> Impossible,

So you are withdrawing the claim that it's simple to do what I asked?  I
presume you find the "characterise everything in (0,1]" as the
impossible bit because that would give the whole game away.  You'd have
to admit that everything in (0,1] is a real to which the above argument
applies.

> because these things are dark. But the existence is proven by

But if you can't do both parts: (a) characterise everything in (0,1] and
(b) prove ∃x in (0,1] with NUF(e) =/= ℵ₀, you have nothing.  If you
don't do (a) there might be magic goblins in (0,1].  There might be
complex numbers in (0,1].  Without (a) and (b) you are just waffling.

> What about SUF(x), the Set of Unit Fractions between 0 and x? Is it
> constant too?

Obviously not.  Why would you even ask?  Are you planning to change the
subject because you've got stuck again?

-- 
Ben.

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