Re: Provably unprovable eliminates incompleteness

From	David Brown <david.brown@hesbynett.no>
Newsgroups	comp.lang.c++, comp.ai.philosophy, comp.lang.prolog, comp.lang.lisp
Subject	Re: Provably unprovable eliminates incompleteness
Date	2019-09-10 09:01 +0200
Organization	A noiseless patient Spider
Message-ID	<ql7hnn$52u$1@dont-email.me> (permalink)
References	<YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com> <ql25og$fnm$1@news.albasani.net> <581781046.589713241.741596.DerTopper-web.de@news.eternal-september.org> <T9mdnX__WZbR9OvAnZ2dnUU7-R_NnZ2d@giganews.com>

Cross-posted to 4 groups.

Show all headers | View raw

On 09/09/2019 17:01, peteolcott wrote:

> 
> https://en.wikipedia.org/wiki/Continuum_hypothesis
> It turns out that the basis concept of cardinality is ill-formed.

No, it is not.  Cardinality is a mathematical concept with a
mathematical definition.  It turns out that we can do useful and
interesting things depending on certain extra features that we can
choose to define, or not to define, but that does not make the
definition ill-formed in any sense.

> All infinities are the same size.

Absolute drivel.

> 
> The number of real numbers is the number of adjacent geometric
> points on a number line, countable using integers.
> 

The cardinality of the set of real numbers is /easily/ shown to be
bigger than the cardinality of the integers (countable infinity).
(Well, /easily/ if you know that kind of mathematics.)

Since you posted a link to the Wikipedia article on the Continuum
Hypothesis, did you actually attempt to read it?  The second line sums
up the hypothesis:

"""
There is no set whose cardinality is strictly between that of the
integers and the real numbers.
"""

The implication from this is that you have at least two different sizes
of infinity, the cardinality of integers (aleph_0) and the cardinality
of real numbers (2 ^ aleph_0).  Whether you accept the continuum
hypothesis or not, you can't get past that sentence and still think
those two cardinalities are the same size.

