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

Groups > sci.logic > #348044

Re: ALL undecidability is unmasked

From "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups sci.logic, sci.math, comp.theory
Subject Re: ALL undecidability is unmasked
Date 2026-07-15 11:11 +0200
Organization A noiseless patient Spider
Message-ID <1137irk$129ir$2@dont-email.me> (permalink)
References <1133181$3n00p$1@dont-email.me> <1134nf4$6l06$1@dont-email.me> <1135uij$jkp7$1@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

Op 14.jul.2026 om 20:18 schreef olcott:
> On 7/14/2026 2:11 AM, Mikko wrote:
>> On 13/07/2026 18:46, olcott wrote:
>>> All undecidability is unmasked as semantic
>>> incoherence or outside of the body of knowledge.
>>
>> The sentence "Olcott's system is correct" would
> 
> be rejected as pathological.
Olcott has confirmed that he thinks that A is true.
Now he says that Olcott's system will reject this finite string A, 
because of a self-reference.
According to the system, A has no truth value.
So, Olcott and his system disagree about the truth value of A.

Olcott claims that his system will convince everybody about the truth.

We now see ourselves confronted with the ultimate test of the strength 
of Olcott's system:
Is the system strong enough to make Olcott change his opinion about A? 
Will he accept that we cannot prove that A is true?

If no.
If even Olcott himself does not accept the output of his own system, why 
would we believe that anybody else will accept it?

If yes.
If Olcott accepts that we cannot say that A is true, i.e. that his 
system is correct, why would anyone change his opinion because of the 
output of a system of which the correctness cannot be proven?

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-13 10:46 -0500
  Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:11 +0300
    Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 13:18 -0500
      Re: ALL undecidability is unmasked "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-15 11:11 +0200
        Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 09:56 -0500
          Re: ALL undecidability is unmasked "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-16 11:01 +0200
            Re: ALL undecidability is unmasked "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-18 12:02 +0200
              Re: ALL undecidability is unmasked Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2026-07-18 20:07 +0100
  Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-14 12:12 +0300
    Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 14:41 -0500
      Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 13:48 -0600
        Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 15:01 -0500
          Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 14:30 -0600
            Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 15:42 -0500
              Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:06 -0600
                Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 16:14 -0500
                Re: ALL undecidability is unmasked André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:34 -0600
                Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 13:48 +0100
      Re: ALL undecidability is unmasked Alan Mackenzie <acm@muc.de> - 2026-07-14 19:57 +0000
        Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-14 15:16 -0500
          Re: ALL undecidability is unmasked dbush <dbush.mobile@gmail.com> - 2026-07-14 16:18 -0400
          Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:35 +0300
            Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 10:31 -0500
              Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-16 12:16 +0300
          Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 14:17 +0100
      Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:25 +0300
        Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 10:14 -0500
          Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-15 20:18 +0100
            Re: ALL undecidability is unmasked olcott <polcott333@gmail.com> - 2026-07-15 14:44 -0500
              Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 19:21 +0100
              Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 19:21 +0100
            Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:11 +0300
              Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 12:30 +0100
                Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-19 11:55 +0300
                Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-19 10:49 +0100
                Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-20 10:54 +0300
                Re: ALL undecidability is unmasked Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-21 13:31 +0100
                Re: ALL undecidability is unmasked Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-21 08:43 -0700
                Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-22 09:58 +0300
          Re: ALL undecidability is unmasked dbush <dbush.mobile@gmail.com> - 2026-07-15 15:24 -0400
          Re: ALL undecidability is unmasked Mikko <mikko.levanto@iki.fi> - 2026-07-16 12:23 +0300

csiph-web