home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1980 < prev    next >
Encoding:
Text File  |  1992-11-09  |  2.4 KB  |  49 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!comp.vuw.ac.nz!canterbury.ac.nz!math!wft
  3. From: wft@math.canterbury.ac.nz (Bill Taylor)
  4. Subject: (impredic./Russell) - Apology & thanks.
  5. Message-ID: <BxHA36.I5A@cantua.canterbury.ac.nz>
  6. Nntp-Posting-Host: sss330.canterbury.ac.nz
  7. Organization: Department of Mathematics, University of Canterbury
  8. Date: Tue, 10 Nov 1992 02:11:29 GMT
  9. Lines: 38
  10.  
  11. Apologies for my mistake about ZF vs ZF- , and the extra noise level it
  12. intoduced into the discussion.  Incidentally, though a quick check shows that
  13. ZF *does* include foundation as a usual convention, it is *not* quite universal,
  14. (though I doubt this would help moderate the bullying tone of some who insisted
  15. on universality).     An exception is 
  16.  
  17. "Introduction to Set Theory", Hrbacek & Jech; 1st edition  11.1; 2nd edn  12.1;
  18. in both of which they give the standard axioms *without* foundation, stating it
  19. to be ZF.  In fact they do not seem to mention foundation in the whole book.
  20.  
  21.  
  22. Thanks to those who contributed to the discussion; especially...
  23.  
  24. Randall Holmes - for a simple and excellent account of the failure of 
  25.              extensionality of my sets A & B (I liked the expression "hypnotized
  26. by notation"; and ditto for the hierarchy induced by AFA.  I learnt a lot
  27. from these posts; thanks indeed.
  28.  
  29. Torkel Franzen - for typically down-to-earth remarks about the silliness of
  30.         taking various postures of principle about these matters, a sensible
  31. view (though perhaps a little too formalist for some tastes).
  32.  
  33. Vaughn Pratt - for a sprightly and provocative series of posts that kept the
  34.      ball rolling nicely (if randomly), I liked "inflammatory heresy". Also
  35. for frank apologies and admissions of error where appropriate. (It's a pity
  36. this admissory tendency isn't more widespread on the net.)
  37.  
  38. David Gudeman - for continuing to attempt clarification of his intuitive ideas
  39.       in the face of a barrage of opposition.
  40.  
  41. Thanks all; it was a lot of fun.
  42. -------------------------------------------------------------------------------
  43.               Bill Taylor              wft@math.canterbury.ac.nz
  44. -------------------------------------------------------------------------------
  45.  Galaxies - results of chaotic amplification of quantum events in the big bang.
  46.  Free will- the result of chaotic amplification of quantum events in the brain.
  47. -------------------------------------------------------------------------------
  48.  
  49.