Re: Disproof of the Halting Problem's Conclusion

From: George Greene (greeneg_at_greeneg-cs.cs.unc.edu)
Date: 07/23/04 

Date: 23 Jul 2004 15:17:10 -0400

Chris Menzel <cmenzel@remove-this.tamu.edu> writes:

 : On Thu, 22 Jul 2004 00:05:33 GMT, Peter Olcott <olcott@worldnet.att.net>
 : said:
 : > It is not merely that I have not accepted a proof that everyone
 : > else accepts. It is that my disprove of this proof has not yet
 : > been found in error.
 :
 : Well, golly. I guess it wasn't clear to me that you thought you'd
 : "disproved" the proof -- not that it's ever been clear to me what you
 : think your doing. Be that as it may, if you've "disproved" the proof,
 : that means you think that either an invalid inference is made at some
 : point, or you think one of the premises is false. So perhaps it will be
 : useful if you explicitly identify the problem in a very clear and simple
 : statement of the Halting Problem.

PO has NEVER been able to STATE the halting problem.
The best he can do is provide a link to a treatment that
he doesn't understand, first at nerp and then at nist.

Relevant Pages