Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c++ > #67464

Re: Provably unprovable eliminates incompleteness

Subject Re: Provably unprovable eliminates incompleteness
Newsgroups comp.ai.philosophy, comp.lang.prolog, comp.lang.lisp, comp.lang.c++
References <YdmdnSGX1cpdxdHAnZ2dnUU7-WXNnZ2d@giganews.com>
From Mr Flibble <flibbleREMOVETHISBIT@i42.co.uk>
Organization Jupiter Mining Corporation
Message-ID <3C%2F.5$3s7.3@fx01.fr7> (permalink)
Date 2019-08-08 21:28 +0100

Cross-posted to 4 groups.

Show all headers | View raw

On 08/08/2019 18:15, peteolcott wrote:
> "This sentence is unprovable" can be proven to be unprovable
> on the basis that its satisfaction derives a contradiction.
> 
> Proof that Wittgenstein is correct about Gödel
> https://www.researchgate.net/publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel 

Modulo the Sausage Conjecture of course.

/Flibble

-- 
"Snakes didn't evolve, instead talking snakes with legs changed into 
snakes." - Rick C. Hodgin

“You won’t burn in hell. But be nice anyway.” – Ricky Gervais

“I see Atheists are fighting and killing each other again, over who 
doesn’t believe in any God the most. Oh, no..wait.. that never happens.” – 
Ricky Gervais

"Suppose it's all true, and you walk up to the pearly gates, and are 
confronted by God," Bryne asked on his show The Meaning of Life. "What 
will Stephen Fry say to him, her, or it?"
"I'd say, bone cancer in children? What's that about?" Fry replied.
"How dare you? How dare you create a world to which there is such misery 
that is not our fault. It's not right, it's utterly, utterly evil."
"Why should I respect a capricious, mean-minded, stupid God who creates a 
world that is so full of injustice and pain. That's what I would say."

Back to comp.lang.c++ | Previous | Next — Previous in thread | Next 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