comp.lang.ada
 help / color / mirror / Atom feed
* Re: Off topic response to an off topic message--> was:Re: Software Engineering and Dreamers
@ 1997-06-05  0:00 Jon S Anthony
  1997-06-06  0:00 ` H. Blakely Williford
  0 siblings, 1 reply; 31+ messages in thread
From: Jon S Anthony @ 1997-06-05  0:00 UTC (permalink / raw)



In article <5n45ou$cio@squire.cen.brad.ac.uk> cgrussel@bradford.ac.uk (Vibrating Bum-Faced Goats) writes:

> What I'm trying to say here is that it could be argued (by me amongst 
> others) that the relationships between objects and phenomena exist 
> anyway. Mathematics is the ongoing creation of a extraordinarily rich and 
> diverse language which enables us to express those relationships. A 
> mathematician is creating a tool for scientists and engineers alike. It 
> may require a mathematician to make use of that tool at times but, at 
> it's very core, tool creation is what I believe to be the essence of maths.

Spoken like an engineer.  I don't think many scientists would actually
say this sort of thing.

Go read G.H.Hardy's _A Mathematician's Apology_.  Considering that (in
my experience anyway), the (vast) majority of mathematicians hold
basically the views expressed there, you will immediately see what a
"hornet's nest" you have just kicked.


> I don't see it as being different from any other language in that it 

You're still kicking...


> Distant unknown planets do not crash into their sun because no one there 
> has *discovered* the inverse square law. That relationship continues 
> to exist in a form unexpressable to the local inhabitants. 

So - how do you feel about the "Copenhagen interpretation" of QM?
Bohr's notion of "complimentarity"?  Just curious...


/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com





^ permalink raw reply	[flat|nested] 31+ messages in thread
* Re: Any research putting c above ada?
@ 1997-05-15  0:00 Jon S Anthony
  1997-05-23  0:00 ` Software Engineering and Dreamers Robert I. Eachus
  0 siblings, 1 reply; 31+ messages in thread
From: Jon S Anthony @ 1997-05-15  0:00 UTC (permalink / raw)



In article <Pine.SGI.3.95L.970514190923.17085C-100000@tower.york.ac.uk> T Wheeley <tw104@york.ac.uk> writes:

> On 2 May 1997, Jon S Anthony wrote:
> 
> > In article <3369FCAF.41C6@cca.rockwell.com> Roy Grimm <ragrimm@cca.rockwell.com> writes:
> > 
> > > "We're teaching Computer Science here.  If you want engineering, go to
> > > an engineering school."  That's the prevailing attitude with many of the
> > > CompSci programs at small liberal arts colleges.  They teach the
> > > "science" of programming almost as a subfield of Mathematics.  The
> > 
> > This is actually very apropos to the problem.  Most of what passes as
> > so called "computer science" is just watered down mathematics -
> > discrete mathematics (asymptotic algorithm analysis is fundamentally
> > various techniques of counting, i.e., a bit of combinatorics) and some
> > bits of formal logics (which is where the oft mentioned "halting
> > problem" and such comes from.)  Take this away and you don't have much
> > left - unless you have the _application_ of that mathematics, i.e.,
> > software engineering.
> > 
> > Well, there is the AI camp, but there too, if you look at what much of
> > this is, it's being/been covered by philosophers and CogScis (and
> > often with rather more perspicacity).
> 
> Well then let's not bother teaching computer science at all!  Why not just

Sounds like a good idea to me.


> make people do Maths + Philosophy degrees.  Yes it's the same stuff, but
> don't Physics and Chemistry both cover atoms and electron shells?  Don't
> both Biology and Chemistry cover Biological Chemistry?

Incorrect analogies.  These are all sciences which have their own core
subject which is well delineated.  The fact that they borrow from
ideas in other related sciences is irrelevant.  The point is that CS
has no such core subject area - _all_ it has is borrowed and then
watered down from other disciplines.


> The fact is that a CS degree combines all these factors into a single
> degree related to the study of computers, and puts them in the correct
> context.

This would be the start of something that made sense if the core
subject was _engineering software artifacts_.


> Yes the idea of dominance in sequences is part of computer science,
> but they way I was taught it in maths is not particularly relvant to
> the complexity of algorithms.

