Re: Set of all sets + correcting MZ's syntax

Article View: sci.logic

Article #150

#150

From: Torkel Franzen
Date: Tue, 08 Sep 1992 09:26

7 lines
788 bytes

In article <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de> 
DUENTSCH@dosuni1.rz.uni-osnabrueck.de writes:

   >Finsler showed incompleteness before Goedel.

  Not really. Finsler is represented in "From Frege to Godel". See
his paper there, and its introduction.

Technical Details

Message-ID: <TORKEL.92Sep8102608@isis.sics.se>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel

References: <4134@seti.UUCP> <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: Set of all sets + correcting MZ's syntax
In-Reply-To: DUENTSCH@dosuni1.rz.uni-osnabrueck.de's message of Tue, 8 Sep 1992 06:54:58 GMT
Message-ID: <TORKEL.92Sep8102608@isis.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <4134@seti.UUCP> <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de>
Date: Tue, 8 Sep 1992 09:26:08 GMT
Lines: 7

Reply to Parent Message