Thread

Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-08-08 12:15 -0500
  Re: Provably unprovable eliminates incompleteness Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-08-08 21:28 +0100
  Re: Provably unprovable eliminates incompleteness Dhu on Gate <campbell@neotext.ca> - 2019-09-08 06:06 +0000
    Re: Provably unprovable eliminates incompleteness Stuart Redmann <DerTopper@web.de> - 2019-09-09 11:30 +0200
      Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-09 10:01 -0500
        Re: Provably unprovable eliminates incompleteness Mr Flibble <flibble@i42.removethisbit.co.uk> - 2019-09-09 21:38 +0100
          Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-09 18:05 -0500
        Re: Provably unprovable eliminates incompleteness David Brown <david.brown@hesbynett.no> - 2019-09-10 09:01 +0200
          Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-10 10:38 -0500
            Re: Provably unprovable eliminates incompleteness Reinhardt Behm <rbehm@hushmail.com> - 2019-09-11 15:31 +0800
              Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) peteolcott <Here@Home> - 2019-09-11 12:04 -0500
                Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) Reinhardt Behm <rbehm@hushmail.com> - 2019-09-12 10:20 +0800
                Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) peteolcott <Here@Home> - 2019-09-11 23:51 -0500
                [OT] Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-09-12 04:20 -0700
                Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) Keith Thompson <kst-u@mib.org> - 2019-09-12 01:22 -0700
                [OT] Re: Provably unprovable eliminates incompleteness (cardinality is incorrect) James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-09-11 19:52 -0700
            Re: Provably unprovable eliminates incompleteness Juha Nieminen <nospam@thanks.invalid> - 2019-09-12 22:07 +0000
              Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-12 18:53 -0500
                Re: Provably unprovable eliminates incompleteness Keith Thompson <kst-u@mib.org> - 2019-09-12 17:47 -0700
                [OT] Re: Provably unprovable eliminates incompleteness James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-09-12 19:00 -0700
                Re: Provably unprovable eliminates incompleteness Juha Nieminen <nospam@thanks.invalid> - 2019-09-13 08:14 +0000
                Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-13 09:35 -0500
                Re: Provably unprovable eliminates incompleteness Mr Flibble <flibble@i42.removethisbit.co.uk> - 2019-09-13 15:55 +0100
                Re: Provably unprovable eliminates incompleteness--- [ Cantor was wrong about cardinality ] peteolcott <Here@Home> - 2019-09-14 13:35 -0500
                Re: Provably unprovable eliminates incompleteness--- [ Cantor was wrong about cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-14 22:52 +0100
                Re: Provably unprovable eliminates incompleteness--- [ Cantor was wrong about cardinality ] peteolcott <Here@Home> - 2019-09-14 17:18 -0500
                Re: Provably unprovable eliminates incompleteness--- [ Cantor was wrong about cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-14 23:30 +0100
                Re: Provably unprovable eliminates incompleteness--- [ Cantor was wrong about cardinality ] peteolcott <Here@Home> - 2019-09-14 17:42 -0500
                Re: Provably unprovable eliminates incompleteness--- [ Cantor was wrong about cardinality ] Jeff Barnett <jbb@notatt.com> - 2019-09-14 18:12 -0600
                Re: Provably unprovable eliminates incompleteness Juha Nieminen <nospam@thanks.invalid> - 2019-09-15 08:09 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 09:50 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-16 17:13 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 11:24 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-16 17:30 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 12:08 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-16 18:15 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 13:35 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-16 20:02 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 14:48 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-16 22:26 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 18:11 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-16 18:12 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] guinness.tony@gmail.com - 2019-09-17 00:16 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-09-16 17:54 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-09-17 09:10 -0400
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-17 08:11 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-17 11:48 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] David Brown <david.brown@hesbynett.no> - 2019-09-17 21:10 +0200
                Re: Provably unprovable eliminates incompleteness [ Keith and Mike basis for Infinitesimal numbers ] peteolcott <Here@Home> - 2019-09-17 14:30 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-17 08:05 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-17 11:45 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-17 18:14 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-17 12:36 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-17 19:45 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-17 20:09 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-17 14:14 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-17 18:59 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Keith Thompson <kst-u@mib.org> - 2019-09-17 11:10 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-17 13:48 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Keith Thompson <kst-u@mib.org> - 2019-09-17 12:01 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-18 07:35 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Öö Tiib <ootiib@hot.ee> - 2019-09-18 04:22 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2019-09-18 15:41 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-18 10:02 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-18 22:25 +0100
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-18 16:41 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-18 22:56 +0100
                [OT] Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] James Kuyper <jameskuyper@alumni.caltech.edu> - 2019-09-18 19:59 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-18 21:34 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-18 16:42 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-19 17:54 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-19 13:26 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-20 08:06 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 13:37 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-19 16:07 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 15:04 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-19 17:32 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-20 08:10 +0000
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 13:33 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-19 16:05 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 15:48 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] peteolcott <Here@Home> - 2019-09-19 18:00 -0500
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] David Brown <david.brown@hesbynett.no> - 2019-09-20 08:52 +0200
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Siri Cruise <chine.bleu@yahoo.com> - 2019-09-20 00:10 -0700
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] David Brown <david.brown@hesbynett.no> - 2019-09-20 10:11 +0200
                Re: Provably unprovable eliminates incompleteness [ All infinite sets have the same cardinality ] Juha Nieminen <nospam@thanks.invalid> - 2019-09-20 08:25 +0000
                Re: Provably unprovable eliminates incompleteness Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 13:13 -0700
              Re: Provably unprovable eliminates incompleteness Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 12:54 -0700
                Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-19 15:09 -0500
            Re: Provably unprovable eliminates incompleteness Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 12:45 -0700
        Re: Provably unprovable eliminates incompleteness Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 12:34 -0700
          Re: Provably unprovable eliminates incompleteness [ COMPLETE-2 ] peteolcott <Here@Home> - 2019-09-19 14:58 -0500
            Re: Provably unprovable eliminates incompleteness [ COMPLETE-2 ] Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 15:57 -0700
              Re: Provably unprovable eliminates incompleteness [ COMPLETE-2 ] peteolcott <Here@Home> - 2019-09-19 18:10 -0500
                Re: Provably unprovable eliminates incompleteness [ COMPLETE-2 ] Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk> - 2019-09-20 13:18 +0100
      Re: Provably unprovable eliminates incompleteness Louis Valence <lvalence@example.com> - 2019-09-09 17:43 -0300
      Re: Provably unprovable eliminates incompleteness Siri Cruise <chine.bleu@yahoo.com> - 2019-09-19 12:28 -0700
        Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-19 15:04 -0500
    Re: Provably unprovable eliminates incompleteness peteolcott <Here@Home> - 2019-09-09 09:57 -0500
  Re: Provably unprovable eliminates incompleteness Keith Thompson <kst-u@mib.org> - 2019-09-09 13:30 -0700

csiph-web