comp.lang.ada
 help / color / mirror / Atom feed
* Re: Any research putting c above ada?
@ 1997-05-15  0:00 Jon S Anthony
  1997-05-15  0:00 ` Kaz Kylheku
  1997-05-16  0:00 ` T Wheeley
  0 siblings, 2 replies; 195+ 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] 195+ messages in thread
* Re: Software Engineering and Dreamers
@ 1997-05-26  0:00 tmoran
  0 siblings, 0 replies; 195+ messages in thread
From: tmoran @ 1997-05-26  0:00 UTC (permalink / raw)



> > ... who outisde a great expensive
> > lab developed great leaps forward.  Some examples, please?>>
> Algol-60
> B-trees
> parallel computing (Illiac)
> time sharing
> virtual memory (U Manchester)

More background please.  U of Illinois and Manchester are hardly
someone's garage.  Where were Algol 60, B-trees, and time sharing
developed?  My memory only goes back to 1961 when both Algol and
time sharing already existed.




^ permalink raw reply	[flat|nested] 195+ messages in thread
* Re: Software Engineering and Dreamers
@ 1997-05-26  0:00 tmoran
  0 siblings, 0 replies; 195+ messages in thread
From: tmoran @ 1997-05-26  0:00 UTC (permalink / raw)



> > Besides ..., I start drawing blanks on who outisde a great expensive
> > lab developed great leaps forward.  Some examples, please?>>
> How about Donald Knuth?  You think maybe he made a little contribution?
  Yes, of course he made a contribution.  The question was who outside
a great expensive lab developed great leaps forward.  If Stanford
University was and is not "a great expensive lab", then what is?
  Note that until the late '70s rather few garages or spare bedrooms
contained computers.  Since then quite a few have.  I asked for some
additional examples of great leaps forward developed by dreamers in
their garage or spare bedroom, as opposed to computer professionals
working at major research universities or industrial labs.
  I enjoy the romantic notion of dreamers in their garrets producing the
paradigm shifting advances in computers as much as the next person,
but I'm having a hard time thinking of many examples.




^ permalink raw reply	[flat|nested] 195+ messages in thread
* Re: Software Engineering and Dreamers
@ 1997-05-27  0:00 Marin David Condic, 561.796.8997, M/S 731-93
  0 siblings, 0 replies; 195+ messages in thread
From: Marin David Condic, 561.796.8997, M/S 731-93 @ 1997-05-27  0:00 UTC (permalink / raw)



