home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2143 < prev    next >
Encoding:
Internet Message Format  |  1992-11-21  |  1.5 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!eff!news.byu.edu!news.mtholyoke.edu!nic.umass.edu!m2c!jjmhome!smds!rh
  2. From: rh@smds.com (Richard Harter)
  3. Newsgroups: sci.logic
  4. Subject: Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
  5. Message-ID: <1992Nov22.074740.13322@smds.com>
  6. Date: 22 Nov 92 07:47:40 GMT
  7. References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov20160605@lludd.sics.se> <369@mtnmath.UUCP> <TORKEL.92Nov21195445@bast.sics.se>
  8. Reply-To: rh@ishmael.UUCP (Richard Harter)
  9. Organization: Software Maintenance & Development Systems, Inc.
  10. Lines: 17
  11.  
  12. In article <TORKEL.92Nov21195445@bast.sics.se> torkel@sics.se (Torkel Franzen) writes:
  13.  
  14. >  The distinction is quite simple. "Provability in T" is an example of a
  15. >concept that has a formal system as a parameter, "uncountable" is an
  16. >example of a concept that has no formal system as a parameter, whether
  17. >explicit or implicit.
  18.  
  19. Perhaps the distinction is quite simple, but I fail to see it.  In
  20. particular I fail to see why there isn't an implicit formal system
  21. in the concept of "uncountable".  Unless one accepts the notion of
  22. the absolute uncountable, uncountability is always relative to s
  23. system and a model for the system, is it not?
  24. -- 
  25. Richard Harter: SMDS Inc.  Net address: rh@smds.com Phone: 508-369-7398 
  26. US Mail: SMDS Inc., PO Box 555, Concord MA 01742.    Fax: 508-369-8272
  27. In the fields of Hell where the grass grows high
  28. Are the graves of dreams allowed to die.
  29.