This sounds irrelevant.  _Counting_ is the core of complexity analysis
and that is a part of Combinatorics.  _Applying_ the various relevant
results of Combinatorics to _engineering_ problems in software is
perfectly sensible.  Attempting to dream up new ways of counting or
more sophisticated ways, or ways that handle new situations or
whatever is Combinatorics - not CS.


> Unless you have a very good understanding of the principles behind
> the maths in a maths degree, it will take you a lot of experience to
> become a good programmer (e.g. Knuth)

I seriously doubt this (as it is written).  As an example, exactly how
does understanding the ideas behind the proof of Quadratic Reciprocity
help you in "programming"??  How does an understanding of the topology
of the linear continuum needed to understand a proof of the FTC help
you in "programming"?  As far as that goes, how does a understanding
of the notions underlying FTC help?  Schroder-Bernstein theorem?  No
other engineering discipline needs this sort of understanding.  Heck,
no other _science_ needs this level of understanding.

 
> Of course there is a strong element of theory in CS degrees -- they want
> to get good research students to boost the department's standing against
> other universities, but you would have to have a poor department or be a
> poor student if you didn't pick up some of the fundamentals of good
> software design.

I think you just crossed over into Jay Martin flamage land - prepare
to be blow torched! :-)

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com





^ permalink raw reply	[flat|nested] 31+ messages in thread

end of thread, other threads:[~1997-07-21  0:00 UTC | newest]

Thread overview: 31+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-06-05  0:00 Off topic response to an off topic message--> was:Re: Software Engineering and Dreamers Jon S Anthony
1997-06-06  0:00 ` H. Blakely Williford
  -- strict thread matches above, loose matches on Subject: below --
1997-05-15  0:00 Any research putting c above ada? Jon S Anthony
1997-05-23  0:00 ` Software Engineering and Dreamers Robert I. Eachus
1997-05-23  0:00   ` Kaz Kylheku
1997-05-26  0:00     ` Fritz W Feuerbacher
1997-05-26  0:00       ` Kaz Kylheku
1997-05-30  0:00         ` Vibrating Bum-Faced Goats
1997-06-02  0:00           ` Jon S Anthony
     [not found]             ` <01bc7042$609289e0$cb61e426@DCorbit.solutionsiq.com>
1997-06-03  0:00               ` Off topic response to an off topic message--> was:Re: " H. Blakely Williford
1997-06-04  0:00                 ` Craig Franck
1997-06-03  0:00                   ` Spaceman Spiff
1997-06-09  0:00                     ` Kaz Kylheku
1997-06-09  0:00                     ` Ceri Stagg
1997-06-12  0:00                       ` Philip Brashear
1997-07-21  0:00                         ` Shmuel (Seymour J.) Metz
1997-06-09  0:00                     ` Robert Dewar
1997-06-10  0:00                   ` Vibrating Bum-Faced Goats
1997-06-04  0:00               ` Vibrating Bum-Faced Goats
1997-06-04  0:00                 ` �Stephen!
1997-06-05  0:00                   ` Kaz Kylheku
1997-06-06  0:00                     ` Volker Hetzer
     [not found]                 ` <01bc7a5b$9ccdd900$21320f9b@mindlin>
     [not found]                   ` <5o7ahj$oos$1@news12.gte.net>
1997-06-18  0:00                     ` Philip Hindman
1997-06-18  0:00                     ` Spam Hater
1997-06-18  0:00                       ` Spaceman Spiff
1997-06-19  0:00                         ` Stephan Wilms
1997-06-20  0:00                         ` Spam Hater
1997-06-19  0:00                       ` Mukesh Prasad
1997-06-19  0:00                     ` Craig Franck
1997-06-18  0:00                       ` Spaceman Spiff
1997-06-19  0:00                         ` Steve Howard
1997-06-19  0:00                           ` Anonymous
1997-06-20  0:00                         ` Spam Hater
1997-06-21  0:00                           ` Spaceman Spiff
1997-06-23  0:00                           ` root
1997-06-22  0:00                         ` Alicia Carla Longstreet
1997-06-19  0:00                       ` Stephan Wilms
1997-06-24  0:00                       ` David Thornley

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox