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

Groups > comp.theory > #130910

Re: on deciding the undecidable

From Mikko <mikko.levanto@iki.fi>
Newsgroups comp.theory
Subject Re: on deciding the undecidable
Date 2025-09-29 12:26 +0300
Organization -
Message-ID <10bdjcd$2tf49$1@dont-email.me> (permalink)
References <1758231000-7160@newsgrouper.org> <10b8bl4$1jvqb$1@dont-email.me> <10b90ad$1pip1$1@dont-email.me> <10basq8$28b5r$1@dont-email.me> <10bbg66$2d8qf$2@dont-email.me>

Show all headers | View raw

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.

-- 
Mikko

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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