Re: Can returning a value change the value itself (in the Halting Problem)

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

Date: Sun, 22 Aug 2004 18:35:11 GMT

"peter_douglass" <baisly@gis.net> wrote in message news:fW4Wc.300518$%_6.49176@attbi_s01...
>
> "Peter Olcott" <olcott@worldnet.att.net> wrote in message
> news:_L4Wc.235808$OB3.206985@bgtnsc05-news.ops.worldnet.att.net...
>
> > It might be possible that I mislabeled your reasoning.
> > Since 95% of every refutation that is similar to the
> > form that you provided is a case of not understanding
> > the burden of proof requirements of proving a negative,
> > I don't spend much time studying any refutation that
> > takes this basic form.
>
> I took a course in algorithms not too long ago. Quite a few of
> the proofs involved took the form of reductio ad absurdum. I
> personally prefer constructive proofs, so I rewrote most of them
> in the form that *I* liked. It was a good exercise.
>
> --PeterD
>
>

Yet almost everyone that has used this method in the attempt
to disprove my claims have presumed that any contradiction
showed reductio ad absurdum. Most of the provided examples
really did not show this.

Relevant Pages