Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!gem.mps.ohio-state.edu!uakari.primate.wisc.edu!xanth!mcnc!duke!romeo!crm
From: crm@romeo.cs.duke.edu (Charlie Martin)
Newsgroups: comp.software-eng
Subject: Re: CS education [engineering, mathematics, and computer science]
Message-ID: <16111@duke.cs.duke.edu>
Date: 16 Nov 89 17:54:00 GMT
References: <8911092042.AA21382@ctc.contel.com> <34754@regenmeister.uucp> <1398@cs.rit.edu>
Sender: news@duke.cs.duke.edu
Reply-To: crm@romeo.UUCP (Charlie Martin)
Organization: Duke University CS Dept.; Durham, NC
Lines: 8

I think Mike Lutz was onto something here: there is a difference between
the USE of mathmatics by engineers and the discovery/invention of new
mathematics by mathematicians.  But in terms of the specific question
of greater formalism in software engineering, we still have the problem
that many of the mathematical tools we need are not yet
discovered/invented.

Charlie Martin (crm@cs.duke.edu,mcnc!duke!crm)