Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: $Revision: 1.6.2.16 $; site prism.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!decvax!cca!prism!zrm
From: zrm@prism.UUCP
Newsgroups: net.ai
Subject: Re: AI and Turing's Thesis
Message-ID: <900003@prism.UUCP>
Date: Mon, 27-May-85 12:07:00 EDT
Article-I.D.: prism.900003
Posted: Mon May 27 12:07:00 1985
Date-Received: Fri, 31-May-85 23:57:07 EDT
References: <113@nvuxf.UUCP>
Lines: 4
Nf-ID: #R:nvuxf:-11300:prism:900003:000:182
Nf-From: prism!zrm    May 27 12:07:00 1985


All that the halting problem may mean is that proving the correctness of a
program may be a futile pursuit. But don't tell that to the Ada clones
making a living pursuing that goal.