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

Groups > comp.theory > #53364

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

From Mr Flibble <flibble@reddwarf.jmc>
Newsgroups comp.theory
Subject Should any program that calls a halt decider be considered pathological?
Message-ID <20220703173125.0000646f@reddwarf.jmc> (permalink)
Organization Jupiter Mining Corp
Date 2022-07-03 17:31 +0100

Show all headers | View raw

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

Back to comp.theory | Previous | Next — Next 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