home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14550 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  1.2 KB
  1. Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!saimiri.primate.wisc.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!udel!rochester!cornell!uw-beaver!cs.ubc.ca!unixg.ubc.ca!ramsay
  2. From: ramsay@unixg.ubc.ca (Keith Ramsay)
  3. Newsgroups: sci.math
  4. Subject: Re: What's a knot? (inspired by "What's a manifold?")
  5. Date: 7 Nov 1992 02:11:58 GMT
  6. Organization: University of British Columbia, Vancouver, B.C., Canada
  7. Lines: 16
  8. Distribution: sci
  9. Message-ID: <1df8leINNolm@iskut.ucs.ubc.ca>
  10. References: <COLUMBUS.92Nov6105242@strident.think.com>
  11. NNTP-Posting-Host: unixg.ubc.ca
  12.  
  13. In article <COLUMBUS.92Nov6105242@strident.think.com> 
  14. columbus@strident.think.com (Michael Weiss) writes:
  15. |I would summarize almost all the discussion in favor of the atlas
  16. |definition of a manifold in one phrase:
  17. |
  18. |    proofs drive definitions
  19. |
  20. |in other words, old, "intuitive" definitions are replaced by new "abstract"
  21. |definitions when the new definitions turn out to be more convenient for the
  22. |logical development of the subject.
  23.  
  24. This is also one of the main points of _Proofs_and_Refutations_ by
  25. Imre Lakatos. His example is the concept of "polyhedron".
  26.  
  27. Keith Ramsay                "Tender victuals"
  28. ramsay@unixg.ubc.ca
  29.