Groups > comp.theory > #19894

Re: Cantor was wrong about cardinality --- COMPLETE (Andy Didn't Goof)

From	Andy Walker <anw@cuboid.co.uk>
Newsgroups	comp.theory
Subject	Re: Cantor was wrong about cardinality --- COMPLETE (Andy Didn't Goof)
Date	2019-09-16 11:52 +0100
Organization	Not very much
Message-ID	<qlnph6$la9$1@gioia.aioe.org> (permalink)
References	(17 earlier) <_cWdnWHrEoivMubAnZ2dnUU7-c_NnZ2d@giganews.com> <qlggfd$dug$1@gioia.aioe.org> <lOudnQtUHoYWi-DAnZ2dnUU7-QvNnZ2d@giganews.com> <qljqg8$1336$1@gioia.aioe.org> <e8qdnTvIS6aD7ODAnZ2dnUU7-S_NnZ2d@giganews.com>

Show all headers | View raw

On 15/09/2019 00:00, peteolcott wrote:
>>> It is self evident that there is a bijection between the set of
>>> points on a number line and the set of all numbers.
>>      No, that is not self-evident, and it is not even true for
>> some definitions of "number". 
> If there is a number that is not on the number line that is
> like a non existent thing that exists even though it does
> not exist.

	[I realise that there is no helping PO, but others may
find some of what follows interesting.]

	It would help if you understood what a number is;  but
you don't.  Or what a line is;  but you don't.  Or bijections,
proofs, ....  You are in the position of a barrack-room lawyer
who thinks the law operates entirely by common sense, dismisses
all the subtleties as "extraneous detail", and, worse, refuses
even to acknowledge that other countries may have different laws
from the ones he thinks are "self-evident".  Or of a preacher
who believes not only that his religion is the One True way --
all religions do that -- but that no other religion even exists.

	There is a reason why the quite simple things that
Cantor, Godel, Turing, ... discuss weren't discovered hundreds
of years earlier.  For several centuries, the new discoveries
of modern-ish algebra, co-ordinate geometry, logarithms and
exponentials, calculus, differential equations, complex numbers,
and much else besides kept mathematicians, and scientists more
generally, busy without worrying too much about rigour.  Only
when the cracks -- the "extraneous detail" -- started to appear
did people go back to basics, to discover that what was "self-
evident" to some was not so obvious to others, and in many
cases wasn't even true.  Lots of new mathematics came out of
the drive to get the foundations right.

	It was filling in those cracks that made people think
more carefully about the limitations of the way maths/science
had developed.  There is no longer One True Mathematics [though
some fundamentalists still affect to believe so].  There are
different sorts of number, different sorts of logic, different
computers, quantum mechanics, ..., no one more or less valid
than the others, and none of them guaranteed to be the version
adopted by intelligent life elsewhere in the Universe.

-- 
Andy Walker,
Nottingham.

Thread

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) temakoutera62@gmail.com - 2019-09-11 17:28 -0700
  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) peteolcott <Here@Home> - 2019-09-11 20:59 -0500
      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) peteolcott <Here@Home> - 2019-09-12 11:14 -0500
          Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Deceptive Strawman by Ben peteolcott <Here@Home> - 2019-09-12 21:00 -0500
            Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Deceptive Strawman by Ben David Kleinecke <dkleinecke@gmail.com> - 2019-09-12 19:11 -0700
              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 peteolcott <Here@Home> - 2019-09-13 11:48 -0500
          Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 13:09 -0500
            Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 16:06 -0500
            Re: Cantor was wrong about cardinality --- APOLOGY peteolcott <Here@Home> - 2019-09-14 19:24 -0500
              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? 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 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 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 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 Andy Walker <anw@cuboid.co.uk> - 2019-09-16 23:44 +0100
                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 Andy Walker <anw@cuboid.co.uk> - 2019-09-17 17:04 +0100
                Re: Cantor was wrong about cardinality --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-17 12:06 -0500
                Re: Cantor was wrong about cardinality --- Reals are defined inconsistently Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-17 02:57 +0100
                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 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 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). 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 (Concurrence) peteolcott <Here@Home> - 2019-09-17 11:20 -0500
                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 --- 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 peteolcott <Here@Home> - 2019-09-17 17:51 -0500
                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 --- (Mike Terry Concurrence ] peteolcott <Here@Home> - 2019-09-19 11:46 -0500
                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 ] 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 --- Reals are defined inconsistently peteolcott <Here@Home> - 2019-09-16 11:02 -0500
                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? peteolcott <Here@Home> - 2019-09-16 22:39 -0500
                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? 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 --- [ CONCURRENCE ] peteolcott <Here@Home> - 2019-09-18 11:10 -0500
    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) peteolcott <Here@Home> - 2019-09-13 11:28 -0500
                Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) Andy Walker <anw@cuboid.co.uk> - 2019-09-13 17:34 +0100
                Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-14 11:34 -0500
                Re: Cantor was wrong about cardinality --- COMPLETE Andy Walker <anw@cuboid.co.uk> - 2019-09-14 23:44 +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 Didn't Goof) Andy Walker <anw@cuboid.co.uk> - 2019-09-16 11:52 +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 peteolcott <Here@Home> - 2019-09-14 19:36 -0500
                Re: Cantor was wrong about cardinality --- COMPLETE peteolcott <Here@Home> - 2019-09-16 10:21 -0500
        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) peteolcott <Here@Home> - 2019-09-13 13:03 -0500
          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) André G. Isaak <agisaak@gm.invalid> - 2019-09-14 22:00 -0600
    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) peteolcott <Here@Home> - 2019-09-16 10:26 -0500
    Re: Provably unprovable eliminates incompleteness (Cantor was wrong about cardinality) peteolcott <Here@Home> - 2019-09-16 18:24 -0500
      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) 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) Andy Walker <anw@cuboid.co.uk> - 2019-09-19 15:27 +0100
                Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 10:35 -0500
                Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 11:42 -0500
                Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 12:43 -0500
                Re: Provably unprovable eliminates incompleteness (NO GAPS) peteolcott <Here@Home> - 2019-09-19 10:24 -0500
        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) peteolcott <Here@Home> - 2019-09-19 17:13 -0500
            Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-19 19:49 -0500
              Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) David Kleinecke <dkleinecke@gmail.com> - 2019-09-19 20:37 -0700
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Andy Walker <anw@cuboid.co.uk> - 2019-09-20 09:12 +0100
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-20 12:55 +0100
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Andy Walker <anw@cuboid.co.uk> - 2019-09-21 11:13 +0100
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Kaz Kylheku <847-115-0292@kylheku.com> - 2019-09-21 14:55 +0000
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Andy Walker <anw@cuboid.co.uk> - 2019-09-21 16:30 +0100
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-21 15:22 -0500
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-22 12:09 +0100
                Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-20 13:08 +0100
              Re: Provably unprovable eliminates incompleteness (CONCISE RESTATEMENT) peteolcott <Here@Home> - 2019-09-21 09:45 -0500

csiph-web