home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2151 < prev    next >
Encoding:
Internet Message Format  |  1992-11-22  |  1.1 KB
  1. Path: sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!brendan
  2. From: brendan@cs.uq.oz.au (Brendan Mahony)
  3. Newsgroups: sci.logic
  4. Subject: Re: recursive definitions and paradoxes
  5. Message-ID: <11143@uqcspe.cs.uq.oz.au>
  6. Date: 23 Nov 92 01:26:54 GMT
  7. References: <26788@optima.cs.arizona.edu> <1992Nov19.215048.26539@CSD-NewsHost.Stanford.EDU> <1992Nov20.155725.11719@guinness.idbsu.edu>
  8. Sender: news@cs.uq.oz.au
  9. Reply-To: brendan@cs.uq.oz.au
  10. Lines: 17
  11.  
  12. In <1992Nov20.155725.11719@guinness.idbsu.edu> holmes@garnet.idbsu.edu (Randall Holmes) writes:
  13.  
  14. >This is inaccurate.  Russell's paradox proves nothing except that
  15. >there is no set which has exactly the sets which are not elements of
  16. >themselves as members.
  17.  
  18. Come on Russel's `paradox' tells us that if we assume
  19.  
  20.     (RS \in RS) or \lnot (RS \in RS)
  21.  
  22. we are in lots of trouble.
  23.    
  24. --
  25. When soldiers form lines or hollow squares, you call it reason.
  26. When wild geese in flight take the form of a letter V, you say instinct.
  27. When the homogeneous atoms of a mineral arrange themselves into shapes
  28. mathematically perfect you have nothing to say. You have not even invented a name to conceal your heroic unreason."
  29.