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

Groups > comp.theory > #59383

Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract]

Show all headers | View raw

On 11/5/2022 12:05 PM, Mr Flibble wrote:
> On Sat, 5 Nov 2022 09:47:27 -0500
> olcott <polcott2@gmail.com> wrote:
> 
>> The novel concept of a simulating halt decider enables C function H
>> to correctly determine the halt status of C function D that
>> implements the halting theorem's "impossible" input. When D is
>> correctly simulated by H it remains stuck in recursive simulation
>> until H aborts this simulation. D cannot do the opposite of the
>> return value from H because this return value is unreachable by every
>> simulated D. This same result is derived in Turing machine based
>> proofs.
>>
>> On 11/4/2022 9:33 AM, olcott wrote:
>>> Can you see that simulating halt decider H correctly determines the
>>> halt status of the halting problem's "impossible" input D?
>>>
>>> void D(void (*x)())
>>> {
>>>     int Halt_Status = H(x, x);
>>>     if (Halt_Status)
>>>       HERE: goto HERE;
>>>     return;
>>> }
>>>
>>> int main()
>>> {
>>>     Output("Input_Halts = ", H(D, D));
>>> }
>>>
>>> https://www.researchgate.net/publication/364657019_Simulating_Halt_Decider_Applied_to_the_Halting_Theorem
>>>    
>>
> 
> As I said before it is sufficient to detect nested simulation to assert
> the presence of a category error; trying to map that to a valid halting
> decision of non-halting muddies the water and implies no such category
> error exists which is wrong: nested simulation PREVENTS a halting
> decision being made because of the category error present in [Strachey
> 1965] and the proofs predicated on it.  Again: you don't have to abort
> simulation or give an artificial halting decision of non-halting to
> refute the halting problem proofs, the simple presence of the category
> error does that.
> 
> /Flibble
> 

Unlike with Gödel's incompleteness theorem and the Tarski undefinability 
theorem with mathematical formulas that can only just sit on the page, 
TM's have intelligence and can take corrective action for what would 
otherwise simply be a category error.

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

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

Thread

Simulating Halt Decider Applied to the Halting Theorem olcott <polcott2@gmail.com> - 2022-11-04 09:33 -0500
  Re: Simulating Halt Decider Applied to the Halting Theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-04 15:09 +0000
    Re: Simulating Halt Decider Applied to the Halting Theorem olcott <polcott2@gmail.com> - 2022-11-04 10:28 -0500
  Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 09:47 -0500
    Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-05 17:05 +0000
      Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 13:10 -0500
        Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-05 21:02 +0000
          Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 16:42 -0500
            Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-05 21:57 +0000
              Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 17:05 -0500
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-06 01:13 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-05 21:54 -0400
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-06 14:09 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-06 09:34 -0500
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-06 23:09 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-06 18:24 -0500
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-07 18:28 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-07 13:03 -0600
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-06 08:40 -0600
        Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-05 17:06 -0400

csiph-web