Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > sci.logic > #210463 > unrolled thread
| Started by | peteolcott <Here@Home> |
|---|---|
| First post | 2019-09-11 12:05 -0500 |
| Last post | 2019-09-11 23:15 -0500 |
| Articles | 20 on this page of 322 — 13 participants |
Back to article view | Back to sci.logic
This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by
below is the oldest one visible, not the original post.
Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) peteolcott <Here@Home> - 2019-09-11 12:05 -0500
Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) Fred <Fred@nowhere.invalid> - 2019-09-11 18:37 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-11 18:32 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-12 01:15 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-11 19:30 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) temakoutera62@gmail.com - 2019-09-11 17:32 -0700
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-12 01:38 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-12 01:49 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) George Greene <greeneg@email.unc.edu> - 2019-09-14 18:22 -0700
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-15 02:32 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 21:19 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 03:29 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 21:41 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 04:19 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 22:46 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 13:02 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-16 10:26 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 00:21 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-16 18:24 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 02:10 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-16 20:41 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 03:34 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-16 22:43 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-16 23:12 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-17 09:27 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 14:26 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-17 11:53 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-18 03:55 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-17 22:19 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 21:23 -0600
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-17 22:31 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 22:04 -0600
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-17 23:21 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 22:40 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 00:27 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 23:55 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 00:59 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 00:12 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 10:15 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 09:35 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 11:00 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 10:14 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 11:26 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 10:42 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 13:10 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 12:36 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 13:49 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 12:59 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 14:12 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-18 20:25 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 13:30 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 14:45 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 14:14 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 15:29 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 14:38 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 15:56 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 20:38 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-18 22:03 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) André G. Isaak <agisaak@gm.invalid> - 2019-09-18 21:33 -0600
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-19 16:35 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 10:35 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-19 16:46 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 11:42 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-19 17:58 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 12:43 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-19 19:34 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-18 19:42 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-18 18:16 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-18 18:12 +0100
Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 10:24 -0500
Re: Provably unprovable eliminates incompleteness (NO GAPS) Fred <Fred@nowhere.invalid> - 2019-09-19 16:39 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-18 18:05 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Exfalso Quodlibet <exflaso.quodlibet@gmail.com> - 2019-09-17 20:41 -0700
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-18 05:15 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-17 23:32 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 23:21 -0600
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-18 18:42 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-18 12:58 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-18 19:05 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-19 01:42 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-18 20:46 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-19 02:52 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-19 22:24 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-19 17:13 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-20 01:05 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-19 19:49 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-20 02:34 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-19 20:54 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-20 03:32 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-20 14:16 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-20 17:49 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-20 07:16 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-20 21:37 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-20 15:53 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-21 00:10 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-21 09:45 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-21 17:20 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Jim Burns <james.g.burns@att.net> - 2019-09-21 14:39 -0400
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-22 13:32 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-23 19:50 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-24 02:27 +0100
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-24 15:22 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-21 15:22 -0500
Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Fred <Fred@nowhere.invalid> - 2019-09-18 18:02 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-17 09:10 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-17 09:06 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-14 22:54 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-15 12:06 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-12 01:42 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-11 20:03 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-12 02:50 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-11 20:59 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-12 04:07 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-11 22:16 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-12 04:20 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-11 22:22 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-12 16:33 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-12 11:14 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-13 02:00 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Deceptive Strawman by Ben peteolcott <Here@Home> - 2019-09-12 21:39 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Deceptive Strawman by Ben Fred <Fred@nowhere.invalid> - 2019-09-13 16:38 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Deceptive Strawman by Ben peteolcott <Here@Home> - 2019-09-13 11:48 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Deceptive Strawman by Ben Fred <Fred@nowhere.invalid> - 2019-09-13 17:54 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 00:51 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-14 17:23 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 13:09 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 19:28 +0100
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 19:33 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 14:27 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 20:30 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 14:41 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Exfalso Quodlibet <exflaso.quodlibet@gmail.com> - 2019-09-14 13:02 -0700
Re: Cantor was wrong about cardinality --- APOLOGY André G. Isaak <agisaak@gm.invalid> - 2019-09-14 14:08 -0600
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 21:18 +0100
Re: Cantor was wrong about cardinality --- APOLOGY André G. Isaak <agisaak@gm.invalid> - 2019-09-14 14:25 -0600
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 16:03 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 22:19 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 15:45 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 21:55 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 16:06 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 22:20 +0100
Re: Cantor was wrong about cardinality --- APOLOGY Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 00:54 +0100
Re: Cantor was wrong about cardinality --- APOLOGY Exfalso Quodlibet <exflaso.quodlibet@gmail.com> - 2019-09-14 14:07 -0700
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 21:14 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 16:01 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-14 22:17 +0100
Re: Cantor was wrong about cardinality --- APOLOGY Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 00:47 +0100
Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 19:24 -0500
Re: Cantor was wrong about cardinality --- APOLOGY Fred <Fred@nowhere.invalid> - 2019-09-15 02:20 +0100
Re: Cantor was wrong about cardinality --- APOLOGY Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 02:43 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-14 21:33 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 04:09 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-14 22:40 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? André G. Isaak <agisaak@gm.invalid> - 2019-09-14 22:40 -0600
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Fred <Fred@nowhere.invalid> - 2019-09-15 12:05 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 12:33 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-16 10:17 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? André G. Isaak <agisaak@gm.invalid> - 2019-09-16 09:26 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 10:36 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 16:50 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 16:55 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 10:06 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 11:22 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 10:38 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 11:59 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 11:10 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 13:27 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 12:34 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 14:19 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 20:28 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 13:35 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 14:51 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 21:02 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 14:15 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 16:18 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 16:00 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Keith Thompson <kst-u@mib.org> - 2019-09-16 15:29 -0700
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 18:14 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Jeff Barnett <jbb@notatt.com> - 2019-09-16 23:34 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-17 08:16 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 14:25 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 16:21 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 16:01 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-17 08:21 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Keith Thompson <kst-u@mib.org> - 2019-09-16 15:46 -0700
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 18:07 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Me <invalid@invalid.de> - 2019-09-17 01:09 +0200
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-17 02:33 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 20:53 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 21:55 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Keith Thompson <kst-u@mib.org> - 2019-09-16 19:21 -0700
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently André G. Isaak <agisaak@gm.invalid> - 2019-09-16 21:40 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Keith Thompson <kst-u@mib.org> - 2019-09-16 21:38 -0700
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). peteolcott <Here@Home> - 2019-09-17 00:24 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). peteolcott <Here@Home> - 2019-09-17 11:39 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). Fred <Fred@nowhere.invalid> - 2019-09-17 17:55 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-17 18:38 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). peteolcott <Here@Home> - 2019-09-17 13:17 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). Keith Thompson <kst-u@mib.org> - 2019-09-17 11:13 -0700
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). peteolcott <Here@Home> - 2019-09-17 13:29 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-17 08:36 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (Concurrence) peteolcott <Here@Home> - 2019-09-17 11:20 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (Concurrence) Fred <Fred@nowhere.invalid> - 2019-09-17 17:31 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (Concurrence) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 10:56 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (Concurrence) André G. Isaak <agisaak@gm.invalid> - 2019-09-17 11:29 -0600
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-17 18:32 +0100
Re: Cantor was wrong about cardinality --- (Correction) peteolcott <Here@Home> - 2019-09-17 12:49 -0500
Re: Cantor was wrong about cardinality --- (Correction) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-17 19:59 +0100
Re: Cantor was wrong about cardinality --- (Correction) peteolcott <Here@Home> - 2019-09-17 14:09 -0500
Re: Cantor was wrong about cardinality --- (Correction) Fred <Fred@nowhere.invalid> - 2019-09-17 20:33 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Keith Thompson <kst-u@mib.org> - 2019-09-17 11:42 -0700
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-17 14:01 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-17 20:29 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-17 17:51 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-18 17:55 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-17 15:58 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-18 04:36 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-17 08:27 +0100
Re: Cantor was wrong about cardinality --- (Mike Terry Concurrence ] peteolcott <Here@Home> - 2019-09-19 11:46 -0500
Re: Cantor was wrong about cardinality --- (Mike Terry Concurrence ] Fred <Fred@nowhere.invalid> - 2019-09-19 18:00 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-17 08:23 +0100
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] peteolcott <Here@Home> - 2019-09-19 11:52 -0500
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] peteolcott <Here@Home> - 2019-09-19 11:55 -0500
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] Fred <Fred@nowhere.invalid> - 2019-09-19 18:09 +0100
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] Fred <Fred@nowhere.invalid> - 2019-09-19 18:22 +0100
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] Keith Thompson <kst-u@mib.org> - 2019-09-19 14:44 -0700
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] peteolcott <Here@Home> - 2019-09-19 17:31 -0500
Re: Cantor was wrong about cardinality --- [ Keith Thompson Concurrence ] Fred <Fred@nowhere.invalid> - 2019-09-20 14:11 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 19:47 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 18:16 +0100
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 11:02 -0500
Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Fred <Fred@nowhere.invalid> - 2019-09-16 18:08 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 01:49 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-16 20:01 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 03:25 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-16 22:39 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 14:26 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-17 11:55 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Python <python@invalid> - 2019-09-17 18:59 +0200
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-18 04:01 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-17 22:23 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-18 05:19 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Keith Thompson <kst-u@mib.org> - 2019-09-18 01:39 -0700
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-18 09:59 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? André G. Isaak <agisaak@gm.invalid> - 2019-09-18 09:21 -0600
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-18 10:41 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Keith Thompson <kst-u@mib.org> - 2019-09-18 13:55 -0700
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? peteolcott <Here@Home> - 2019-09-18 16:17 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Fred <Fred@nowhere.invalid> - 2019-09-18 23:09 +0100
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Fred <Fred@nowhere.invalid> - 2019-09-18 23:02 +0100
Re: Cantor was wrong about cardinality --- [ CONCURRENCE ] peteolcott <Here@Home> - 2019-09-18 11:10 -0500
Re: Cantor was wrong about cardinality --- APOLOGY clear yet? Fred <Fred@nowhere.invalid> - 2019-09-18 18:39 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-12 12:15 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-12 10:37 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-12 16:56 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 00:27 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-13 16:43 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 11:51 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-13 18:12 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-12 09:05 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-12 10:49 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-12 10:02 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 00:18 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-12 23:24 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 10:01 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 09:13 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 09:56 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 11:40 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 11:03 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 12:48 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 12:25 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 22:35 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 16:42 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-14 22:54 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 11:28 -0500
Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-14 11:34 -0500
Re: Cantor was wrong about cardinality --- COMPLETE Fred <Fred@nowhere.invalid> - 2019-09-14 18:05 +0100
Re: Cantor was wrong about cardinality --- COMPLETE (Andy Goofed) peteolcott <Here@Home> - 2019-09-14 18:00 -0500
Re: Cantor was wrong about cardinality --- COMPLETE (Andy Goofed) Fred <Fred@nowhere.invalid> - 2019-09-15 02:04 +0100
Re: Cantor was wrong about cardinality --- COMPLETE (Andy really did Goof) peteolcott <Here@Home> - 2019-09-16 09:42 -0500
Re: Cantor was wrong about cardinality --- COMPLETE (Andy really did Goof) André G. Isaak <agisaak@gm.invalid> - 2019-09-16 09:13 -0600
Re: Cantor was wrong about cardinality --- COMPLETE (Andy really did Goof) Fred <Fred@nowhere.invalid> - 2019-09-16 16:15 +0100
Re: Cantor was wrong about cardinality --- COMPLETE Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 01:26 +0100
Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-14 19:32 -0500
Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-14 19:36 -0500
Re: Cantor was wrong about cardinality --- COMPLETE Fred <Fred@nowhere.invalid> - 2019-09-15 02:26 +0100
Re: Cantor was wrong about cardinality --- COMPLETE Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 02:54 +0100
Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-14 21:38 -0500
Re: Cantor was wrong about cardinality --- COMPLETE Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 04:14 +0100
Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-14 22:45 -0500
Re: Cantor was wrong about cardinality --- COMPLETE Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-15 12:53 +0100
Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-16 10:21 -0500
Re: Cantor was wrong about cardinality --- COMPLETE Fred <Fred@nowhere.invalid> - 2019-09-16 16:27 +0100
Re: Cantor was wrong about cardinality --- COMPLETE Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 00:35 +0100
Re: Cantor was wrong about cardinality --- COMPLETE Fred <Fred@nowhere.invalid> - 2019-09-15 11:53 +0100
Re: Cantor was wrong about cardinality --- COMPLETE Fred <Fred@nowhere.invalid> - 2019-09-15 02:22 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-12 17:04 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 00:10 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-12 23:16 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 10:09 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 09:41 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 11:36 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 11:14 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 13:03 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-13 19:08 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-13 12:34 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 16:38 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-14 22:49 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) André G. Isaak <agisaak@gm.invalid> - 2019-09-14 22:00 -0600
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-13 16:45 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-13 16:57 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-13 11:55 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-14 02:30 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 00:53 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) BEN LIED !!! peteolcott <Here@Home> - 2019-09-14 00:55 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) BEN LIED !!! peteolcott <Here@Home> - 2019-09-17 11:33 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-14 17:14 +0100
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) George Greene <greeneg@email.unc.edu> - 2019-09-14 18:24 -0700
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-14 21:25 -0500
Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Fred <Fred@nowhere.invalid> - 2019-09-15 11:50 +0100
Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) George Greene <greeneg@email.unc.edu> - 2019-09-11 20:55 -0700
Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) peteolcott <Here@Home> - 2019-09-11 23:15 -0500
Page 10 of 17 — ← Prev page 1 … 8 9 [10] 11 12 … 17 Next page →
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2019-09-16 14:25 -0600 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <qlor3m$59j$1@dont-email.me> |
| In reply to | #210835 |
On 2019-09-16 1:51 p.m., peteolcott wrote:
> On 9/16/2019 2:35 PM, André G. Isaak wrote:
>> On 2019-09-16 1:19 p.m., peteolcott wrote:
>>> On 9/16/2019 1:34 PM, André G. Isaak wrote:
>>>> On 2019-09-16 12:27 p.m., peteolcott wrote:
>>>>> On 9/16/2019 12:10 PM, André G. Isaak wrote:
>>>>>> On 2019-09-16 10:59 a.m., peteolcott wrote:
>>>>>>> On 9/16/2019 11:38 AM, André G. Isaak wrote:
>>>>>>>> On 2019-09-16 10:22 a.m., peteolcott wrote:
>>>>>>>>> On 9/16/2019 11:06 AM, André G. Isaak wrote:
>>>>>>>>>> On 2019-09-16 9:36 a.m., peteolcott wrote:
>>>>>>>>>>> On 9/16/2019 10:26 AM, André G. Isaak wrote:
>>>>>>>>>>>> On 2019-09-16 9:17 a.m., peteolcott wrote:
>>>>>>>>>>>>> On 9/15/2019 6:33 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> On 9/14/2019 10:09 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> On 9/14/2019 8:43 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> On 9/14/2019 6:47 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>>>> On 9/14/2019 11:23 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>>>> No. The common notational convention used for
>>>>>>>>>>>>>>>>>>>>>> intervals shows that
>>>>>>>>>>>>>>>>>>>>>> adjacent points do not exist. While [0, 1] has a
>>>>>>>>>>>>>>>>>>>>>> least member, (0, 1]
>>>>>>>>>>>>>>>>>>>>>> does not. You can remove the first number in [0,
>>>>>>>>>>>>>>>>>>>>>> 1] to get (0, 1] but
>>>>>>>>>>>>>>>>>>>>>> you can't remove the first and second.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> If we have a sequence of points [0.0, 1.0] on a
>>>>>>>>>>>>>>>>>>>>> number line and we remove
>>>>>>>>>>>>>>>>>>>>> the first point (0.0, 1.0] then it is obvious that
>>>>>>>>>>>>>>>>>>>>> this second sequence is
>>>>>>>>>>>>>>>>>>>>> exactly one geometric point shorter than the first
>>>>>>>>>>>>>>>>>>>>> sequence.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> The usual measure on intervals makes [0, 1] and (0,
>>>>>>>>>>>>>>>>>>>> 1] the same length
>>>>>>>>>>>>>>>>>>>> so you need to say PO-shorter, and then define what
>>>>>>>>>>>>>>>>>>>> you mean by that.
>>>>>>>>>>>>>>>>>>>> But this is a side issue.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> That is defining X = X + 1.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> No it isn't. It is defining length(X) = length(X U
>>>>>>>>>>>>>>>>>> {0}) and this is
>>>>>>>>>>>>>>>>>> indeed the usual definition when both X and X U {0}
>>>>>>>>>>>>>>>>>> are intervals.
>>>>>>>>>>>>>>>>>> Making an open interval closed does no change the length.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> (0, 1] versus (0, 1) as a range of whole %
>>>>>>>>>>>>>>>>> The first one is 0% to 100%
>>>>>>>>>>>>>>>>> The second one is 0% to 99%
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> No, that would be (0, 0.99) (or [0, 0.99]).
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> There are too many ways to correctly say this.
>>>>>>>>>>>>>>> (0, 100] integers is 0 to 100
>>>>>>>>>>>>>>> (0, 100) integers is 0 to 99
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> No. Sadly, almost everything you post introduces new
>>>>>>>>>>>>>> errors. There are
>>>>>>>>>>>>>> no open intervals in the integers so using the () notation
>>>>>>>>>>>>>> is silly.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> You can, of course, give it a meaning (as you have tried
>>>>>>>>>>>>>> to do here) but
>>>>>>>>>>>>>> even then you get it wrong. If the "open" end means the
>>>>>>>>>>>>>> bound is
>>>>>>>>>>>>>> excluded, then (0, 100] is 1 to 100 and (0, 100) is 1 to 99.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Why switch to integers which have totally different
>>>>>>>>>>>>>> properties?
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> You can't magically ignore an actual difference just
>>>>>>>>>>>>>>>>> because it is infinitesimal.
>>>>>>>>>>>>>>>>> (0, 1] a length of exactly 1.0
>>>>>>>>>>>>>>>>> (0, 1) a length infinitesimally shorter than 1.0.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> It's not magic. Length is defined that way for a
>>>>>>>>>>>>>>>> reason. As I have
>>>>>>>>>>>>>>>> said time and time again, just call your notion
>>>>>>>>>>>>>>>> PO-length, define it
>>>>>>>>>>>>>>>> properly, and we can decide if we care about it or not.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> 0.0 to 100.0 including the 100 is 0 to 100.0
>>>>>>>>>>>>>>> 0.0 to 100.0 not including the 100 is 0 to
>>>>>>>>>>>>>>> 99.999999999999999999999999999999999999999... on to infinity
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> I propose Ben's law: Every sufficiently long mathematical
>>>>>>>>>>>>>> crank thread
>>>>>>>>>>>>>> ends up "debating" whether 0.999... = 1 or not.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> No. 99.999... = 100 and you stated that 100 is not included.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> There is no notation for the largest real in the open
>>>>>>>>>>>>>> interval (0, 100),
>>>>>>>>>>>>>> not because no one has come up with a notation for it
>>>>>>>>>>>>>> (that's trivial,
>>>>>>>>>>>>>> but the words will do) but because there is no such number.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> Do you realize that you just said that the number line is
>>>>>>>>>>>>> defined with gaps?
>>>>>>>>>>>>> There is either a contiguous set of points between 0 and
>>>>>>>>>>>>> 100 or there are
>>>>>>>>>>>>> gaps between 0 and 100, those are the only two choices.
>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> No. You are describing a number line with gaps. He is not.
>>>>>>>>>>>> If there were indeed some largest real in the interval
>>>>>>>>>>>> (0,100) (let's call it L), then what number lies between L
>>>>>>>>>>>> and 100? According to you, none. But, it is axiomatic that
>>>>>>>>>>>> for the real numbers, for every x and every y if z < y then
>>>>>>>>>>>> there exists some z such that x < z < y. This proves (by
>>>>>>>>>>>> reductio ad absurdum) that there is no such number L.
>>>>>>>>>>>>
>>>>>>>>>>>> André
>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> Since it is clear that (0,100) specifies every geometric
>>>>>>>>>>> point on the number
>>>>>>>>>>> line between 0 and 100 except for 0 and 100 then it does
>>>>>>>>>>> specify the geometric
>>>>>>>>>>> point immediately after 0 and the geometric point immediately
>>>>>>>>>>> before 100 with
>>>>>>>>>>> no geometric points in-between.
>>>>>>>>>>>
>>>>>>>>>>> If these geometric points are defined to be real numbers and
>>>>>>>>>>> real numbers
>>>>>>>>>>> are defined to always be divisible by 2, then something about
>>>>>>>>>>> the way that
>>>>>>>>>>> these things are defined is inherently inconsistent.
>>>>>>>>>>
>>>>>>>>>> There's nothing in the definition of the real numbers nor in
>>>>>>>>>> the definition of interval that is stated in terms of
>>>>>>>>>> 'geometric points', nor do either of these things make any
>>>>>>>>>> reference to 'geometric points'.
>>>>>>>>>>
>>>>>>>>>> The inconsistency which arises here lies in your particular
>>>>>>>>>> conception of the number line and/or of 'geometric points'.
>>>>>>>>>>
>>>>>>>>>> The problem here is that you fail to recognize the fact that
>>>>>>>>>> the real numbers are continuous, whereas your definitions of
>>>>>>>>>> infinitesimals and/or geometric points are discrete.
>>>>>>>>>>
>>>>>>>>>> André
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> https://www.encyclopediaofmath.org/index.php/Interval_and_segment
>>>>>>>>> An interval (open interval) is a set of points on a line lying
>>>>>>>>> between two fixed
>>>>>>>>> points A and B, where A and B themselves are considered not to
>>>>>>>>> belong to the interval.
>>>>>>>>>
>>>>>>>>> Since [0, 100) clearly specifies every point on the number line
>>>>>>>>> between
>>>>>>>>> 0 and 100 except 100 it is specifying the point immediately
>>>>>>>>> before 100
>>>>>>>>> as the last point of this interval with no points in-between
>>>>>>>>> this point
>>>>>>>>> and 100. THAT IS WHAT IT SAYS.
>>>>>>>>
>>>>>>>> No. That is how you are interpreting it. Nowhere does the above
>>>>>>>> mention anything about this interval having a 'last point'.
>>>>>>>
>>>>>>> THAT IS WHAT THIS STIPULATES:
>>>>>>> >> An interval (open interval) is a set of points on a line
>>>>>>> lying between two fixed
>>>>>>> >> points A and B, where A and B themselves are considered not
>>>>>>> to belong to the interval.
>>>>>>>
>>>>>>> If it has ALL of the points between A and B besides A and B, then
>>>>>>> it must have the point
>>>>>>> immediately after A and the point immediately before B.
>>>>>>
>>>>>> 'Immediately before' and 'immediately after' are not relations
>>>>>> that exist for the real numbers.
>>>>>
>>>>> Hence the correspondence between real numbers and open intervals on
>>>>> the number line is inconsistent.
>>>>>
>>>>> An open interval specifies its first point as immediately after
>>>>> a specified point with no points in-between.
>>>>
>>>> Show me any definition of open interval which is worded as above
>>>> (one including the word 'immediate' and the 'no points in-between'
>>>> part).
>>>>
>>>> Did you actually read the page I referred you to which explains
>>>> infima and suprema? In particular, the section entitled "Relation to
>>>> maximum and minimum elements"?
>>>>
>>>> André
>>>>
>>>
>>> <true by definition of open interval>
>>> If you chop off the first point of this: [0, 1]
>>> You have this: (0, 1] which is defined as having exactly one less
>>> point.
>>
>> This isn't true 'by definition', not by any definition of which I am
>> aware. Please show a definition which claims that (A,B] has exactly
>> one point less than [A,B].
>>
>>> We know that numbers on a number line are in ascending order
>>> therefore
>>> there is a first point of the second interval and it is immediately
>>> adjacent to 0.
>>
>> Being in 'ascending order' tells us nothing about there being a first
>> point, let alone one immediately adjacent to zero. Again, you are
>> ascribing properties of discrete systems such as the integers to
>> non-discrete systems like the reals.
>>
>
>
> When you have the points 0 to 1 inclusive and remove the first one
I already replied to this post, but wanted to provide an alternative
response in case you don't follow my earlier one.
[A, B] is defined as all real numbers x such that A <= x <= B
(A, B] is defined as all real numbers x such that A < x <= B
What's important to realize here is that you don't get (A,B] by starting
with [A,B] and 'removing the first point'. These are simply two
different intervals. There is no operation involved in which you get one
from the other.
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-16 16:21 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <7cOdnTXXI5UjYeLAnZ2dnUU7-c2dnZ2d@giganews.com> |
| In reply to | #210841 |
On 9/16/2019 3:25 PM, André G. Isaak wrote:
> On 2019-09-16 1:51 p.m., peteolcott wrote:
>> On 9/16/2019 2:35 PM, André G. Isaak wrote:
>>> On 2019-09-16 1:19 p.m., peteolcott wrote:
>>>> On 9/16/2019 1:34 PM, André G. Isaak wrote:
>>>>> On 2019-09-16 12:27 p.m., peteolcott wrote:
>>>>>> On 9/16/2019 12:10 PM, André G. Isaak wrote:
>>>>>>> On 2019-09-16 10:59 a.m., peteolcott wrote:
>>>>>>>> On 9/16/2019 11:38 AM, André G. Isaak wrote:
>>>>>>>>> On 2019-09-16 10:22 a.m., peteolcott wrote:
>>>>>>>>>> On 9/16/2019 11:06 AM, André G. Isaak wrote:
>>>>>>>>>>> On 2019-09-16 9:36 a.m., peteolcott wrote:
>>>>>>>>>>>> On 9/16/2019 10:26 AM, André G. Isaak wrote:
>>>>>>>>>>>>> On 2019-09-16 9:17 a.m., peteolcott wrote:
>>>>>>>>>>>>>> On 9/15/2019 6:33 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> On 9/14/2019 10:09 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> On 9/14/2019 8:43 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> On 9/14/2019 6:47 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>>>>> On 9/14/2019 11:23 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>>>>> No. The common notational convention used for intervals shows that
>>>>>>>>>>>>>>>>>>>>>>> adjacent points do not exist. While [0, 1] has a least member, (0, 1]
>>>>>>>>>>>>>>>>>>>>>>> does not. You can remove the first number in [0, 1] to get (0, 1] but
>>>>>>>>>>>>>>>>>>>>>>> you can't remove the first and second.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> If we have a sequence of points [0.0, 1.0] on a number line and we remove
>>>>>>>>>>>>>>>>>>>>>> the first point (0.0, 1.0] then it is obvious that this second sequence is
>>>>>>>>>>>>>>>>>>>>>> exactly one geometric point shorter than the first sequence.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> The usual measure on intervals makes [0, 1] and (0, 1] the same length
>>>>>>>>>>>>>>>>>>>>> so you need to say PO-shorter, and then define what you mean by that.
>>>>>>>>>>>>>>>>>>>>> But this is a side issue.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> That is defining X = X + 1.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> No it isn't. It is defining length(X) = length(X U {0}) and this is
>>>>>>>>>>>>>>>>>>> indeed the usual definition when both X and X U {0} are intervals.
>>>>>>>>>>>>>>>>>>> Making an open interval closed does no change the length.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> (0, 1] versus (0, 1) as a range of whole %
>>>>>>>>>>>>>>>>>> The first one is 0% to 100%
>>>>>>>>>>>>>>>>>> The second one is 0% to 99%
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> No, that would be (0, 0.99) (or [0, 0.99]).
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> There are too many ways to correctly say this.
>>>>>>>>>>>>>>>> (0, 100] integers is 0 to 100
>>>>>>>>>>>>>>>> (0, 100) integers is 0 to 99
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> No. Sadly, almost everything you post introduces new errors. There are
>>>>>>>>>>>>>>> no open intervals in the integers so using the () notation is silly.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> You can, of course, give it a meaning (as you have tried to do here) but
>>>>>>>>>>>>>>> even then you get it wrong. If the "open" end means the bound is
>>>>>>>>>>>>>>> excluded, then (0, 100] is 1 to 100 and (0, 100) is 1 to 99.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Why switch to integers which have totally different properties?
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> You can't magically ignore an actual difference just because it is infinitesimal.
>>>>>>>>>>>>>>>>>> (0, 1] a length of exactly 1.0
>>>>>>>>>>>>>>>>>> (0, 1) a length infinitesimally shorter than 1.0.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> It's not magic. Length is defined that way for a reason. As I have
>>>>>>>>>>>>>>>>> said time and time again, just call your notion PO-length, define it
>>>>>>>>>>>>>>>>> properly, and we can decide if we care about it or not.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> 0.0 to 100.0 including the 100 is 0 to 100.0
>>>>>>>>>>>>>>>> 0.0 to 100.0 not including the 100 is 0 to
>>>>>>>>>>>>>>>> 99.999999999999999999999999999999999999999... on to infinity
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> I propose Ben's law: Every sufficiently long mathematical crank thread
>>>>>>>>>>>>>>> ends up "debating" whether 0.999... = 1 or not.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> No. 99.999... = 100 and you stated that 100 is not included.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> There is no notation for the largest real in the open interval (0, 100),
>>>>>>>>>>>>>>> not because no one has come up with a notation for it (that's trivial,
>>>>>>>>>>>>>>> but the words will do) but because there is no such number.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Do you realize that you just said that the number line is defined with gaps?
>>>>>>>>>>>>>> There is either a contiguous set of points between 0 and 100 or there are
>>>>>>>>>>>>>> gaps between 0 and 100, those are the only two choices.
>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> No. You are describing a number line with gaps. He is not. If there were indeed some largest real in the interval (0,100) (let's call it L), then what number lies between L and 100? According to you, none. But, it is axiomatic that for the
>>>>>>>>>>>>> real numbers, for every x and every y if z < y then there exists some z such that x < z < y. This proves (by reductio ad absurdum) that there is no such number L.
>>>>>>>>>>>>>
>>>>>>>>>>>>> André
>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> Since it is clear that (0,100) specifies every geometric point on the number
>>>>>>>>>>>> line between 0 and 100 except for 0 and 100 then it does specify the geometric
>>>>>>>>>>>> point immediately after 0 and the geometric point immediately before 100 with
>>>>>>>>>>>> no geometric points in-between.
>>>>>>>>>>>>
>>>>>>>>>>>> If these geometric points are defined to be real numbers and real numbers
>>>>>>>>>>>> are defined to always be divisible by 2, then something about the way that
>>>>>>>>>>>> these things are defined is inherently inconsistent.
>>>>>>>>>>>
>>>>>>>>>>> There's nothing in the definition of the real numbers nor in the definition of interval that is stated in terms of 'geometric points', nor do either of these things make any reference to 'geometric points'.
>>>>>>>>>>>
>>>>>>>>>>> The inconsistency which arises here lies in your particular conception of the number line and/or of 'geometric points'.
>>>>>>>>>>>
>>>>>>>>>>> The problem here is that you fail to recognize the fact that the real numbers are continuous, whereas your definitions of infinitesimals and/or geometric points are discrete.
>>>>>>>>>>>
>>>>>>>>>>> André
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> https://www.encyclopediaofmath.org/index.php/Interval_and_segment
>>>>>>>>>> An interval (open interval) is a set of points on a line lying between two fixed
>>>>>>>>>> points A and B, where A and B themselves are considered not to belong to the interval.
>>>>>>>>>>
>>>>>>>>>> Since [0, 100) clearly specifies every point on the number line between
>>>>>>>>>> 0 and 100 except 100 it is specifying the point immediately before 100
>>>>>>>>>> as the last point of this interval with no points in-between this point
>>>>>>>>>> and 100. THAT IS WHAT IT SAYS.
>>>>>>>>>
>>>>>>>>> No. That is how you are interpreting it. Nowhere does the above mention anything about this interval having a 'last point'.
>>>>>>>>
>>>>>>>> THAT IS WHAT THIS STIPULATES:
>>>>>>>> >> An interval (open interval) is a set of points on a line lying between two fixed
>>>>>>>> >> points A and B, where A and B themselves are considered not to belong to the interval.
>>>>>>>>
>>>>>>>> If it has ALL of the points between A and B besides A and B, then it must have the point
>>>>>>>> immediately after A and the point immediately before B.
>>>>>>>
>>>>>>> 'Immediately before' and 'immediately after' are not relations that exist for the real numbers.
>>>>>>
>>>>>> Hence the correspondence between real numbers and open intervals on
>>>>>> the number line is inconsistent.
>>>>>>
>>>>>> An open interval specifies its first point as immediately after
>>>>>> a specified point with no points in-between.
>>>>>
>>>>> Show me any definition of open interval which is worded as above (one including the word 'immediate' and the 'no points in-between' part).
>>>>>
>>>>> Did you actually read the page I referred you to which explains infima and suprema? In particular, the section entitled "Relation to maximum and minimum elements"?
>>>>>
>>>>> André
>>>>>
>>>>
>>>> <true by definition of open interval>
>>>> If you chop off the first point of this: [0, 1]
>>>> You have this: (0, 1] which is defined as having exactly one less point.
>>>
>>> This isn't true 'by definition', not by any definition of which I am aware. Please show a definition which claims that (A,B] has exactly one point less than [A,B].
>>>
>>>> We know that numbers on a number line are in ascending order therefore
>>>> there is a first point of the second interval and it is immediately
>>>> adjacent to 0.
>>>
>>> Being in 'ascending order' tells us nothing about there being a first point, let alone one immediately adjacent to zero. Again, you are ascribing properties of discrete systems such as the integers to non-discrete systems like the reals.
>>>
>>
>>
>> When you have the points 0 to 1 inclusive and remove the first one
>
> I already replied to this post, but wanted to provide an alternative response in case you don't follow my earlier one.
>
> [A, B] is defined as all real numbers x such that A <= x <= B
>
> (A, B] is defined as all real numbers x such that A < x <= B
>
> What's important to realize here is that you don't get (A,B] by starting with [A,B] and 'removing the first point'. These are simply two different intervals. There is no operation involved in which you get one from the other.
>
> André
>
Length([A, B]) - Length((A, B]) = one geometric point which
is rounded down to zero in real numbers.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2019-09-16 16:01 -0600 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <qlp0nt$7t2$2@dont-email.me> |
| In reply to | #210845 |
On 2019-09-16 3:21 p.m., peteolcott wrote:
> On 9/16/2019 3:25 PM, André G. Isaak wrote:
>> On 2019-09-16 1:51 p.m., peteolcott wrote:
>>> On 9/16/2019 2:35 PM, André G. Isaak wrote:
>>>> On 2019-09-16 1:19 p.m., peteolcott wrote:
>>>>> On 9/16/2019 1:34 PM, André G. Isaak wrote:
>>>>>> On 2019-09-16 12:27 p.m., peteolcott wrote:
>>>>>>> On 9/16/2019 12:10 PM, André G. Isaak wrote:
>>>>>>>> On 2019-09-16 10:59 a.m., peteolcott wrote:
>>>>>>>>> On 9/16/2019 11:38 AM, André G. Isaak wrote:
>>>>>>>>>> On 2019-09-16 10:22 a.m., peteolcott wrote:
>>>>>>>>>>> On 9/16/2019 11:06 AM, André G. Isaak wrote:
>>>>>>>>>>>> On 2019-09-16 9:36 a.m., peteolcott wrote:
>>>>>>>>>>>>> On 9/16/2019 10:26 AM, André G. Isaak wrote:
>>>>>>>>>>>>>> On 2019-09-16 9:17 a.m., peteolcott wrote:
>>>>>>>>>>>>>>> On 9/15/2019 6:33 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> On 9/14/2019 10:09 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> On 9/14/2019 8:43 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> On 9/14/2019 6:47 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>>>> peteolcott <Here@Home> writes:
>>>>>>>>>>>>>>>>>>>>>>> On 9/14/2019 11:23 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>>>>>>>>>> No. The common notational convention used for
>>>>>>>>>>>>>>>>>>>>>>>> intervals shows that
>>>>>>>>>>>>>>>>>>>>>>>> adjacent points do not exist. While [0, 1] has
>>>>>>>>>>>>>>>>>>>>>>>> a least member, (0, 1]
>>>>>>>>>>>>>>>>>>>>>>>> does not. You can remove the first number in
>>>>>>>>>>>>>>>>>>>>>>>> [0, 1] to get (0, 1] but
>>>>>>>>>>>>>>>>>>>>>>>> you can't remove the first and second.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> If we have a sequence of points [0.0, 1.0] on a
>>>>>>>>>>>>>>>>>>>>>>> number line and we remove
>>>>>>>>>>>>>>>>>>>>>>> the first point (0.0, 1.0] then it is obvious
>>>>>>>>>>>>>>>>>>>>>>> that this second sequence is
>>>>>>>>>>>>>>>>>>>>>>> exactly one geometric point shorter than the
>>>>>>>>>>>>>>>>>>>>>>> first sequence.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> The usual measure on intervals makes [0, 1] and
>>>>>>>>>>>>>>>>>>>>>> (0, 1] the same length
>>>>>>>>>>>>>>>>>>>>>> so you need to say PO-shorter, and then define
>>>>>>>>>>>>>>>>>>>>>> what you mean by that.
>>>>>>>>>>>>>>>>>>>>>> But this is a side issue.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> That is defining X = X + 1.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> No it isn't. It is defining length(X) = length(X U
>>>>>>>>>>>>>>>>>>>> {0}) and this is
>>>>>>>>>>>>>>>>>>>> indeed the usual definition when both X and X U {0}
>>>>>>>>>>>>>>>>>>>> are intervals.
>>>>>>>>>>>>>>>>>>>> Making an open interval closed does no change the
>>>>>>>>>>>>>>>>>>>> length.
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> (0, 1] versus (0, 1) as a range of whole %
>>>>>>>>>>>>>>>>>>> The first one is 0% to 100%
>>>>>>>>>>>>>>>>>>> The second one is 0% to 99%
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> No, that would be (0, 0.99) (or [0, 0.99]).
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> There are too many ways to correctly say this.
>>>>>>>>>>>>>>>>> (0, 100] integers is 0 to 100
>>>>>>>>>>>>>>>>> (0, 100) integers is 0 to 99
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> No. Sadly, almost everything you post introduces new
>>>>>>>>>>>>>>>> errors. There are
>>>>>>>>>>>>>>>> no open intervals in the integers so using the ()
>>>>>>>>>>>>>>>> notation is silly.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> You can, of course, give it a meaning (as you have tried
>>>>>>>>>>>>>>>> to do here) but
>>>>>>>>>>>>>>>> even then you get it wrong. If the "open" end means the
>>>>>>>>>>>>>>>> bound is
>>>>>>>>>>>>>>>> excluded, then (0, 100] is 1 to 100 and (0, 100) is 1 to
>>>>>>>>>>>>>>>> 99.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Why switch to integers which have totally different
>>>>>>>>>>>>>>>> properties?
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> You can't magically ignore an actual difference just
>>>>>>>>>>>>>>>>>>> because it is infinitesimal.
>>>>>>>>>>>>>>>>>>> (0, 1] a length of exactly 1.0
>>>>>>>>>>>>>>>>>>> (0, 1) a length infinitesimally shorter than 1.0.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> It's not magic. Length is defined that way for a
>>>>>>>>>>>>>>>>>> reason. As I have
>>>>>>>>>>>>>>>>>> said time and time again, just call your notion
>>>>>>>>>>>>>>>>>> PO-length, define it
>>>>>>>>>>>>>>>>>> properly, and we can decide if we care about it or not.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> 0.0 to 100.0 including the 100 is 0 to 100.0
>>>>>>>>>>>>>>>>> 0.0 to 100.0 not including the 100 is 0 to
>>>>>>>>>>>>>>>>> 99.999999999999999999999999999999999999999... on to
>>>>>>>>>>>>>>>>> infinity
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> I propose Ben's law: Every sufficiently long
>>>>>>>>>>>>>>>> mathematical crank thread
>>>>>>>>>>>>>>>> ends up "debating" whether 0.999... = 1 or not.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> No. 99.999... = 100 and you stated that 100 is not
>>>>>>>>>>>>>>>> included.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> There is no notation for the largest real in the open
>>>>>>>>>>>>>>>> interval (0, 100),
>>>>>>>>>>>>>>>> not because no one has come up with a notation for it
>>>>>>>>>>>>>>>> (that's trivial,
>>>>>>>>>>>>>>>> but the words will do) but because there is no such number.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> Do you realize that you just said that the number line is
>>>>>>>>>>>>>>> defined with gaps?
>>>>>>>>>>>>>>> There is either a contiguous set of points between 0 and
>>>>>>>>>>>>>>> 100 or there are
>>>>>>>>>>>>>>> gaps between 0 and 100, those are the only two choices.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> No. You are describing a number line with gaps. He is not.
>>>>>>>>>>>>>> If there were indeed some largest real in the interval
>>>>>>>>>>>>>> (0,100) (let's call it L), then what number lies between L
>>>>>>>>>>>>>> and 100? According to you, none. But, it is axiomatic that
>>>>>>>>>>>>>> for the real numbers, for every x and every y if z < y
>>>>>>>>>>>>>> then there exists some z such that x < z < y. This proves
>>>>>>>>>>>>>> (by reductio ad absurdum) that there is no such number L.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> André
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> Since it is clear that (0,100) specifies every geometric
>>>>>>>>>>>>> point on the number
>>>>>>>>>>>>> line between 0 and 100 except for 0 and 100 then it does
>>>>>>>>>>>>> specify the geometric
>>>>>>>>>>>>> point immediately after 0 and the geometric point
>>>>>>>>>>>>> immediately before 100 with
>>>>>>>>>>>>> no geometric points in-between.
>>>>>>>>>>>>>
>>>>>>>>>>>>> If these geometric points are defined to be real numbers
>>>>>>>>>>>>> and real numbers
>>>>>>>>>>>>> are defined to always be divisible by 2, then something
>>>>>>>>>>>>> about the way that
>>>>>>>>>>>>> these things are defined is inherently inconsistent.
>>>>>>>>>>>>
>>>>>>>>>>>> There's nothing in the definition of the real numbers nor in
>>>>>>>>>>>> the definition of interval that is stated in terms of
>>>>>>>>>>>> 'geometric points', nor do either of these things make any
>>>>>>>>>>>> reference to 'geometric points'.
>>>>>>>>>>>>
>>>>>>>>>>>> The inconsistency which arises here lies in your particular
>>>>>>>>>>>> conception of the number line and/or of 'geometric points'.
>>>>>>>>>>>>
>>>>>>>>>>>> The problem here is that you fail to recognize the fact that
>>>>>>>>>>>> the real numbers are continuous, whereas your definitions of
>>>>>>>>>>>> infinitesimals and/or geometric points are discrete.
>>>>>>>>>>>>
>>>>>>>>>>>> André
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> https://www.encyclopediaofmath.org/index.php/Interval_and_segment
>>>>>>>>>>>
>>>>>>>>>>> An interval (open interval) is a set of points on a line
>>>>>>>>>>> lying between two fixed
>>>>>>>>>>> points A and B, where A and B themselves are considered not
>>>>>>>>>>> to belong to the interval.
>>>>>>>>>>>
>>>>>>>>>>> Since [0, 100) clearly specifies every point on the number
>>>>>>>>>>> line between
>>>>>>>>>>> 0 and 100 except 100 it is specifying the point immediately
>>>>>>>>>>> before 100
>>>>>>>>>>> as the last point of this interval with no points in-between
>>>>>>>>>>> this point
>>>>>>>>>>> and 100. THAT IS WHAT IT SAYS.
>>>>>>>>>>
>>>>>>>>>> No. That is how you are interpreting it. Nowhere does the
>>>>>>>>>> above mention anything about this interval having a 'last point'.
>>>>>>>>>
>>>>>>>>> THAT IS WHAT THIS STIPULATES:
>>>>>>>>> >> An interval (open interval) is a set of points on a line
>>>>>>>>> lying between two fixed
>>>>>>>>> >> points A and B, where A and B themselves are considered not
>>>>>>>>> to belong to the interval.
>>>>>>>>>
>>>>>>>>> If it has ALL of the points between A and B besides A and B,
>>>>>>>>> then it must have the point
>>>>>>>>> immediately after A and the point immediately before B.
>>>>>>>>
>>>>>>>> 'Immediately before' and 'immediately after' are not relations
>>>>>>>> that exist for the real numbers.
>>>>>>>
>>>>>>> Hence the correspondence between real numbers and open intervals on
>>>>>>> the number line is inconsistent.
>>>>>>>
>>>>>>> An open interval specifies its first point as immediately after
>>>>>>> a specified point with no points in-between.
>>>>>>
>>>>>> Show me any definition of open interval which is worded as above
>>>>>> (one including the word 'immediate' and the 'no points in-between'
>>>>>> part).
>>>>>>
>>>>>> Did you actually read the page I referred you to which explains
>>>>>> infima and suprema? In particular, the section entitled "Relation
>>>>>> to maximum and minimum elements"?
>>>>>>
>>>>>> André
>>>>>>
>>>>>
>>>>> <true by definition of open interval>
>>>>> If you chop off the first point of this: [0, 1]
>>>>> You have this: (0, 1] which is defined as having exactly one
>>>>> less point.
>>>>
>>>> This isn't true 'by definition', not by any definition of which I am
>>>> aware. Please show a definition which claims that (A,B] has exactly
>>>> one point less than [A,B].
>>>>
>>>>> We know that numbers on a number line are in ascending order
>>>>> therefore
>>>>> there is a first point of the second interval and it is immediately
>>>>> adjacent to 0.
>>>>
>>>> Being in 'ascending order' tells us nothing about there being a
>>>> first point, let alone one immediately adjacent to zero. Again, you
>>>> are ascribing properties of discrete systems such as the integers to
>>>> non-discrete systems like the reals.
>>>>
>>>
>>>
>>> When you have the points 0 to 1 inclusive and remove the first one
>>
>> I already replied to this post, but wanted to provide an alternative
>> response in case you don't follow my earlier one.
>>
>> [A, B] is defined as all real numbers x such that A <= x <= B
>>
>> (A, B] is defined as all real numbers x such that A < x <= B
>>
>> What's important to realize here is that you don't get (A,B] by
>> starting with [A,B] and 'removing the first point'. These are simply
>> two different intervals. There is no operation involved in which you
>> get one from the other.
>>
>> André
>>
>
> Length([A, B]) - Length((A, B]) = one geometric point which
> is rounded down to zero in real numbers.
It isn't rounded down to zero. It is zero. What part of 'points are
dimensionless' is causing problems here?
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.
[toc] | [prev] | [next] | [standalone]
| From | Fred <Fred@nowhere.invalid> |
|---|---|
| Date | 2019-09-17 08:21 +0100 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <qlq1ih$686$2@news.albasani.net> |
| In reply to | #210845 |
On 16/09/2019 22:21, peteolcott wrote: > Length([A, B]) - Length((A, B]) = one geometric point which > is rounded down to zero in real numbers. That shows a great misunderstanding. Rounding down is something that is done with notation, not numbers.
[toc] | [prev] | [next] | [standalone]
| From | Keith Thompson <kst-u@mib.org> |
|---|---|
| Date | 2019-09-16 15:46 -0700 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <ln5zlramg3.fsf@kst-u.example.com> |
| In reply to | #210841 |
André G. Isaak <agisaak@gm.invalid> writes:
[...]
> I already replied to this post, but wanted to provide an alternative
> response in case you don't follow my earlier one.
>
> [A, B] is defined as all real numbers x such that A <= x <= B
>
> (A, B] is defined as all real numbers x such that A < x <= B
>
> What's important to realize here is that you don't get (A,B] by starting
> with [A,B] and 'removing the first point'. These are simply two
> different intervals. There is no operation involved in which you get one
> from the other.
I disagree with that last statement, and would be interested in a
demonstration that I'm wrong about that.
[A,B] is a set of real numbers. (A,B] can be constructed by taking
[A,B] and removing a single element, namely A, and similarily vice
versa. All members of (A,B] are members of [A,B], and there is
exactly one real number that is a member of [A,B] and not of (A,B].
Of course this doesn't imply that there's a "first element" of (A,B].
There clearly isn't. (Pete has correctly recognized a contradiction,
but has grabbed onto the wrong end of it.)
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-16 18:07 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <ZrKdnUNV14IniB3AnZ2dnUU7-W3NnZ2d@giganews.com> |
| In reply to | #210850 |
On 9/16/2019 5:46 PM, Keith Thompson wrote: > André G. Isaak <agisaak@gm.invalid> writes: > [...] >> I already replied to this post, but wanted to provide an alternative >> response in case you don't follow my earlier one. >> >> [A, B] is defined as all real numbers x such that A <= x <= B >> >> (A, B] is defined as all real numbers x such that A < x <= B >> >> What's important to realize here is that you don't get (A,B] by starting >> with [A,B] and 'removing the first point'. These are simply two >> different intervals. There is no operation involved in which you get one >> from the other. > > I disagree with that last statement, and would be interested in a > demonstration that I'm wrong about that. > > [A,B] is a set of real numbers. (A,B] can be constructed by taking > [A,B] and removing a single element, namely A, and similarily vice > versa. All members of (A,B] are members of [A,B], and there is > exactly one real number that is a member of [A,B] and not of (A,B]. > > Of course this doesn't imply that there's a "first element" of (A,B]. > There clearly isn't. (Pete has correctly recognized a contradiction, > but has grabbed onto the wrong end of it.) > There is a first element that cannot be expressed using the real number system. Most here have assumed that there is no first element entirely on the basis that it cannot be expressed in the real number system, none-the-less if the prior first point was removed there is NOT nothing left. When we remove the beginning 0.5 from [0.0, 2.0] we derive [0.5, 2.0] with a first point of 0.5. So when we remove a single point from the beginning of [0.0, 1.0] we end up with (0.0, 1.0] with beginning point that cannot be named. WE DON'T END UP WITHOUT A BEGINNING POINT. -- Copyright 2019 Pete Olcott All rights reserved "Great spirits have always encountered violent opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
| From | Me <invalid@invalid.de> |
|---|---|
| Date | 2019-09-17 01:09 +0200 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <qlp4ni$1jem$1@news-cypress.fernuni-hagen.de> |
| In reply to | #210850 |
Am 17.09.2019 um 00:46 schrieb Keith Thompson:
> André G. Isaak <agisaak@gm.invalid> writes:
>>>> [A, B] is defined as all real numbers x such that A <= x <= B
>>
>> (A, B] is defined as all real numbers x such that A < x <= B
>>
>> What's important to realize here is that you don't get (A,B] by starting
>> with [A,B] and 'removing the first point'. These are simply two
>> different intervals. There is no operation involved in which you get one
>> from the other.
>
> I disagree with that last statement, and would be interested in a
> demonstration that I'm wrong about that.
How so) After all, ther *is* a "relation" between [A,B] and (A,B] (for
all A,B e IR).
(A, B] = [A,B] \ min [A, B] .
So it seems to me that (contrary to André's claim) we may adopt an
operation to "get one from the other".
> [A,B] is a set of real numbers. (A,B] can be constructed by taking
> [A,B] and removing a single element, namely A
Exactly. Morevoer we do not even have to know A. It suffices that [A, B]
is a closed intervall (with more than a single element).
> All members of (A,B] are members of [A,B], and there is
> exactly one real number that is a member of [A,B] and not of (A,B].
Exactly, namely the mininimum of [A, B].
> Of course this doesn't imply that there's a "first element" of (A,B].
> There clearly isn't. (Pete has correctly recognized a contradiction,
> but has grabbed onto the wrong end of it.)
You are really generous.
[toc] | [prev] | [next] | [standalone]
| From | Mike Terry <news.dead.person.stones@darjeeling.plus.com> |
|---|---|
| Date | 2019-09-17 02:33 +0100 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <0IidnQ4NqsdLqh3AnZ2dnUU78dfNnZ2d@brightview.co.uk> |
| In reply to | #210850 |
On 16/09/2019 23:46, Keith Thompson wrote:
> André G. Isaak <agisaak@gm.invalid> writes:
> [...]
>> I already replied to this post, but wanted to provide an alternative
>> response in case you don't follow my earlier one.
>>
>> [A, B] is defined as all real numbers x such that A <= x <= B
>>
>> (A, B] is defined as all real numbers x such that A < x <= B
>>
>> What's important to realize here is that you don't get (A,B] by starting
>> with [A,B] and 'removing the first point'. These are simply two
>> different intervals. There is no operation involved in which you get one
>> from the other.
>
> I disagree with that last statement, and would be interested in a
> demonstration that I'm wrong about that.
>
> [A,B] is a set of real numbers. (A,B] can be constructed by taking
> [A,B] and removing a single element, namely A, and similarily vice
> versa. All members of (A,B] are members of [A,B], and there is
> exactly one real number that is a member of [A,B] and not of (A,B].
OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation in
which we get (A,B] from [A,B]. So you're right, but I sort of doubt
that's exactly what Andre meant... (Just because it's obvious, and
Andre seems reasonably clued up, so I'm sure he understands this.)
I'm not sure what he was trying to say, but my guess would be that he's
focussing on the basic /meaning/ of the intervals. The intervals are
just sets of real numbers meeting the appropriate conditions. I.e. they
are "static" mathematical objects, sort of "beyond time". Hmm, that's
not clear. Specifically the open interval is NOT "some kind of
"process" which starts with the closed interval, and THEN (step 2)
removes the least element in the set". Summary: the intervals are SETS
not PROCESSES.
OTOH, I've no idea why Andre would think bringing that up would help PO.
Andre should explain for himself of course, I'm just waffling :)
One thing I think doesn't help anyone is calling A the "first" point in
the interval, as this language in and of itself encourages the idea that
there is a second, third, forth element and so on, when there isn't.
(So "least" element is a bit better, keeping in mind that not all sets
of real numbers have a least element.)
>
> Of course this doesn't imply that there's a "first element" of (A,B].
> There clearly isn't. (Pete has correctly recognized a contradiction,
> but has grabbed onto the wrong end of it.)
So what is the contradiction you believe PO has recognised?
Regards,
Mike.
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-16 20:53 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <15WdnXUEJcTmoR3AnZ2dnUU7-bXNnZ2d@giganews.com> |
| In reply to | #210865 |
On 9/16/2019 8:33 PM, Mike Terry wrote:
> On 16/09/2019 23:46, Keith Thompson wrote:
>> André G. Isaak <agisaak@gm.invalid> writes:
>> [...]
>>> I already replied to this post, but wanted to provide an alternative
>>> response in case you don't follow my earlier one.
>>>
>>> [A, B] is defined as all real numbers x such that A <= x <= B
>>>
>>> (A, B] is defined as all real numbers x such that A < x <= B
>>>
>>> What's important to realize here is that you don't get (A,B] by starting
>>> with [A,B] and 'removing the first point'. These are simply two
>>> different intervals. There is no operation involved in which you get one
>>> from the other.
>>
>> I disagree with that last statement, and would be interested in a
>> demonstration that I'm wrong about that.
>>
>> [A,B] is a set of real numbers. (A,B] can be constructed by taking
>> [A,B] and removing a single element, namely A, and similarily vice
>> versa. All members of (A,B] are members of [A,B], and there is
>> exactly one real number that is a member of [A,B] and not of (A,B].
>
> OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation in which we get (A,B] from [A,B]. So you're right, but I sort of doubt that's exactly what Andre meant... (Just because it's obvious, and Andre seems reasonably clued up, so I'm sure
> he understands this.)
>
> I'm not sure what he was trying to say, but my guess would be that he's focussing on the basic /meaning/ of the intervals. The intervals are just sets of real numbers meeting the appropriate conditions. I.e. they are "static" mathematical objects, sort
> of "beyond time". Hmm, that's not clear. Specifically the open interval is NOT "some kind of "process" which starts with the closed interval, and THEN (step 2) removes the least element in the set". Summary: the intervals are SETS not PROCESSES.
>
So we are in total agreement up to here. I referred to it is a process only to make the meaning of each set more clear.
> OTOH, I've no idea why Andre would think bringing that up would help PO. Andre should explain for himself of course, I'm just waffling :)
>
> One thing I think doesn't help anyone is calling A the "first" point in the interval, as this language in and of itself encourages the idea that there is a second, third, forth element and so on, when there isn't. (So "least" element is a bit better,
> keeping in mind that not all sets of real numbers have a least element.)
>
It seems clear that [1, 2] has both a first point: 1.0 and a least element.
Likewise for (1, 2], yet the real number associated with this first point might not exist:
1.00000...1 or 1.0 + 1/∞ is as close as I can figure.
>>
>> Of course this doesn't imply that there's a "first element" of (A,B].
>> There clearly isn't. (Pete has correctly recognized a contradiction,
>> but has grabbed onto the wrong end of it.)
>
> So what is the contradiction you believe PO has recognised?
>
> Regards,
> Mike.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2019-09-16 21:55 -0600 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <qlplg7$8im$1@dont-email.me> |
| In reply to | #210867 |
On 2019-09-16 7:53 p.m., peteolcott wrote:
> On 9/16/2019 8:33 PM, Mike Terry wrote:
>> On 16/09/2019 23:46, Keith Thompson wrote:
>>> André G. Isaak <agisaak@gm.invalid> writes:
>>> [...]
>>>> I already replied to this post, but wanted to provide an alternative
>>>> response in case you don't follow my earlier one.
>>>>
>>>> [A, B] is defined as all real numbers x such that A <= x <= B
>>>>
>>>> (A, B] is defined as all real numbers x such that A < x <= B
>>>>
>>>> What's important to realize here is that you don't get (A,B] by
>>>> starting
>>>> with [A,B] and 'removing the first point'. These are simply two
>>>> different intervals. There is no operation involved in which you get
>>>> one
>>>> from the other.
>>>
>>> I disagree with that last statement, and would be interested in a
>>> demonstration that I'm wrong about that.
>>>
>>> [A,B] is a set of real numbers. (A,B] can be constructed by taking
>>> [A,B] and removing a single element, namely A, and similarily vice
>>> versa. All members of (A,B] are members of [A,B], and there is
>>> exactly one real number that is a member of [A,B] and not of (A,B].
>>
>> OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation
>> in which we get (A,B] from [A,B]. So you're right, but I sort of
>> doubt that's exactly what Andre meant... (Just because it's obvious,
>> and Andre seems reasonably clued up, so I'm sure he understands this.)
>>
>> I'm not sure what he was trying to say, but my guess would be that
>> he's focussing on the basic /meaning/ of the intervals. The intervals
>> are just sets of real numbers meeting the appropriate conditions.
>> I.e. they are "static" mathematical objects, sort of "beyond time".
>> Hmm, that's not clear. Specifically the open interval is NOT "some
>> kind of "process" which starts with the closed interval, and THEN
>> (step 2) removes the least element in the set". Summary: the
>> intervals are SETS not PROCESSES.
>>
>
> So we are in total agreement up to here. I referred to it is a process
> only to make the meaning of each set more clear.
>
>> OTOH, I've no idea why Andre would think bringing that up would help
>> PO. Andre should explain for himself of course, I'm just waffling :)
>>
>> One thing I think doesn't help anyone is calling A the "first" point
>> in the interval, as this language in and of itself encourages the idea
>> that there is a second, third, forth element and so on, when there
>> isn't. (So "least" element is a bit better, keeping in mind that not
>> all sets of real numbers have a least element.)
>>
>
> It seems clear that [1, 2] has both a first point: 1.0 and a least element.
> Likewise for (1, 2], yet the real number associated with this first
This second part is 'clear' only because you are conceptualizing the
reals as countable entities which they are not (that was the whole point
of Cantor's proof).
(1, 2] includes all reals which are less than or equal to 2 and whose
greatest lower bound is 1. That means that it includes all reals <= 2
which are arbitrarily close to, but not equal to, one. The important
word here is 'arbitrarily'. It doesn't matter how close to 1 you get --
unless you are actually equal to 1, you can always get closer to 1.
There is no 'smallest real greater than 1' anymore than there is any
'largest number'.
> point might not exist:
> 1.00000...1 or 1.0 + 1/∞ is as close as I can figure.
Neither of those are legitimate numbers. You can't specify a repeating
decimal with a final 1 since there is no final decimal place. And you
can't divide by ∞ because ∞ isn't a number.
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.
[toc] | [prev] | [next] | [standalone]
| From | Keith Thompson <kst-u@mib.org> |
|---|---|
| Date | 2019-09-16 19:21 -0700 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <ln1rwfaciq.fsf@kst-u.example.com> |
| In reply to | #210865 |
Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes:
> On 16/09/2019 23:46, Keith Thompson wrote:
[...]
>> Of course this doesn't imply that there's a "first element" of (A,B].
>> There clearly isn't. (Pete has correctly recognized a contradiction,
>> but has grabbed onto the wrong end of it.)
>
> So what is the contradiction you believe PO has recognised?
I don't believe there's any point in going into it. If you really
want to know what I was referring to, ask again and I'll answer
(though I'd have to look back through his posts, not something I'm
eager to do).
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2019-09-16 21:40 -0600 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <qlpkkg$52p$1@dont-email.me> |
| In reply to | #210865 |
On 2019-09-16 7:33 p.m., Mike Terry wrote:
> On 16/09/2019 23:46, Keith Thompson wrote:
>> André G. Isaak <agisaak@gm.invalid> writes:
>> [...]
>>> I already replied to this post, but wanted to provide an alternative
>>> response in case you don't follow my earlier one.
>>>
>>> [A, B] is defined as all real numbers x such that A <= x <= B
>>>
>>> (A, B] is defined as all real numbers x such that A < x <= B
>>>
>>> What's important to realize here is that you don't get (A,B] by starting
>>> with [A,B] and 'removing the first point'. These are simply two
>>> different intervals. There is no operation involved in which you get one
>>> from the other.
>>
>> I disagree with that last statement, and would be interested in a
>> demonstration that I'm wrong about that.
>>
>> [A,B] is a set of real numbers. (A,B] can be constructed by taking
>> [A,B] and removing a single element, namely A, and similarily vice
>> versa. All members of (A,B] are members of [A,B], and there is
>> exactly one real number that is a member of [A,B] and not of (A,B].
>
> OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation in
> which we get (A,B] from [A,B]. So you're right, but I sort of doubt
> that's exactly what Andre meant... (Just because it's obvious, and
> Andre seems reasonably clued up, so I'm sure he understands this.)
>
> I'm not sure what he was trying to say, but my guess would be that he's
> focussing on the basic /meaning/ of the intervals. The intervals are
> just sets of real numbers meeting the appropriate conditions. I.e. they
> are "static" mathematical objects, sort of "beyond time". Hmm, that's
> not clear. Specifically the open interval is NOT "some kind of
> "process" which starts with the closed interval, and THEN (step 2)
> removes the least element in the set". Summary: the intervals are SETS
> not PROCESSES.
>
> OTOH, I've no idea why Andre would think bringing that up would help PO.
> Andre should explain for himself of course, I'm just waffling :)
Yeah, the account I offered in my earlier post was kind of mangled. My bad.
The main point I was trying to get across with that post was that the
real numbers in a given interval can't be ordered as smallest, second
smallest, third smallest, etc. I shouldn't really have claimed that
there was no 'ordering' among reals - that was a rather unfortunate
choice of terms, but rather that there is nothing akin to a successor
relation in terms of which they can be ordered.
It is possible for an interval to have a smallest element, but it is
certainly not guaranteed. In a closed interval, there will be a smallest
element but only because the interval is defined as including its
greatest lower bound. For an open interval, this is not the case.
I wanted to get him away from trying to derive the open interval from
the closed interval and instead to focus on the defining properties of
the intervals simply because he is determined to impose something akin
to a successor relation on his intervals despite the fact that no such
relation exists.
You're correct, though, that this probably isn't going to actually
clarify things for Pete.
André
--
To email remove 'invalid' & replace 'gm' with well known Google mail
service.
[toc] | [prev] | [next] | [standalone]
| From | Keith Thompson <kst-u@mib.org> |
|---|---|
| Date | 2019-09-16 21:38 -0700 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently |
| Message-ID | <lnwoe78rlb.fsf@kst-u.example.com> |
| In reply to | #210873 |
André G. Isaak <agisaak@gm.invalid> writes:
[...]
> Yeah, the account I offered in my earlier post was kind of mangled. My bad.
>
> The main point I was trying to get across with that post was that the
> real numbers in a given interval can't be ordered as smallest, second
> smallest, third smallest, etc. I shouldn't really have claimed that
> there was no 'ordering' among reals - that was a rather unfortunate
> choice of terms, but rather that there is nothing akin to a successor
> relation in terms of which they can be ordered.
>
> It is possible for an interval to have a smallest element, but it is
> certainly not guaranteed. In a closed interval, there will be a smallest
> element but only because the interval is defined as including its
> greatest lower bound. For an open interval, this is not the case.
>
> I wanted to get him away from trying to derive the open interval from
> the closed interval and instead to focus on the defining properties of
> the intervals simply because he is determined to impose something akin
> to a successor relation on his intervals despite the fact that no such
> relation exists.
>
> You're correct, though, that this probably isn't going to actually
> clarify things for Pete.
Thanks for the clarification.
Here's my attempt to refute the idea that (A,B] has a least element.
I'm not trying to argue with Pete (though I expect he'll see this and
respond to it).
Briefly, if (0,1] has a least member, what about the result of dividing
that member by 2?
In more detail, (0,1] is the half-open interval consisting of
the real numbers between 0 and 1, including 1 but excluding 0.
Assume that this interval has a least element, an element x such
that for each member m of the interval, either x<m or x=m.
Let y=x/2. If we're dealing with real numbers, then 0<y<x, and y
is a member of the interval and is less than x -- contradicting
the original assertion that x is the least element. Conclusion:
the interval (a set of real numbers) has no least element.
Arbitrarily inventing a new notation, let _(0,1]_ be a set of, um,
something or other. It includes all the real numbers in (0,1],
and it may also include some other things, each of which is greater
than 0, less than or equal to 1, and somewhere on the "number line"
between 0 and 1. Some of the non-real elements might be points,
or infinitesimals. I'll assert that for any two members of *this*
set, exactly one of a<b, a=b, a>b is true.
I can imagine that *this* set has a least element. For example
we can define "iota" as an infinitesimal, something that is not a
real number but that has a location on the number line, directly
adjacent to the real number 0. It is greater than 0 and less than
any positive real number.
For the same argument I used to demonstrate that x is not the least
member of the interval *not* to apply to iota, one of the following
must be true:
- iota/2 <= 0
- iota/2 >= iota
- iota/2 is not defined
Though we can define something like this, I'm having difficulty
thinking of a way to define it that is consistent *and useful*.
We need the non-real members of the interval to behave radically
differently under common arithmetic operations. Not that there's
anything wrong with that, but it seems to require inventing a set
that's even denser than the reals, but is nevertheless in some
vague sense discrete rather than continuous. As far as I can tell
(and it's very likely I've missed something), most proposed systems
of infinitesimals do not have this property.
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-17 00:24 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <ta2dnSAhV7qH8x3AnZ2dnUU7-S_NnZ2d@giganews.com> |
| In reply to | #210878 |
On 9/16/2019 11:38 PM, Keith Thompson wrote:
> André G. Isaak <agisaak@gm.invalid> writes:
> [...]
>> Yeah, the account I offered in my earlier post was kind of mangled. My bad.
>>
>> The main point I was trying to get across with that post was that the
>> real numbers in a given interval can't be ordered as smallest, second
>> smallest, third smallest, etc. I shouldn't really have claimed that
>> there was no 'ordering' among reals - that was a rather unfortunate
>> choice of terms, but rather that there is nothing akin to a successor
>> relation in terms of which they can be ordered.
>>
>> It is possible for an interval to have a smallest element, but it is
>> certainly not guaranteed. In a closed interval, there will be a smallest
>> element but only because the interval is defined as including its
>> greatest lower bound. For an open interval, this is not the case.
>>
>> I wanted to get him away from trying to derive the open interval from
>> the closed interval and instead to focus on the defining properties of
>> the intervals simply because he is determined to impose something akin
>> to a successor relation on his intervals despite the fact that no such
>> relation exists.
>>
>> You're correct, though, that this probably isn't going to actually
>> clarify things for Pete.
>
> Thanks for the clarification.
>
> Here's my attempt to refute the idea that (A,B] has a least element.
> I'm not trying to argue with Pete (though I expect he'll see this and
> respond to it).
>
> Briefly, if (0,1] has a least member, what about the result of dividing
> that member by 2?
>
If you stay stuck on only thinking of points on a number line in
terms of their correspondence to real numbers then every analysis
will seem to indicate there is no first point.
On 9/16/2019 8:33 PM, Mike Terry wrote:
> On 16/09/2019 23:46, Keith Thompson wrote:
>> [A,B] is a set of real numbers. (A,B] can be constructed by taking
>> [A,B] and removing a single element, namely A, and similarily vice
>> versa. All members of (A,B] are members of [A,B], and there is
>> exactly one real number that is a member of [A,B] and not of (A,B].
>
> OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation
> in which we get (A,B] from [A,B]. So you're right...
If we can envision a single point difference between two intervals then
we only need to carry this same reasoning through to the subsequent
single point difference between two intervals to establish the basis
for the infinitesimal number system.
When we resort to looking at these things only through real numbers
it seems like a defined boundary suddenly turns blurry only because
real numbers make this boundary blurry.
> In more detail, (0,1] is the half-open interval consisting of
> the real numbers between 0 and 1, including 1 but excluding 0.
> Assume that this interval has a least element, an element x such
> that for each member m of the interval, either x<m or x=m.
>
> Let y=x/2. If we're dealing with real numbers, then 0<y<x, and y
> is a member of the interval and is less than x -- contradicting
> the original assertion that x is the least element. Conclusion:
> the interval (a set of real numbers) has no least element.
>
> Arbitrarily inventing a new notation, let _(0,1]_ be a set of, um,
> something or other. It includes all the real numbers in (0,1],
> and it may also include some other things, each of which is greater
> than 0, less than or equal to 1, and somewhere on the "number line"
> between 0 and 1. Some of the non-real elements might be points,
> or infinitesimals. I'll assert that for any two members of *this*
> set, exactly one of a<b, a=b, a>b is true.
>
> I can imagine that *this* set has a least element. For example
> we can define "iota" as an infinitesimal, something that is not a
> real number but that has a location on the number line, directly
> adjacent to the real number 0. It is greater than 0 and less than
> any positive real number.
>
Sure there you go that is the idea.
> For the same argument I used to demonstrate that x is not the least
> member of the interval *not* to apply to iota, one of the following
> must be true:
>
> - iota/2 <= 0
> - iota/2 >= iota
> - iota/2 is not defined
>
> Though we can define something like this, I'm having difficulty
> thinking of a way to define it that is consistent *and useful*.
> We need the non-real members of the interval to behave radically
> differently under common arithmetic operations. Not that there's
> anything wrong with that, but it seems to require inventing a set
> that's even denser than the reals, but is nevertheless in some
> vague sense discrete rather than continuous. As far as I can tell
> (and it's very likely I've missed something), most proposed systems
> of infinitesimals do not have this property.
>
My ONLY purpose in this is to show that all infinities have the same
cardinality. As soon as I make any significant breakthrough my
work will be taken much more seriously and reviews will become enormously
more effective thus progressing my work much more efficiently.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-17 11:39 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <ibOdnb2x4-fNkRzAnZ2dnUU7-IPNnZ2d@giganews.com> |
| In reply to | #210881 |
On 9/17/2019 2:22 AM, Zelos Malum wrote:
>> If we can envision a single point difference between two intervals then
> we only need to carry this same reasoning through to the subsequent
> single point difference between two intervals to establish the basis
> for the infinitesimal number system.
>
> No you cannot, because you have not established any "value" to these, and what it even means.
>
Both Mike Terry and Keith Thompson already agree on how this applies
to the difference between [A,B] and (A,B]. Keith Thompson then goes
on to fill in most of the rest of the details of how this is extended
to subsequent points in his 16/09/2019 23:46 post.
On 9/16/2019 8:33 PM, Mike Terry wrote:
> On 16/09/2019 23:46, Keith Thompson wrote:
>> [A,B] is a set of real numbers. (A,B] can be constructed by taking
>> [A,B] and removing a single element, namely A, and similarily vice
>> versa. All members of (A,B] are members of [A,B], and there is
>> exactly one real number that is a member of [A,B] and not of (A,B].
>
> OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation
> in which we get (A,B] from [A,B]. So you're right...
>> My ONLY purpose in this is to show that all infinities have the same
> cardinality. As soon as I make any significant breakthrough my
> work will be taken much more seriously and reviews will become enormously
> more effective thus progressing my work much more efficiently.
>
> Considering the incoherent nonsense you spew here, I woudln't hold my braeth if I was you.
>
Two other people already agree that it is not incoherent nonsense.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
| From | Fred <Fred@nowhere.invalid> |
|---|---|
| Date | 2019-09-17 17:55 +0100 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <qlr358$mbm$1@news.albasani.net> |
| In reply to | #210922 |
On 17/09/2019 17:39, peteolcott wrote:
> On 9/17/2019 2:22 AM, Zelos Malum wrote:
>>> If we can envision a single point difference between two intervals then
>> we only need to carry this same reasoning through to the subsequent
>> single point difference between two intervals to establish the basis
>> for the infinitesimal number system.
>>
>> No you cannot, because you have not established any "value" to these,
>> and what it even means.
>>
>
> Both Mike Terry and Keith Thompson already agree on how this applies
> to the difference between [A,B] and (A,B]. Keith Thompson then goes
> on to fill in most of the rest of the details of how this is extended
> to subsequent points in his 16/09/2019 23:46 post.
>
> On 9/16/2019 8:33 PM, Mike Terry wrote:
> > On 16/09/2019 23:46, Keith Thompson wrote:
> >> [A,B] is a set of real numbers. (A,B] can be constructed by taking
> >> [A,B] and removing a single element, namely A, and similarily vice
> >> versa. All members of (A,B] are members of [A,B], and there is
> >> exactly one real number that is a member of [A,B] and not of (A,B].
> >
> > OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation
> > in which we get (A,B] from [A,B]. So you're right...
>
>
>>> My ONLY purpose in this is to show that all infinities have the same
>> cardinality. As soon as I make any significant breakthrough my
>> work will be taken much more seriously and reviews will become enormously
>> more effective thus progressing my work much more efficiently.
>>
>> Considering the incoherent nonsense you spew here, I woudln't hold my
>> braeth if I was you.
>>
>
> Two other people already agree that it is not incoherent nonsense.
>
Who are they?
[toc] | [prev] | [next] | [standalone]
| From | Mike Terry <news.dead.person.stones@darjeeling.plus.com> |
|---|---|
| Date | 2019-09-17 18:38 +0100 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <r6mdncTyPdGBhxzAnZ2dnUU78LPNnZ2d@brightview.co.uk> |
| In reply to | #210922 |
On 17/09/2019 17:39, peteolcott wrote: > On 9/17/2019 2:22 AM, Zelos Malum wrote: >>> If we can envision a single point difference between two intervals then >> we only need to carry this same reasoning through to the subsequent >> single point difference between two intervals to establish the basis >> for the infinitesimal number system. >> >> No you cannot, because you have not established any "value" to these, >> and what it even means. >> > > Both Mike Terry and Keith Thompson already agree on how this applies > to the difference between [A,B] and (A,B]. Keith Thompson then goes > on to fill in most of the rest of the details of how this is extended > to subsequent points in his 16/09/2019 23:46 post. > Please stop trying to tell others what I agree with and disagree with. You are WAY to stupid to properly understand the nuanced viewpoints of others, and whether or not they are "agreeing" with you. Mike.
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-17 13:17 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <3qydnUDBMIatvhzAnZ2dnUU7-cOdnZ2d@giganews.com> |
| In reply to | #210931 |
On 9/17/2019 12:38 PM, Mike Terry wrote:
> On 17/09/2019 17:39, peteolcott wrote:
>> On 9/17/2019 2:22 AM, Zelos Malum wrote:
>>>> If we can envision a single point difference between two intervals then
>>> we only need to carry this same reasoning through to the subsequent
>>> single point difference between two intervals to establish the basis
>>> for the infinitesimal number system.
>>>
>>> No you cannot, because you have not established any "value" to these,
>>> and what it even means.
>>>
>>
>> Both Mike Terry and Keith Thompson already agree on how this applies
>> to the difference between [A,B] and (A,B]. Keith Thompson then goes
>> on to fill in most of the rest of the details of how this is extended
>> to subsequent points in his 16/09/2019 23:46 post.
>>
>
> Please stop trying to tell others what I agree with and disagree with.
I presented the specific context of your agreement:
On 9/16/2019 8:33 PM, Mike Terry wrote:
> OK, so (A,B] = [A,B] - {A}, and that can be counted as an "operation
> in which we get (A,B] from [A,B]. So you're right...
The above shows that we can subtract a single point from an interval
and thus derive another interval that does not have the subtracted point.
The concept of the Infinitesimal number system merely provides the
notational conventions to carry this same process forward to subsequent
points on the number line.
SO YOU DID AGREE WITH ME AND IN A BIG WAY.
YOU CAN LIKE THIS OR LUMP THIS I REALLY DON'T CARE.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
| From | Keith Thompson <kst-u@mib.org> |
|---|---|
| Date | 2019-09-17 11:13 -0700 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <lnd0fy94fs.fsf@kst-u.example.com> |
| In reply to | #210922 |
peteolcott <Here@Home> writes:
> On 9/17/2019 2:22 AM, Zelos Malum wrote:
>>> If we can envision a single point difference between two intervals then
>> we only need to carry this same reasoning through to the subsequent
>> single point difference between two intervals to establish the basis
>> for the infinitesimal number system.
>>
>> No you cannot, because you have not established any "value" to these,
>> and what it even means.
>
> Both Mike Terry and Keith Thompson already agree on how this applies
> to the difference between [A,B] and (A,B]. Keith Thompson then goes
> on to fill in most of the rest of the details of how this is extended
> to subsequent points in his 16/09/2019 23:46 post.
Do not mistake my statement for agreement with you.
[...]
>> Considering the incoherent nonsense you spew here, I woudln't hold my
>> braeth if I was you.
>
> Two other people already agree that it is not incoherent nonsense.
Do not make claims about what you think I believe.
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */
[toc] | [prev] | [next] | [standalone]
| From | peteolcott <Here@Home> |
|---|---|
| Date | 2019-09-17 13:29 -0500 |
| Subject | Re: Cantor was wrong about cardinality --- Reals are defined inconsistently (some concurrence). |
| Message-ID | <Aqmdnaz0FoicuxzAnZ2dnUU7-YnNnZ2d@giganews.com> |
| In reply to | #210934 |
On 9/17/2019 1:13 PM, Keith Thompson wrote: > peteolcott <Here@Home> writes: >> On 9/17/2019 2:22 AM, Zelos Malum wrote: >>>> If we can envision a single point difference between two intervals then >>> we only need to carry this same reasoning through to the subsequent >>> single point difference between two intervals to establish the basis >>> for the infinitesimal number system. >>> >>> No you cannot, because you have not established any "value" to these, >>> and what it even means. >> >> Both Mike Terry and Keith Thompson already agree on how this applies >> to the difference between [A,B] and (A,B]. Keith Thompson then goes >> on to fill in most of the rest of the details of how this is extended >> to subsequent points in his 16/09/2019 23:46 post. > > Do not mistake my statement for agreement with you. > > [...] >>> Considering the incoherent nonsense you spew here, I woudln't hold my >>> braeth if I was you. >> >> Two other people already agree that it is not incoherent nonsense. > > Do not make claims about what you think I believe. > On 9/16/2019 11:38 PM, Keith Thompson wrote: > Arbitrarily inventing a new notation, let _(0,1]_ be a set of, um, > something or other. It includes all the real numbers in (0,1], > and it may also include some other things, each of which is greater > than 0, less than or equal to 1, and somewhere on the "number line" > between 0 and 1. Some of the non-real elements might be points, > or infinitesimals. I'll assert that for any two members of *this* > set, exactly one of a<b, a=b, a>b is true. > > I can imagine that *this* set has a least element. For example > we can define "iota" as an infinitesimal, something that is not a > real number but that has a location on the number line, directly > adjacent to the real number 0. It is greater than 0 and less than > any positive real number. > > For the same argument I used to demonstrate that x is not the least > member of the interval *not* to apply to iota, one of the following > must be true: > > - iota/2 <= 0 > - iota/2 >= iota > - iota/2 is not defined > > Though we can define something like this, I'm having difficulty > thinking of a way to define it that is consistent *and useful*. > We need the non-real members of the interval to behave radically > differently under common arithmetic operations. Not that there's > anything wrong with that, but it seems to require inventing a set > that's even denser than the reals, but is nevertheless in some > vague sense discrete rather than continuous. As far as I can tell > (and it's very likely I've missed something), most proposed systems > of infinitesimals do not have this property. > I unequivocally proved the fact that you accepted key elements of my concept of infinitesimal numbers: On 9/16/2019 11:38 PM, Keith Thompson wrote: > we can define "iota" as an infinitesimal, something that is not a > real number but that has a location on the number line, directly > adjacent to the real number 0. It is greater than 0 and less than > any positive real number. If you really hate agreeing with me then be deceitful and disingenuous like most everyone else. -- Copyright 2019 Pete Olcott All rights reserved "Great spirits have always encountered violent opposition from mediocre minds." Albert Einstein
[toc] | [prev] | [next] | [standalone]
Page 10 of 17 — ← Prev page 1 … 8 9 [10] 11 12 … 17 Next page →
Back to top | Article view | sci.logic
csiph-web