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

From: Alan Smaill (smaill_at_inf.ed.ac.uk)
Date: 08/26/04 

Date: Thu, 26 Aug 2004 03:20:00 +0100

"peter_douglass" <baisly@gis.net> writes:

> "Peter Olcott" <olcott@worldnet.att.net> wrote in message
> news:zH5Wc.235964$OB3.118719@bgtnsc05-news.ops.worldnet.att.net...
>
>> "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.
>
> Do you like Mozart? I personally think the 40th and 41st
> symphonies are among the best music ever written. The guy
> was a total genius.

I agree.

The clarinet quintet, from the same time, is particularly
beautiful.

> --PeterD
>

AS

Relevant Pages