Groups | Search | Server Info | Login | Register
| From | Jim Burns <james.g.burns@att.net> |
|---|---|
| Newsgroups | sci.logic |
| Subject | Re: Some results about unit fractions |
| Date | 2023-04-22 16:36 -0400 |
| Organization | A noiseless patient Spider |
| Message-ID | <45e26a56-39c8-a51d-3631-e702a6f7d6db@att.net> (permalink) |
| References | (16 earlier) <609371f4-a304-4876-a2b2-1b0c48e3d29cn@googlegroups.com> <3adbfe45-281d-48a8-81ca-6d4da0f2b868n@googlegroups.com> <c89468cf-80f5-438b-9e8c-8241b3bfc277n@googlegroups.com> <d4757cd2-16a7-41a9-b567-ece48c33adf5n@googlegroups.com> <afb28741-d508-4c33-9f5c-7a129a54a3c0n@googlegroups.com> |
On 4/22/2023 2:56 PM, WM wrote:
> Gus Gassmann schrieb am Samstag, 22. April 2023 um 15:48:51 UTC+2:
>> At least he now covers the quantifier switcheroo so he can't even see it any more.
>
> If the universal quantifier in
> ∀n ∈ ℕ: 1/n - 1/(n+1) = 1/(n(n+1)) > 0
> deserves its name, then there are all unit fractions and all their internal distances.
> If one unit fraction sits before
> all elements of (0, 1]
> then no other does so.
A unit fraction before all elements of (0,1]
not-exists.
∀n ∈ ℕ: 1/n - 1/(n+1) = 1/(n(n+1)) > 0
> NUF(x) = ℵo for all x ∈ (0, 1]
Define R such that
b exists such that
{NUF(y)=0} ᵋ≤ β ≤ᵋ {NUF(z)>0}
If 1/n ∈ (0,2x]
then 1/(4n) ∈ (0,x/2]
lemma.
If 2x ∈ {NUF(z)>0}
then x/2 ∈ {NUF(z)>0}
If
β > 0
then
2β > β
2β ∈ {NUF(z)>0}
(and by lemma)
β/2 ∈ {NUF(z)>0}
and
β/2 < β
β/2 ∉ {NUF(z)>0}
β > 0 ⟹ β/2 ∈∉ {NUF(z)>0}
0 ≥ β
x > 0 ≥ β ⟹ x ∈ {NUF(z)>0}
> NUF(x) = ℵo for all x ∈ (0, 1]
> is a bad mistake.
Say why it's a mistake.
The more explicit that you are,
the better chance that you have of
spotting an unjustified assumption.
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
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 Jim Burns <james.g.burns@att.net> - 2023-04-26 17:36 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-27 06:31 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-04-27 08:11 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-27 12:21 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-27 14:14 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-27 12:36 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-27 17:59 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-28 04:53 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-28 15:11 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-29 03:30 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-29 17:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-30 05:46 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-04-29 23:41 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-30 05:51 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-01 15:05 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 05:14 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-01 15:06 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-01 12:19 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 05:08 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 05:06 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-02 12:22 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-02 09:49 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-02 14:49 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-03 03:20 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-03 13:38 -0400
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-03 19:43 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-04-27 17:03 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-28 04:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-04-28 07:22 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-04-28 08:39 -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
csiph-web