Re: Provably unprovable eliminates incompleteness

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From	Keith Thompson <kst-u@mib.org>
Newsgroups	comp.ai.philosophy, comp.lang.prolog, comp.lang.lisp, comp.lang.c++
Subject	Re: Provably unprovable eliminates incompleteness
Date	Mon, 09 Sep 2019 13:30:49 -0700
Organization	None to speak of
Lines	16
Message-ID	<lnd0g9rz46.fsf@kst-u.example.com> (permalink)
References	<YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com>
Mime-Version	1.0
Content-Type	text/plain; charset=us-ascii
Injection-Info	reader02.eternal-september.org; posting-host="e3f0ce09628fc05ecaa55b8e2409bd69"; logging-data="18341"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18chHGbRPBzQvU3GB0zdfD5"
User-Agent	Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock	sha1:SWyxFXfuJKmdHdTb+EpoTBwrJtE= sha1:ddSDft6zj9SUxYRdTQE82WbIPF0=
Xref	csiph.com comp.ai.philosophy:19090 comp.lang.prolog:9614 comp.lang.lisp:33256 comp.lang.c++:68287

Cross-posted to 4 groups.

Show key headers only | View raw

peteolcott <Here@Home> writes:
> "This sentence is unprovable" can be proven to be unprovable
> on the basis that its satisfaction derives a contradiction.
[...]

This has nothing to do with Prolog, Lisp, or C++, and probably
nothing to do with comp.ai.philosophy.  Please modify the
"Newsgroups:" header when posting followups -- or just don't post.

See comp.theory for the background of this discussion (it's probably
more than 90% of the content of that newsgroup).

-- 
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 */

Back to comp.lang.c++ | Previous | Next — Previous in thread | Find similar | Unroll thread

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