Re: Done with Olcott. --- Kaz cannot think outside the box

From	Kaz Kylheku <046-301-5902@kylheku.com>
Newsgroups	comp.theory, sci.logic, sci.math
Subject	Re: Done with Olcott. --- Kaz cannot think outside the box
Date	2025-11-29 21:53 +0000
Organization	A noiseless patient Spider
Message-ID	<20251129133946.921@kylheku.com> (permalink)
References	(5 earlier) <10gdutv$330al$1@dont-email.me> <20251128211623.362@kylheku.com> <10gevft$3e7v9$1@dont-email.me> <20251129095348.21@kylheku.com> <10gfmmg$3njjo$1@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

On 2025-11-29, olcott <polcott333@gmail.com> wrote:
> On 11/29/2025 2:39 PM, Kaz Kylheku wrote:
>> On 2025-11-29, olcott <polcott333@gmail.com> wrote:
>>> On 11/28/2025 11:52 PM, Kaz Kylheku wrote:
>>>>> I have shown that the original assumptions are
>>>>> incoherent just like
>>>>
>>>> You have not. Only that your understanding is incoherent.
>>>>
>>>
>>> The halting problem instance is merely the Liar Paradox in disguise.
>> 
>> No, it isn't.
>> 
>> You're not even smart enough to keep straight in your head
>> what is part of the /problem/ and what is a /result/
>> of investigating the problem.
>> 
>> The Halting Problem is literally a sentence of the form: "can
>> a Turing machine calculate whether any Turing Machine halts".
>> 
>
> When the halting problem instance defines and input
> that does the opposite of whatever its decider reports
> this is structurally the same as the set of sentences
> that are true only when they are false and false only
> when they are true.

Only in the mind of an imbecile who can't think outside of the box.

Specifically, the [75, 95] box on the IQ scale.

The instance does not refer to any part of itself and assert
its negation. An external observer is required in order to
recognize a contradiction. There is a self-reference, but not
one that causes an infinite evaluation issue.

It is simulatenously true in that case that a certain decision
is being made, and that the program is behasving opposite to that.

These two situations easily coexist.

The contradiction between them is something that is externally
recognized; it doesn't threaten the well-formedness of the
case.

> All pathological self-reference is inherently
> semantically unsound.

Not all self-reference is "pathological". Liar Paradox? I would
say so. It has an obvious problem of not being evaluable, and so
if we adopt the word "pathological" for any such a problem,
it is pathological.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca

Thread

Re: Done with Olcott. --- Kaz cannot think outside the box olcott <NoOne@NoWhere.com> - 2025-11-28 20:41 -0600
  Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 02:58 +0000
    Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-28 21:25 -0600
      Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 04:17 +0000
        Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-28 23:05 -0600
          Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 05:52 +0000
            Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 08:20 -0600
              Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 20:39 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 14:56 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:34 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 14:16 -0800
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:05 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 21:53 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 16:01 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 22:57 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 17:24 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:08 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:07 -0500

csiph-web