home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / logic / 1359 < prev    next >
Encoding:
Text File  |  1992-09-08  |  1.2 KB  |  31 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!Sirius.dfn.de!solaris.rz.tu-clausthal.de!unios!dosuni1.rz.uni-osnabrueck.de!DUENTSCH
  3. From: DUENTSCH@dosuni1.rz.uni-osnabrueck.de
  4. Subject: Re: Set of all sets + correcting MZ's syntax
  5. Message-ID: <1685C6F56.DUENTSCH@dosuni1.rz.uni-osnabrueck.de>
  6. Sender: news@unios.rz.Uni-Osnabrueck.DE
  7. Organization: University of Osnabrueck, FRG
  8. References:  <4134@seti.UUCP>
  9. Date: Tue, 8 Sep 1992 06:54:58 GMT
  10. Lines: 19
  11.  
  12. In article <4134@seti.UUCP>
  13. ziane@nuri.inria.fr (ziane mikal -) writes:
  14.  
  15. >The question is now, whether or not alternative axiomatizations
  16. >have been proposed that are consistent with the existence of the
  17. >set of all sets ?
  18.  
  19. In the 1920's Paul Finsler proposed a system of set theory in which
  20. a set of all sets is allowed. His system is not formal (in Hilbert's
  21. sense); the discussion of his system within the mathematical community
  22. was rather emotional and not free from personal animosities. In
  23. his system, Finsler showed incompleteness before Goedel.
  24. As far as I know, a serious and in depth study of his Finsler's set
  25. theory has yet to be done.
  26.  
  27. Ivo Duentsch
  28. Rechenzentrum
  29. Universitaet Osnabrueck
  30. duentsch@dosuni1.rz.uni-osnabrueck.de
  31.