Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-08 09:34 -0700 |
| References | (18 earlier) <51e69c1f-331b-a0cd-f3bf-38ca66c7a715@att.net> <72a159a2-7a11-4ee8-805d-7b89f83ea89cn@googlegroups.com> <a775acc8-3eed-43aa-a58f-0d2adc8ec041n@googlegroups.com> <b0b4a42f-41be-4f01-a5e1-1d3c2b532d58n@googlegroups.com> <a8ba4965-0355-49e4-8e00-5d0688a0b396n@googlegroups.com> |
| Message-ID | <c4c403cb-9d2e-4a29-a7be-09f0e8a09b35n@googlegroups.com> (permalink) |
| Subject | Re: Some results about unit fractions |
| From | WM <askasker48@gmail.com> |
Fritz Feldhase schrieb am Donnerstag, 8. Juni 2023 um 16:15:15 UTC+2:
> On Thursday, June 8, 2023 at 2:51:08 PM UTC+2, WM wrote:
> > It proves simultaneously that no n is in all endsegments.
> Errr... right.
Hence, by inclusion monotony, all disappear and there is an empty endsegment.
> In other words, there is no n in IN such that n is in all endsegments. In short: No n in IN is in all endsegments.
> > Hence not all endsegments can be infinite.
Inclusion monotony. If all n disappear and none can be added, the result is empty.
>
> An e IN: E(n) = IN \ {1, ..., n-1}
> => An e IN: card(E(n)) = card(IN \ {1, ..., n-1})
> => An e IN: card(E(n)) = card(IN) - card({1, ..., n-1})
> => An e IN: card(E(n)) = aleph_0 - (n-1)
> => An e IN: card(E(n)) = aleph_0.
Same with the intersection: ∀k ∈ ℕ: ∩{E(1), E(2), ..., E(k)} = E(k)
>
> All infinite endsegements are (countably) infinite. qed.
Their intersection is infinite too.
Regards, WM
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:44 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-28 05:37 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-28 07:00 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-29 16:08 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-30 06:45 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-30 09:19 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-31 07:41 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-30 18:18 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-31 07:45 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-31 15:00 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-01 12:00 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-01 16:13 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-02 05:40 -0700
Re: Some results about unit fractions Jeff Barnett <jbb@notatt.com> - 2023-06-02 14:05 -0600
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 07:01 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-03 09:56 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 11:03 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-03 17:33 -0400
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-03 16:29 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-03 20:32 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:32 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 10:51 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 11:07 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:08 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 10:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:46 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 11:09 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 11:32 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 11:47 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-04 11:58 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 12:16 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-04 11:12 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 11:35 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-04 13:36 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-05 07:01 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-05 07:44 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 07:47 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 07:55 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-05 09:01 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 07:50 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 08:05 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:20 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-06 10:04 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:21 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-04 10:02 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-03 05:10 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 07:01 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-04 20:39 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-05 07:12 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-05 07:41 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 07:46 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 07:55 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:06 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-06 13:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 13:33 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-06 13:52 -0400
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-05 13:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:04 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-05 15:49 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-06 11:11 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-07 12:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 03:46 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 04:13 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 05:51 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 07:15 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 09:34 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 16:48 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-08 16:50 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 03:43 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-08 14:48 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-08 13:50 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-08 18:39 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 03:48 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-09 12:26 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-09 13:36 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-09 18:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-10 05:05 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-10 15:10 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 06:47 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 10:24 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 11:37 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 11:53 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:24 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:21 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-11 15:38 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 13:16 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 14:03 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-12 14:45 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 07:20 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 07:35 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:02 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-13 14:50 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:12 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-12 14:48 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 15:11 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-11 13:28 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-11 17:12 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-12 11:52 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-13 13:25 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-13 14:07 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-13 20:11 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 04:55 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-14 05:58 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 11:30 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-14 12:55 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:53 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-15 13:22 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 05:40 -0700
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-16 01:17 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:32 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-16 16:27 +0200
Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-06-18 02:09 +0100
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 07:15 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 06:01 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 09:26 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 09:52 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 10:59 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-15 12:40 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:07 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:22 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:41 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:54 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-16 12:37 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-17 05:54 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:46 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:57 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-17 11:56 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-18 06:59 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-18 14:40 -0400
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-16 08:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-15 17:06 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-16 06:18 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:53 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:10 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:17 +0200
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-17 08:30 -0700
Re: Some results about unit fractions Python <python@invalid.org> - 2023-06-17 17:33 +0200
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-16 06:25 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 08:03 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-14 10:58 -0700
Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-06-14 18:30 -0400
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-15 04:51 -0700
Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-06-09 14:18 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-03 08:09 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 11:00 -0700
Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-06-03 07:47 -0700
Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-06-03 10:57 -0700
csiph-web