home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / logic / 1361 < prev    next >
Encoding:
Text File  |  1992-09-08  |  769 b   |  20 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Set of all sets + correcting MZ's syntax
  5. In-Reply-To: DUENTSCH@dosuni1.rz.uni-osnabrueck.de's message of Tue, 8 Sep 1992 06:54:58 GMT
  6. Message-ID: <TORKEL.92Sep8102608@isis.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <4134@seti.UUCP> <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de>
  10. Date: Tue, 8 Sep 1992 09:26:08 GMT
  11. Lines: 7
  12.  
  13. In article <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de> 
  14. DUENTSCH@dosuni1.rz.uni-osnabrueck.de writes:
  15.  
  16.    >Finsler showed incompleteness before Goedel.
  17.  
  18.   Not really. Finsler is represented in "From Frege to Godel". See
  19. his paper there, and its introduction.
  20.