home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2168 < prev    next >
Encoding:
Text File  |  1992-11-23  |  1.6 KB  |  37 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!cs.utexas.edu!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!nucsrl!nasser.eecs.nwu.edu!ian
  3. From: ian@nasser.eecs.nwu.edu (Ian Sutherland)
  4. Subject: Re: Lowneheim-Skolem theorem
  5. Message-ID: <1992Nov23.223655.2981@eecs.nwu.edu>
  6. Sender: usenet@eecs.nwu.edu (Mr. Usenet)
  7. Organization: EECS Department, Northwestern University
  8. References: <1992Nov17.124233.24312@oracorp.com> <1992Nov20.140159.4770@
  9. Date: Mon, 23 Nov 1992 22:36:55 GMT
  10. Lines: 25
  11.  
  12. In article <367@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:
  13. >In article <1992Nov20.140159.4770@sun0.urz.uni-heidelberg.de>, gsmith@l
  14. auren.iwr.uni-heidelberg.de (Gene W. Smith) writes:
  15. >> "Uncountable" means no one-to-one relation with the integers
  16. >> can be given.  This does not refer to a formal system.
  17. >
  18. >Unless you have a formal system in which to determine what constitutes
  19. >a one-to-one relationship you are not doing mathematics.
  20.  
  21. If this is so Mr. Budnik, then what do you call the activities of all
  22. those people in math departments all over the world who don't even know
  23. the STATEMENT of the Lowenheim-Skolem theorem?  I.e., probably most
  24. working mathematicians who are not logicians?  You may call it
  25. "philosophy", but the rest of the world calls it "mathematics".  The
  26. people that do this "mathematics" which you insist is "philosophy"
  27. don't look at formal systems to tell them what constitutes a one-one
  28. relationship.  You can say that they're operating without foundations
  29. (they'd probably be glad to agree!), or you can say they're just a
  30. bunch of Platonists, but it is an abuse of language to insist that
  31. they're doing "philosophy".
  32. -- 
  33. Ian Sutherland
  34. ian@eecs.nwu.edu
  35.  
  36. Sans Peur
  37.