home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2053 < prev    next >
Encoding:
Text File  |  1992-11-16  |  2.2 KB  |  46 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: What is Computer Science (was: Natural Kinds)
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <Bxt9GA.Iyp@unx.sas.com>
  8. Date: Mon, 16 Nov 1992 13:28:58 GMT
  9. References: <1992Nov4.200546.2196@CSD-NewsHost.Stanford.EDU> <Bx8yvo.6ty@unx.sas.com> <BEVAN.92Nov11113345@hippo.cs.man.ac.uk>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Lines: 32
  13.  
  14.  
  15. In article <BEVAN.92Nov11113345@hippo.cs.man.ac.uk>, bevan@cs.man.ac.uk (Stephen J Bevan) writes:
  16. |> In article <BxGBsJ.8qG@unx.sas.com> sasghm@theseus.unx.sas.com (Gary Merrill) writes:
  17. |>    Do you see CS as having any immediate empirical content in the
  18. |>    manner of physics, chemistry, biology, etc.?
  19. |> 
  20. |> What are "etc." in this case?  I'm still waiting to see any mention of
  21. |> a "science" that isn't (IMHO) a "natural science".
  22.  
  23. Well, there are some who consider the social sciences (anthropology,
  24. sociology, psychology) to be sciences.  Then there is geology, which
  25. has its own problems of methodology (though surely this is a "natural
  26. science" as well).
  27.  
  28. |> As for empirical content, what about the example of routing via
  29. |> simmulated annealing?  There is no way to check this is any good
  30. |> without experimenting (i.e. writing the code for the router and trying
  31. |> it on as many boards as you can find).  As I noted before you may not
  32. |> consider this CS as a computer was only used to prove the method
  33. |> worked (ignoring the fact that routing has an obvious application in
  34. |> the design of computers).  However, if you do have this view, I would
  35. |> be interested to know under what banner you felt this work lay.
  36.  
  37. Well, this is exactly the sort of thing I have been fishing for --
  38. but note how long it has taken someone to suggest such an example
  39. rather than purely formal/mathematical methodologies.  (Note also
  40. that it appears to fit a previous suggestion of mine concerning
  41. an analogy between programs and theories.)
  42. -- 
  43. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  44. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  45. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  46.