home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / 531 next >
Encoding:
Internet Message Format  |  1992-11-15  |  1.9 KB
  1. Path: sparky!uunet!ogicse!uwm.edu!caen!nic.umass.edu!dime!chelm.cs.umass.edu!yodaiken
  2. From: yodaiken@chelm.cs.umass.edu (victor yodaiken)
  3. Newsgroups: comp.specification
  4. Subject: "Algebra": and Re: Semantic definition style
  5. Keywords: structural operational semantics, denotational semantics
  6. Message-ID: <56242@dime.cs.umass.edu>
  7. Date: 15 Nov 92 19:08:58 GMT
  8. Article-I.D.: dime.56242
  9. References: <720801988.16035@minster.york.ac.uk> <1992Nov11.195443.23006@cis.ohio-state.edu> <1992Nov13.084826.26088@daimi.aau.dk>
  10. Sender: news@dime.cs.umass.edu
  11. Organization: University of Massachusetts, Amherst
  12. Lines: 33
  13.  
  14. In article <1992Nov13.084826.26088@daimi.aau.dk> pdm@daimi.aau.dk (Peter D. Mosses) writes:
  15. >In article <1992Nov11.195443.23006@cis.ohio-state.edu>, ogden@seal (William F Ogden) writes:
  16. >>Now algebraic semantics would seem to be predicated on the dubious
  17. >>proposition that computation is entirely describable within a limited
  18. >>first-order subarea of mathematics -- namely algebra.
  19.  
  20. I assume you mean "univeral algebra", and not "algebra" as mathematicians
  21. generally use the word. 
  22.  
  23. >- which can specify Turing machine computations, and hence is
  24. >universal.  In any case, there are `first-order' models for domains,
  25. >e.g., Scott's P-omega model, where continuous functions are
  26. >represented by their approximation graphs.
  27.  
  28. In any event, I've never been able to understand the virtue of working 
  29. within a mathematical model of computation which permits description of
  30. processes that cannot be carried out, even in principle, by any physical
  31. computing device. What is it that one intends to learn by application of
  32. these methods?
  33.  
  34.  
  35. >
  36. >-- 
  37. >Peter D. Mosses | Computer Science Department | <pdmosses@daimi.aau.dk> 
  38. >~~~~~~~~~~~~~~~ | Aarhus University           | Phone: +45 86 12 71 88 
  39. >                | Ny Munkegade, Building 540  | Fax:   +45 86 13 57 25 
  40. >                | DK-8000 Aarhus C,  Denmark  | Telex: 64767 aausci dk
  41.  
  42.  
  43. -- 
  44.  
  45.  
  46. yodaiken@chelm.cs.umass.edu
  47.