Re: ALL undecidability is unmasked

From	Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Newsgroups	sci.logic, sci.math, comp.theory
Subject	Re: ALL undecidability is unmasked
Date	2026-07-18 20:07 +0100
Organization	A noiseless patient Spider
Message-ID	<113gith$3poot$1@dont-email.me> (permalink)
References	(2 earlier) <1135uij$jkp7$1@dont-email.me> <1137irk$129ir$2@dont-email.me> <113872s$18m8m$1@dont-email.me> <113a6kv$294sm$1@dont-email.me> <113fivv$2vrdh$2@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

On 18/07/2026 11:02, Fred. Zwarts wrote:
> Op 16.jul.2026 om 11:01 schreef Fred. Zwarts:
>> Op 15.jul.2026 om 16:56 schreef olcott:
>>> On 7/15/2026 4:11 AM, Fred. Zwarts wrote:
>>>> 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.
>>>>
>>>
>>> You must bother to understand what properties that
>>> a system having only basic facts would have. How
>>> many actual facts are not true?
>>>
>>>> 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?
>>
>> We see that Olcott disagrees with the results of his system, but he does not want to choose 
>> whether he thinks it proves him wrong.
>> This unmasks Olcott's ideas as incoherent and useless.
> 
> Olcott did not react. Probably, he does not know of a counter-argument. We may agree that this is 
> the final conclusion about his ideas.

Um, ok - we all agree you've defeated him!!  Well done.  :)

PO has not posted for a few days, but we can be fairly confident that it's /not/ because he finally 
recognises he has been proved wrong on anything he's claiming.  It will be down to something going 
on in his life, e.g. the need for medical treatment (worse case: his death), house needing attention 
(maybe it has burned down in wildfires?), being arrested or imprisoned for something, etc..   PO has 
had /many/ previous absences much longer than 3 days before resuming posting, so I wouldn't 
celebrate any victory prematurely!


Mike.

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