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-15 01:17 +0100
Organization	A noiseless patient Spider
Message-ID	<87h6tiuhhf.fsf@bsb.me.uk> (permalink)
References	(4 earlier) <f4b02250-fb38-4173-9c8e-e49f76c4b9f8n@googlegroups.com> <871qkovcf6.fsf@bsb.me.uk> <74e0e50e-adfe-4ebd-9d56-a433afab0435n@googlegroups.com> <87a5zbwfoy.fsf@bsb.me.uk> <6b5e7753-cf00-468a-9fbc-bba1261034den@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 Freitag, 14. April 2023 um 01:00:34 UTC+2:
>> WM <askas...@gmail.com> writes: 
>  
>> >> What's that? Mathematics says that NUF(x) = ℵo for x > 0. 
>> > 
>> > Yes, for every definable x, usually called eps, this is true.
>> Speculation about something in (0,1] for which NUF(x) =/= ℵo can be 
>> ruled out
>
> No. ∀n ∈ ℕ: 1/n - 1/(n+1) = 1/(n(n+1)) > 0 holds for all n. Every 1/n
> is a single point in (0, 1].  Therefore there is a first one.

You have been spoiled by your position.  You get to tell your general
studies students anything you like, they write it down, and then they
churn it out back to in the exam.  You have grown used to students who
accept proof by assertion -- "Therefore there is a first one".

Walk up the road to the university and see if it works there.  You need
only those two lines, though "first" needs to have the context
explained.  Do let us know how it goes.

On the other hand, it is trivial to prove (you know, really prove) that
~∃x in (0,1] with NUF(x) =/= ℵo.

> If you disregard mathematics, you should be exorcized from teaching
> institutions.

True.

>> If you were a mathematician, you would formally characterise everything 
>> in (0,1] and prove ∃x in (0,1] with NUF(e) =/= ℵ₀.
>
> Simple.

Ah.  Good...

> If ℵ₀ unit fractions are smaller than all x in (0,1],

But no unit fractions are smaller than all x in (0,1].  The only real
that is smaller than all x in (0,1] is zero and, as you know, that is
not a unit fraction.

So, as expected, you did not characterise everything in (0,1] and prove
∃x in (0,1] with NUF(e) =/= ℵ₀.  You can't.

> then then you
> cannot distinguish them. If two of them, p and q, are distinct, then
> you have p > q > 0 and p is not in the set of ℵ₀ unit fractions
> smaller than every x > 0.

No unit fraction is smaller than every x > 0.  Do your general studies
students really fall for this stuff?  I suppose they must.  They have no
intellectual armour against it, and there is no institutional protection
for them either.

>> So in WMaths ∃x in (0,1] and n in N with |UF(x)| = n.
>
> Yes,

That's a great result.  If you could prove it (you know, really prove
it) it would be only the third theorem that distinguishes WMaths from
proper mathematics.  The other two (also unproven) are the existence of
sets P and E with E in P and P \ {E} = P, and the existence of a bounded
monotonic sequence of rationals that does not converge in R.

That last one (the Bacarisse-Mueckenheim theorem) was so long ago, I'd
nearly forgotten it, but I seem to have a knack for finding WMaths
theorems for you.

>> Amazing. Can you 
>> show me such an x or is too dark to see?
>
> I can show you mathematics if you were unable to see it yet:
> ∀n ∈ ℕ: 1/n - 1/(n+1) = 1/(n(n+1)) > 0
> All unit fractions have distances. They come as singles.

But, no, it seems you can't show such an x.  Do you even have some bound
on x?  It is less the 1/2?  Is it less than 1/10^100?  It is really,
really, really small?  It would be shame if all you knew is that WMaths
predicts it, but no idea where it was (other than being in (0,1] of
course).

Why waste your time here?  Get on with these proofs or at least
establish some bounds for this mysterious x in (0,1] with |UF(x)| in N.
Surely that's a better use of your time?

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