Re: on deciding the undecidable

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory
Subject	Re: on deciding the undecidable
Date	2025-09-29 10:25 -0500
Organization	A noiseless patient Spider
Message-ID	<10be8dr$33b24$1@dont-email.me> (permalink)
References	(1 earlier) <10b8bl4$1jvqb$1@dont-email.me> <10b90ad$1pip1$1@dont-email.me> <10basq8$28b5r$1@dont-email.me> <10bbg66$2d8qf$2@dont-email.me> <10bdjcd$2tf49$1@dont-email.me>

Show all headers | View raw

On 9/29/2025 4:26 AM, Mikko wrote:
> On 2025-09-28 14:19:49 +0000, olcott said:
> 
>> On 9/28/2025 3:49 AM, Mikko wrote:
>>> On 2025-09-27 15:36:43 +0000, olcott said:
>>>
>>>> On 9/27/2025 4:44 AM, Mikko wrote:
>>>>> On 2025-09-18 21:30:00 +0000, dart200 said:
>>>>>
>>>>>> so what is my resolution? *context-sensitive deciders* you can 
>>>>>> formulate
>>>>>> this via either 3-value or a pair of 2 value deciders, but you need
>>>>>> context-sensitivity in both to deal with paradoxical input 
>>>>>> machines, and
>>>>>> still remain able to convey the truth of the matter where such truth
>>>>>> actually remains relevant.
>>>>>
>>>>> The halting problem for Turing machines requires that the decider is
>>>>> a Turing machine. A Truing machine is not sensitive to its context.
>>>>> Therefore the above "resolution" is not applicable to the halting
>>>>> problem of Turing machines.
>>>>
>>>> Can they be made sensitive to their context by
>>>> restricting them to a specific interface?
>>>
>>> Restricting the interface may remove abilities but not add. In order
>>> to add abilities like context sensitivity requires an exension to the
>>> interface or some other extension.
>>>
>>>> The LLMs that examined my code could see the full
>>>> context.
>>>
>>> Apparently not. The full context includes the larger context
>>> of the context.
>>
>> The full context is the same context that my
>> x86utm operating system level termination
>> analyzer sees. It can see main-->DD() at its
>> beginning.
> 
> No, it is not. The full context includes you and your motivation as
> well as everything in texbooks on formal languages and automata.
> 

The execution context when DD() is invoked from main().
This is different than when DD is simulated by HHH(DD)
invoked form main().

HHH does measure the semantic halting property
specified by the finite string input to HHH(DD)
because this *FINITE STRING INPUT* does specify
that HHH simulates DD and then simulates an instance
of itself simulating an instance of DD that calls
yet another instance of HHH in recursive simulation
again.

DD() invoked from main() does not specify this.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Thread

Re: on deciding the undecidable Mikko <mikko.levanto@iki.fi> - 2025-09-27 12:44 +0300
  Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-27 12:50 -0700
    Re: on deciding the undecidable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-27 12:55 -0700
  Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-27 12:19 -0500
  Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-27 09:12 -0700
    Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-27 11:15 -0500
      Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-27 11:39 -0500
        Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-27 10:13 -0700
      Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 16:51 +0000
        Re: on deciding the undecidable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-27 12:36 -0700
      Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-27 09:32 -0700
  Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-27 13:58 -0500
    Re: on deciding the undecidable Richard Damon <Richard@Damon-Family.org> - 2025-09-28 20:18 -0400
  Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-27 10:36 -0500
    Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 16:50 +0000
    Re: on deciding the undecidable Mikko <mikko.levanto@iki.fi> - 2025-09-28 11:49 +0300
      Re: on deciding the undecidable sion F2 <sionf2@drum.cc> - 2025-09-28 06:30 -0500
      Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-28 09:19 -0500
        Re: on deciding the undecidable Mikko <mikko.levanto@iki.fi> - 2025-09-29 12:26 +0300
          Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-29 10:25 -0500
            Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 16:55 +0000
              Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-29 13:12 -0500
                Re: on deciding the undecidable Richard Damon <Richard@Damon-Family.org> - 2025-09-29 22:32 -0400
            Re: on deciding the undecidable Richard Damon <Richard@Damon-Family.org> - 2025-09-29 22:32 -0400
            Re: on deciding the undecidable Mikko <mikko.levanto@iki.fi> - 2025-09-30 13:31 +0300
              Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-30 12:56 -0500
                Re: on deciding the undecidable Mikko <mikko.levanto@iki.fi> - 2025-10-01 11:36 +0300
                Re: on deciding the undecidable Olcott's paradigm shift olcott <polcott333@gmail.com> - 2025-10-01 08:24 -0500
                Re: on deciding the undecidable Olcott's paradigm shift "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-01 22:16 -0700
                Re: on deciding the undecidable Olcott's paradigm shift Mikko <mikko.levanto@iki.fi> - 2025-10-02 11:39 +0300
    Re: on deciding the undecidable Richard Damon <Richard@Damon-Family.org> - 2025-09-28 20:18 -0400

csiph-web