Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!csd4.csd.uwm.edu!markh
From: markh@csd4.csd.uwm.edu (Mark William Hopkins)
Newsgroups: comp.ai
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <1958@uwm.edu>
Date: 18 Jan 90 16:17:26 GMT
References: <16479@joshua.athertn.Atherton.COM> <1455@krafla.rhi.hi.is> <16665@joshua.athertn.Atherton.COM> <10289@microsoft.UUCP> <1928@uwm.edu> <11810@cs.yale.edu>
Sender: news@uwm.edu
Reply-To: markh@csd4.csd.uwm.edu (Mark William Hopkins)
Organization: University of Wisconsin-Milwaukee
Lines: 10

On program provability:

>I am among the skeptical regarding Hopkins' claims. If he has what he
>says, this represents a dramatic improvement in the state of software
>engineering...

Forgive me for saying so, but throughout this whole debate, I've expressed
extreme skepticism of THIS claim.  Surely software engineering is still not
living in the dark ages!  Are you implying that what I've made reference
above to something completely novel?