Tom Moran <tmoran@BIX.COM> writes:
>> All (or almost all) the really great leaps forward in computer technology
>> have come not from great, expensive, laboratories, engaged in highly
>> directed (commercially orientated) research
>  After thinking of Visicalc and Apple (which acually came after Wang,
>Basic 4, et al), I start drawing blanks on who outisde a great expensive
>lab developed great leaps forward.  Some examples, please?
>
>
    Borland Pascal, perhaps? And Unix/C maybe? (Big company, but it
    wasn't highly directed, commercially oriented research) Maybe the
    revolutionary new developments have not all come from garage
    operations, but they do seem to come more from a small group of
    really smart people who have the time to indulge in purely
    speculative endeavors instead of working on some well defined
    objective with a schedule and a budget.

    MDC

Marin David Condic, Senior Computer Engineer    ATT:        561.796.8997
Pratt & Whitney, GESP                           Fax:        561.796.4669
West Palm Beach, FL                             Internet:   CONDICMA@PWFL.COM
===============================================================================
    "The race is not always to the swift, nor the battle to the
    strong - but that's the way to bet."

        --  Damon Runyon
===============================================================================




^ permalink raw reply	[flat|nested] 195+ messages in thread
* Re: Software Engineering and Dreamers
@ 1997-05-28  0:00 Marin David Condic, 561.796.8997, M/S 731-93
  0 siblings, 0 replies; 195+ messages in thread
From: Marin David Condic, 561.796.8997, M/S 731-93 @ 1997-05-28  0:00 UTC (permalink / raw)



Kaz Kylheku <kaz@VISION.CREST.NT.COM> writes:
>Examples: writing software is not engineering, and the result is not
>technology, because principles of physics are not required to understand the
>internal semantics of software systems. Designing a pure logic circuit isn't
>engineering either, except when you have to solve implementation problems
>related to heat dissipation, capacitive or inductive coupling and other
>artifacts related to the _technology_.
>
    I'd have to disagree on some points here: Writing software may not
    be engineering, but engineering can involve writing software.
    Engineering does not require the application of physics - it
    requires the application of rules. Consider the spectrum: Art,
    Craft, Engineering, Science. Art is where software used to be 20
    years ago where some highly talented people just seemed to do it
    right. Craft got introduced as the experience base was built,
    research was done etc. Some standard "tricks of the trade" (like
    structured programming, data structures, etc.) got introduced and
    you had a "craft." Engineering has built on those "tricks of the
    trade" and started to produce much more formalized rules for the
    development of software. I'm not sure we're entirely there yet,
    but we've at least started the task. The "Science" part would come
    about when we've taken the formalized rules and established them
    as principles that can be verified by measurement and experiment.
    (Sort of going from "it always works that way - trust me" to "it
    works that way because of X and I can show you by the following
    experiment..."

    As for the "technology" debate - consider that the "ology" part
    means "study" and you can see that the word is about the study of
    technique. Anybody who has a technique for doing something which
    is studied and understood is in possession of a technology. I can
    have a technology for building obsidian tipped spears or a
    technology for building silicon transistors or a technology for
    building database software. Technology itself doesn't imply
    physics.

    I think it may have been Heisenberg who said "all science is
    either physics or it's stamp collecting". Perhaps that puts
    "Computer Science" in the stamp collecting mode, but no less so
    than Botany. That doesn't mean it can't be a "science"

    Just my 2p

    MDC

Marin David Condic, Senior Computer Engineer    ATT:        561.796.8997
Pratt & Whitney, GESP                           Fax:        561.796.4669
West Palm Beach, FL                             Internet:   CONDICMA@PWFL.COM
===============================================================================
    "The race is not always to the swift, nor the battle to the
    strong - but that's the way to bet."

        --  Damon Runyon
===============================================================================




^ permalink raw reply	[flat|nested] 195+ messages in thread
* Re: Software Engineering and Dreamers
@ 1997-05-29  0:00 Fritz W Feuerbacher
  1997-05-30  0:00 ` Kevin Cline
  0 siblings, 1 reply; 195+ messages in thread
From: Fritz W Feuerbacher @ 1997-05-29  0:00 UTC (permalink / raw)



Craig Franck (clfranck@worldnet.att.net) wrote:
: fwf27775@pegasus.cc.ucf.edu (Fritz W Feuerbacher) wrote:
: >Craig Franck (clfranck@worldnet.att.net) wrote:
: >
: >: (I don't think calculus is "technology" but represented an advancement of
: >: mathematics when it was invented by Newton (or that Leibnitz fellow)). 
: >
: >: So, a NAND gate is not technology, but transistors and the ability to 
: >
: >Isn't "technology" a relatively new word?

: I would imagine. The concept of technology and its diffusion through
: society started in Europe in the 16th century. This is from "The 

I sort of meant that Calculus was invented say about 300 years before the
word "technology" so if the word had existed when calculus was invented,
maybe it would have been used to describe something like "Mathematica
Thechnologitica" or something like that....





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

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

Thread overview: 195+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-05-15  0:00 Any research putting c above ada? Jon S Anthony
1997-05-15  0:00 ` Kaz Kylheku
1997-05-15  0:00   ` Jon S Anthony
     [not found]   ` <01bc6189$b074f500$LocalHost@xhv46.dial.pipex.com>
1997-05-16  0:00     ` Kaz Kylheku
1997-05-16  0:00       ` Jon S Anthony
1997-05-18  0:00         ` Nick Roberts
1997-05-19  0:00           ` NOT about "c above ada" W. Wesley Groleau (Wes)
1997-05-19  0:00         ` Any research putting c above ada? Michael Norrish
1997-05-20  0:00           ` Jon S Anthony
1997-05-20  0:00             ` Kaz Kylheku
1997-05-20  0:00               ` Jon S Anthony
1997-05-20  0:00             ` Michael Norrish
1997-05-20  0:00               ` Kaz Kylheku
1997-05-20  0:00                 ` Jon S Anthony
1997-05-21  0:00                   ` Kaz Kylheku
1997-05-21  0:00                 ` Craig Franck
1997-05-22  0:00                 ` Software Engineering is not a hoax... (was Re: Any research putting c above ada?) Robert I. Eachus
1997-05-22  0:00                   ` Software Engineering and Dreamers Nick Roberts
1997-05-22  0:00                     ` Tom Moran
1997-05-25  0:00                       ` Robert Dewar
1997-05-26  0:00                         ` David Ray
1997-05-23  0:00                     ` Robert I. Eachus
1997-05-23  0:00                       ` Kaz Kylheku
1997-05-24  0:00                         ` Robert Dewar
1997-05-24  0:00                         ` jason hummel
1997-05-25  0:00                         ` Craig Franck
1997-05-26  0:00                           ` Kaz Kylheku
1997-05-26  0:00                             ` Craig Franck
1997-05-27  0:00                               ` Kaz Kylheku
1997-05-28  0:00                               ` Fritz W Feuerbacher
1997-05-29  0:00                                 ` Craig Franck
1997-05-29  0:00                                   ` Robert Dewar
1997-05-26  0:00                             ` Robert Dewar
1997-05-27  0:00                               ` Jon S Anthony
1997-05-27  0:00                                 ` Dann Corbit
1997-05-26  0:00                         ` Fritz W Feuerbacher
1997-05-26  0:00                           ` Kaz Kylheku
1997-05-26  0:00                             ` tstcroix
1997-05-27  0:00                               ` Robert Dewar
1997-05-27  0:00                                 ` Kaz Kylheku
1997-05-28  0:00                                   ` Robert Dewar
1997-05-31  0:00                                   ` Nick Roberts
1997-06-02  0:00                                     ` Jon S Anthony
1997-06-09  0:00                                   ` Ralph Silverman
1997-05-27  0:00                             ` system
1997-05-27  0:00                               ` Kaz Kylheku
1997-05-28  0:00                                 ` Rich Miller
1997-05-28  0:00                                   ` Bryce Bardin
1997-05-28  0:00                                     ` Kaz Kylheku
1997-05-28  0:00                                     ` Lawrence Kirby
1997-05-29  0:00                                       ` Nick Leaton
1997-05-29  0:00                                       ` Matthew S. Whiting
1997-05-27  0:00                             ` Jon S Anthony
1997-05-28  0:00                               ` Robert I. Eachus
1997-05-28  0:00                             ` Fritz W Feuerbacher
1997-05-29  0:00                             ` Robert Dewar
1997-05-29  0:00                               ` Kaz Kylheku
1997-05-30  0:00                             ` Vibrating Bum-Faced Goats
1997-05-30  0:00                               ` Robert Dewar
1997-06-02  0:00                                 ` Jon S Anthony
1997-06-02  0:00                                 ` Nick Roberts
1997-06-07  0:00                                   ` Robert Dewar
1997-06-02  0:00                                 ` Mathew Hendry
1997-06-03  0:00                                   ` John Winters
1997-06-02  0:00                                     ` Mathew Hendry
1997-06-03  0:00                                       ` Martin C. Carlisle
1997-06-08  0:00                                         ` Joe Charlier
1997-06-09  0:00                                         ` Robert Dewar
1997-06-17  0:00                                           ` Nick Roberts
1997-06-04  0:00                                       ` John Winters
1997-06-06  0:00                                       ` Volker Hetzer
1997-06-06  0:00                                         ` Mathew Hendry
1997-06-08  0:00                                           ` Robert Dewar
1997-06-09  0:00                                             ` Craig Franck
1997-06-08  0:00                                               ` Jason Shankel
1997-06-09  0:00                                                 ` Robert Dewar
1997-06-08  0:00                                               ` John G. Volan
1997-06-09  0:00                                                 ` Robert Dewar
1997-06-09  0:00                                                   ` John G. Volan
1997-06-10  0:00                                                     ` Robert Dewar
1997-06-09  0:00                                                   ` SE, Dreamers, and on and on and on W. Wesley Groleau (Wes)
1997-06-09  0:00                                             ` Software Engineering and Dreamers Jonathan Guthrie
1997-06-09  0:00                                               ` Mathew Hendry
1997-06-11  0:00                                                 ` Crocodiles [was: Re: Software Engineering and Dreamers] Anonymous
1997-06-11  0:00                                                   ` Off topic: Crocodiles Mukesh Prasad
1997-06-11  0:00                                                     ` Robert Dewar
1997-06-11  0:00                                                       ` Mukesh Prasad
1997-06-12  0:00                                                       ` Jon S Anthony
1997-06-11  0:00                                                   ` Crocodiles [was: Re: Software Engineering and Dreamers] Spam Hater
1997-06-12  0:00                                                     ` Anonymous
1997-06-11  0:00                                                 ` Software Engineering and Dreamers Jonathan Guthrie
1997-06-11  0:00                                                   ` Mathew Hendry
1997-06-17  0:00                                               ` Nick Roberts
     [not found]                                         ` <19970606.49CA70..12B91@ae124.du.pipex.com>
1997-06-07  0:00                                           ` Lawrence Kirby
1997-06-09  0:00                                             ` W. Wesley Groleau (Wes)
1997-06-10  0:00                                               ` Robert Dewar
1997-06-10  0:00                                                 ` W. Wesley Groleau (Wes)
1997-06-07  0:00                                       ` Robert Dewar
1997-06-08  0:00                                         ` Mathew Hendry
1997-06-03  0:00                                     ` Ed Prochak - Woodland Consultants
1997-06-03  0:00                                   ` Matthew S. Whiting
1997-06-03  0:00                                     ` Spaceman Spiff
1997-06-03  0:00                                   ` Craig Franck
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                                         ` 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-09  0:00                                         ` Kaz Kylheku
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                                         ` 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-18  0:00                                         ` Philip Hindman
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
1997-06-06  0:00                                 ` Fritz W Feuerbacher
1997-06-06  0:00                                   ` Joe Charlier
1997-06-04  0:00                             ` S. Norby
1997-05-30  0:00                         ` Vibrating Bum-Faced Goats
1997-05-23  0:00                     ` Mark Allen Framness
1997-05-23  0:00                     ` Mark Allen Framness
1997-05-23  0:00                       ` Kaz Kylheku
1997-05-24  0:00                     ` Bill Anderson
1997-05-23  0:00                   ` Software Engineering is not a hoax... (was Re: Any research putting c above ada?) Jeff Carter
1997-05-23  0:00                     ` William M.Gordon
1997-05-23  0:00                       ` Kaz Kylheku
1997-05-23  0:00                         ` Robert I. Eachus
1997-05-25  0:00                           ` Jon S Anthony
1997-05-23  0:00                         ` John Bode
1997-05-25  0:00                           ` Jon S Anthony
1997-05-25  0:00                           ` Craig Franck
1997-05-25  0:00                           ` Robert Dewar
1997-05-26  0:00                           ` Software Engineering is not a hoax Laurent Gasser
1997-05-26  0:00                             ` Kaz Kylheku
1997-05-27  0:00                             ` Scott Stanchfield
1997-05-27  0:00                               ` Kaz Kylheku
1997-05-27  0:00                                 ` Scott Stanchfield
1997-05-29  0:00                                 ` Dean Runzel
1997-05-29  0:00                                   ` Scott Stanchfield
1997-05-29  0:00                                   ` Kaz Kylheku
1997-05-30  0:00                                     ` Robert Dewar
1997-05-30  0:00                                       ` John G. Volan
1997-05-30  0:00                                   ` Lord Shaman
1997-05-27  0:00                               ` Dan Evens
1997-05-27  0:00                                 ` Scott Stanchfield
1997-05-28  0:00                             ` Alan Bowler
1997-05-29  0:00                               ` Jon S Anthony
1997-05-24  0:00                         ` Software Engineering is not a hoax... (was Re: Any research putting c above ada?) Fritz W Feuerbacher
1997-05-24  0:00                         ` W. Wesley Groleau (Wes)
1997-05-24  0:00                       ` Robert Dewar
1997-06-12  0:00                         ` Software Engineering is not a hoax Keith Shillington
1997-06-12  0:00                           ` Kaz Kylheku
1997-06-17  0:00                           ` brucemo
1997-06-17  0:00                             ` Richard Turner
1997-06-17  0:00                               ` Spam Hater
1997-06-17  0:00                                 ` Richard Turner
1997-06-12  0:00                   ` Ralph Silverman
     [not found]                   ` <33859489.7FB8@spam.inno <5nplh1$276@nntp.seflin.org>
1997-06-13  0:00                     ` Paul Mesken
1997-06-13  0:00                     ` Michael Tippach
1997-05-20  0:00               ` Any research putting c above ada? Jon S Anthony
1997-05-20  0:00   ` Les Hazlewood
1997-05-20  0:00     ` Newsthread integrity Nick Roberts
1997-05-20  0:00     ` Any research putting c above ada? Jason A Cunningham
1997-05-21  0:00       ` Stephan Wilms
1997-05-21  0:00         ` Jason A Cunningham
1997-05-16  0:00 ` T Wheeley
1997-05-16  0:00   ` Jon S Anthony
  -- strict thread matches above, loose matches on Subject: below --
1997-05-26  0:00 Software Engineering and Dreamers tmoran
1997-05-26  0:00 tmoran
1997-05-27  0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-05-28  0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-05-29  0:00 Fritz W Feuerbacher
1997-05-30  0:00 ` Kevin Cline
1997-05-30  0:00   ` system
1997-05-31  0:00     ` Lawrence Kirby
1997-06-02  0:00       ` Philip Brashear
1997-05-31  0:00     ` Kevin Cline

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