Xref: utzoo comp.theory:187 alt.flame:14123
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!usc!apple!agate!usenet
From: gsmith@garnet.berkeley.edu (Gene W. Smith)
Newsgroups: comp.theory,alt.flame
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <1990Jan15.022718.27647@agate.berkeley.edu>
Date: 15 Jan 90 02:27:18 GMT
References: <1990Jan11.105904.16516@agate.berkeley.edu> <672@s5.Morgan.COM>
Sender: usenet@agate.berkeley.edu (USENET Administrator;;;;ZU44)
Reply-To: gsmith@garnet.berkeley.edu (Gene W. Smith)
Organization: Garnet Gang Gems of Wisdom, Inc.
Lines: 28
In-reply-to: amull@Morgan.COM (Andrew P. Mullhaupt)

In article <672@s5.Morgan.COM>, amull@Morgan (Andrew P. Mullhaupt) writes:

>This is a clear statement of your opinion; but why should I pay
>any attention to it? The subject in question is essentially
>mathematical, and is of interest in mathematics in its own right.

  Asking whether, as a practical matter, proving correctness is a
good programming technique is not a mathematical question.

>Just because you aren't aware of this doesn't mean you can
>advertise your ignorance with impunity.

  Just because you are a moron doesn't mean you should be
obnoxious about it.

>I would welcome any attempt you might mount to give an informed
>opinion regarding why proofs do not 'belong' in this or that
>subject or newsgroup.

  There *were* no proofs, jackass, there were a bunch of
pointless arguments *about* proofs.

  Anyway, why cross-post to a zillion different groups? Pick one
or two groups and pollute them, leaving the rest of us alone.
--
ucbvax!garnet!gsmith    Gene Ward Smith/Brahms Gang/Berkeley CA 94720
        Fifty flippant frogs / Walked by on flippered feet
    And with their slime they made the time / Unnaturally fleet.