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

Groups > comp.theory > #53373

Re: Should any program that calls a halt decider be considered pathological?

Show all headers | View raw

On 7/3/22 12:31 PM, Mr Flibble wrote:
> Hi!
> 
> Should any program that calls a halt decider be considered
> pathological?
> 
> Specifically is a program that calls a halt decider but
> discards the result (rather than behaving differently to what the
> decider decides thereby being an "impossible program") be considered
> pathological?
> 
> Olcott's thesis is predicated on all programs that reference a halt
> decider be considered pathological even though his halt decider does
> not return a value to its caller which is counter to the definition of
> a valid halt decider.
> 
> /Flibble
> 

There is nothing "Patholgical" about one Turing Machine/Program using 
another.

In fact, the whole purpose of designing a Halt Decider is to let it be 
embedded in another program to help it decide on things.

if anything, the "Pathology" isn't in the program itself, but in doing 
BOTH the act contrary and process a representation of yourself, but 
there is nothing "incorrect" about that "pathology".

Note, one impression I get from his descriptions of H and his x86UTM 
system is that the code to H doesn't actually meet the requirements of 
the code that his system is designed to process (H calls stuff that 
"user" programs aren't allowed to do) and as such H can't actually 
emulate the code of H, so doesn't actually even attempt to correctly 
emulate calls to H but handle calls to H specially.

Thus, to Peter's H, ANY function that calls H is a pathological 
condition as it is the case that H can't actually do what it claims to 
do, that is correctly emulate its input.

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

Thread

Should any program that calls a halt decider be considered pathological? Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 17:31 +0100
  Re: Should any program that calls a halt decider be considered pathological? olcott <NoOne@NoWhere.com> - 2022-07-03 11:45 -0500
    Re: Should any program that calls a halt decider be considered pathological? Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 17:55 +0100
      Re: Should any program that calls a halt decider be considered pathological? olcott <NoOne@NoWhere.com> - 2022-07-03 12:07 -0500
        Re: Should any program that calls a halt decider be considered pathological? Mr Flibble <flibble@reddwarf.jmc> - 2022-07-03 18:12 +0100
          Re: Should any program that calls a halt decider be considered pathological? olcott <NoOne@NoWhere.com> - 2022-07-03 12:17 -0500
        Re: Should any program that calls a halt decider be considered pathological? Richard Damon <Richard@Damon-Family.org> - 2022-07-03 13:49 -0400
  Re: Should any program that calls a halt decider be considered pathological? Richard Damon <Richard@Damon-Family.org> - 2022-07-03 13:47 -0400

csiph-web