home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1913 < prev    next >
Encoding:
Internet Message Format  |  1992-11-04  |  773 b 
  1. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!agate!doc.ic.ac.uk!uknet!mcsun!sunic!sics.se!torkel
  2. From: torkel@sics.se (Torkel Franzen)
  3. Newsgroups: sci.logic
  4. Subject: Re: Impredicativity - was: Russell's Paradox
  5. Message-ID: <TORKEL.92Nov5153726@isis.sics.se>
  6. Date: 5 Nov 92 14:37:25 GMT
  7. References: <Bx81Ho.9HL@cantua.canterbury.ac.nz> <TORKEL.92Nov5103134@isis.sics.se>
  8. Sender: news@sics.se
  9. Organization: Swedish Institute of Computer Science, Kista
  10. Lines: 7
  11. In-Reply-To: torkel@sics.se's message of Thu, 5 Nov 1992 09:31:34 GMT
  12.  
  13. In article <TORKEL.92Nov5103134@isis.sics.se> torkel@sics.se (Torkel Franzen)
  14.  writes:
  15.  
  16.    >the range of a function f defined on the natural numbers, where
  17.    >f(n)={n,f(n+1)} for all n.
  18.  
  19.   Not the range, of course, but f(1).
  20.