Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!uakari.primate.wisc.edu!ames!elroy.jpl.nasa.gov!decwrl!megatest!djones
From: djones@megatest.UUCP (Dave Jones)
Newsgroups: comp.software-eng
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <12178@goofy.megatest.UUCP>
Date: 1 Mar 90 00:10:57 GMT
References: <3236@umn-d-ub.D.UMN.EDU>
Organization: Megatest Corporation, San Jose, Ca
Lines: 16

From article <3236@umn-d-ub.D.UMN.EDU>, by phil@umn-d-ub.D.UMN.EDU (Philosophy Dept):
...
> 
> My arguments concern whether computer science should be viewed as a branch of
> pure mathematics or as a branch of applied mathematics.
>

I can't tell you how it 'should be viewed'. (Through rose colored glasses?)
But kind of job almost everybody with computer science degrees actually does
for a living is neither mathematics nor science. It's mostly technical
writing and engineering.  (That's what I do, and my degree is master of
_science_ in _mathematics_, for Pete's sake.  Go figure.)



       Dave (Welcome to College - Here's Your High-Horse) Jones