Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site quest.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!stolaf!mmm!umn-cs!quest!dave
From: dave@quest.UUCP (David Messer)
Newsgroups: net.ai,net.philosophy
Subject: Re: A halting problem
Message-ID: <323@quest.UUCP>
Date: Mon, 20-Jan-86 03:30:07 EST
Article-I.D.: quest.323
Posted: Mon Jan 20 03:30:07 1986
Date-Received: Wed, 22-Jan-86 04:21:55 EST
References: <2175@aecom.UUCP>
Distribution: net
Organization: Quest Research Inc., Burnsville, MN
Lines: 13
Xref: watmath net.ai:3198 net.philosophy:3865

> 	The human mind, on the other hand, given enough time an
> practice, can find an endless loop in any procedure. (You doubt this?)

Yes.  I'd like to see your proof of that statement.  I have noticed
that I sometimes reach a point in debugging where I have to give up
and admit that I seem to not be able to find a bug.  I usually rewrite
the program at that point.  Perhaps the programs I have trouble with
really can't be corrected.  Or perhaps I don't have a human mind.
-- 

David Messer   UUCP:  ...ihnp4!quest!dave
                      ...ihnp4!encore!vaxine!spark!14!415!sysop
               FIDO:  14/415 (SYSOP)