Re: [PO] halting problem reading comprehension

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 08/30/04 

Date: Mon, 30 Aug 2004 23:17:45 GMT

"Chris Menzel" <cmenzel@remove-this.tamu.edu> wrote in message news:slrncj689o.od8.cmenzel@philebus.tamu.edu...
> On Mon, 30 Aug 2004 12:06:20 GMT, Peter Olcott <olcott@worldnet.att.net> said:
> > I have set a simple and precise standard for refuting my position that
> > does meet the burden of proof of prving a negative.
>
> Alas, there already *is* a standard for refutation than which none
> simpler or more precise can be conceived: prove that no TM computes the
> Halts function. Or, to avoid the Horror Negativa, let's be positive
> about it: every TM computes a function other than the Halts function.
> That's what Turing showed. Sad that your inability to comprehend his
> simple proof has led you on your rather pitiable wild goose chase.
>
> > If you want to join in with this feel free. The standard is simply to
> > find an input that my method can not correctly process. I am current
> > working with news_to_me@comcast.net (underscrose added for emphasis) on
> > this basis for one of my models.
>
> Too bad you don't "work with" Turing.

When I say specifically refute my methods, I mean
to provide the exact details of exactly how my methods
are disabled.

Relevant Pages

  • Re: [PO] halting problem reading comprehension
    ... >> I have set a simple and precise standard for refuting my position that ... Or, to avoid the Horror Negativa, let's be positive ... every TM computes a function other than the Halts function. ... then this truth could be used to ...
    (sci.logic)
  • Re: [PO] halting problem reading comprehension
    ... > I have set a simple and precise standard for refuting my position that ... Or, to avoid the Horror Negativa, let's be positive ... every TM computes a function other than the Halts function. ... Too bad you don't "work with" Turing. ...
    (sci.logic)
  • Re: [PO] halting problem reading comprehension
    ... > I have set a simple and precise standard for refuting my position that ... Or, to avoid the Horror Negativa, let's be positive ... every TM computes a function other than the Halts function. ... Too bad you don't "work with" Turing. ...
    (comp.theory)