home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2135 < prev    next >
Encoding:
Text File  |  1992-11-21  |  1.2 KB  |  28 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
  5. In-Reply-To: paul@mtnmath.UUCP's message of 21 Nov 92 16:49:29 GMT
  6. Message-ID: <TORKEL.92Nov21195445@bast.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov20160605@lludd.sics.se>
  10.     <369@mtnmath.UUCP>
  11. Date: Sat, 21 Nov 1992 18:54:45 GMT
  12. Lines: 14
  13.  
  14.  
  15.    >Everything in mathematics is "relative" to some formal system. To talk
  16.    >about what is absolutely true independent of a formal system is philosophy
  17.    >not mathematics.
  18.  
  19.   The distinction is quite simple. "Provability in T" is an example of a
  20. concept that has a formal system as a parameter, "uncountable" is an
  21. example of a concept that has no formal system as a parameter, whether
  22. explicit or implicit.
  23.  
  24.   "Absolute truth" has nothing to do with this. It's just a matter of what
  25. we say and mean in mathematics. The notion that "everything in mathematics is
  26. relative to some formal system", on the other hand, is the expression of
  27. some philosophical doctrine.
  28.