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

From: peter_douglass (baisly_at_gis.net)
Date: 08/22/04 

Date: Sun, 22 Aug 2004 17:42:35 GMT

"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

Relevant Pages