Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uunet!mstan!amull
From: amull@Morgan.COM (Andrew P. Mullhaupt)
Newsgroups: comp.theory
Subject: Re: Reasons why you don't prove your programs are correct
Summary: Let's get real here...
Message-ID: <672@s5.Morgan.COM>
Date: 13 Jan 90 21:40:43 GMT
References: <1990Jan11.105904.16516@agate.berkeley.edu>
Organization: Morgan Stanley & Co. NY, NY
Lines: 23

In article <1990Jan11.105904.16516@agate.berkeley.edu>, gsmith@garnet.berkeley.edu (Gene W. Smith) writes:
> 
>   There has already been one request to get this crap out of
> sci.math. Not only do you jerks not listen, this subject is still
> cross-posted to a zillion other irrelevant groups.  Put this
> rubbish in comp.theory where it belongs, and try to remember that
> not everyone on the net is a CS weenie.
> --

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.
Just because you aren't aware of this doesn't mean you can advertise
your ignorance with impunity. One would naively expect that someone
truly interested in mathematics would be interested in the question
of the importance of proofs and their relative rigor in any subject.

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.

Later,
Andrew Mullhaupt