Article View: sci.logic
Article #286Re: Impredicativity - was: Russell's Paradox
From: Torkel Franzen
Date: Thu, 05 Nov 1992 14:37
Date: Thu, 05 Nov 1992 14:37
7 lines
792 bytes
792 bytes
In article <TORKEL.92Nov5103134@isis.sics.se> torkel@sics.se (Torkel Franzen)
writes:
>the range of a function f defined on the natural numbers, where
>f(n)={n,f(n+1)} for all n.
Not the range, of course, but f(1).
Technical Details
Message-ID:
<TORKEL.92Nov5153726@isis.sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!agate!doc.ic.ac.uk!uknet!mcsun!sunic!sics.se!torkelReferences:
<Bx81Ho.9HL@cantua.canterbury.ac.nz> <TORKEL.92Nov5103134@isis.sics.se>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!agate!doc.ic.ac.uk!uknet!mcsun!sunic!sics.se!torkel From: torkel@sics.se (Torkel Franzen) Newsgroups: sci.logic Subject: Re: Impredicativity - was: Russell's Paradox Message-ID: <TORKEL.92Nov5153726@isis.sics.se> Date: 5 Nov 92 14:37:25 GMT References: <Bx81Ho.9HL@cantua.canterbury.ac.nz> <TORKEL.92Nov5103134@isis.sics.se> Sender: news@sics.se Organization: Swedish Institute of Computer Science, Kista Lines: 7 In-Reply-To: torkel@sics.se's message of Thu, 5 Nov 1992 09:31:34 GMT