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

From	Mr Flibble <flibble@reddwarf.jmc>
Newsgroups	comp.theory, sci.logic, sci.math, comp.software-eng
Subject	Re: Should any program that calls a halt decider be considered pathological?
Message-ID	<20220703181236.00001fa3@reddwarf.jmc> (permalink)
References	<20220703173125.0000646f@reddwarf.jmc> <36adnTZiR-gKWlz_nZ2dnUU7_8xh4p2d@giganews.com> <20220703175545.000061f6@reddwarf.jmc> <dsOdnU5KqqR9UVz_nZ2dnUU7_8xh4p2d@giganews.com>
Organization	Jupiter Mining Corp
Date	2022-07-03 18:12 +0100

Cross-posted to 4 groups.

Show all headers | View raw

On Sun, 3 Jul 2022 12:07:43 -0500
olcott <NoOne@NoWhere.com> wrote:

> On 7/3/2022 11:55 AM, Mr Flibble wrote:
> > On Sun, 3 Jul 2022 11:45:10 -0500
> > olcott <NoOne@NoWhere.com> wrote:
> >   
> >> On 7/3/2022 11:31 AM, 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
> >>>      
> >>
> >> That you are trying to refute my paper without even looking at my
> >> paper is both stupid and dishonest.  
> > 
> > I have no intention of reading your paper until you stop behaving
> > dishonestly in this forum and actually start addressing the points
> > that people are making.
> > 
> > /Flibble
> >   
> 
> The point that you keep reinterating is that you do not fully
> comprehend the concept of unreachble code.

"stop behaving dishonestly in this forum"

/Flibble

Thread

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

csiph-web