Groups | Search | Server Info | Login | Register

Groups > sci.logic > #251677

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-14 21:27 +0100
Organization A noiseless patient Spider
Message-ID <874jpiw6np.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> <4ee22d74-9b9a-4c4a-b0ea-16a6501b5d88n@googlegroups.com>

Show all headers | View raw

Fritz Feldhase <franz.fritschee.ff@gmail.com> writes:

> On Friday, April 14, 2023 at 1:00:34 AM UTC+2, Ben Bacarisse wrote:

>> We can define the basic properties possessed of every thing in (0,1] 
>> (see the axioms of the reals). Nothing else is in (0,1]. From those 
>> basic properties we can prove x in (0,1] implies NUF(x) = ℵo. That's 
>> how mathematics works. There isn't anything else in (0,1]. No unit 
>> fractions appear anywhere. Infinite unit fractions either are or are 
>> not in (0,x).
>
> Did you intend to write "Infinitely many unit fractions either are or
> are not in (0,x)"?

Yes, thanks.

>> So in WMaths ∃x in (0,1] and n in N with |UF(x)| = n. Amazing. Can you 
>> show me such an x or is too dark to see? Or are you relying on a 
>> failure of logic in WMaths where ~∃x in S: P(x) does not imply ∀x in S: 
>> P(x)? You've had to rely on that nonsense in the past. 
>
> Did you intend to write "where ~∃x in S: ~P(x) does not imply ∀x in S:
> P(x)" (or: "where ~∃x in S: P(x) does not imply ∀x in S: ~P(x)")?

Indeed I did.  I must stop posting late at night.  In fact, I must stop
posting altogether!

Because one of WM's word games involves two meaning for "all" I once
(many years ago now) had an exchange with him where I used only ∃x and
~∃x to avoid making any claims about "all" this or that.  Because he got
stuck, WM had to eventually deny the standard relationship between ∃ and
∀.  Having denied it, he then walked that back saying it applied in some
cases but, of course, only he knew which cases!

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