home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / physics / 19261 < prev    next >
Encoding:
Text File  |  1992-11-19  |  2.3 KB  |  51 lines
  1. Newsgroups: sci.physics
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sdd.hp.com!ux1.cso.uiuc.edu!news.iastate.edu!pv343f.vincent.iastate.edu!abian
  3. From: abian@iastate.edu (Alexander Abian)
  4. Subject: TIME HAS INERTIA. att:   WEISS. The so called Low-Skol. Paradox
  5. Message-ID: <abian.722210366@pv343f.vincent.iastate.edu>
  6. Summary:  ABIAN replies to  Michael WEISS
  7.    
  8.                                           11-19-92
  9. Sender: news@news.iastate.edu (USENET News System)
  10. Organization: Iowa State University, Ames IA
  11. Date: Thu, 19 Nov 1992 21:59:26 GMT
  12. Lines: 37
  13.  
  14.  Thank you very much for your e-mail.
  15.  
  16.  The axioms of my (finite models) are precisely the set-theoretical
  17.  atomic statements which express the elementhood relations  between
  18.  the sets (which are given explicitly). 
  19.  
  20.  As I mentioned, the set-theoretical Models that I exhibited are models
  21. for extremely , extremely meager, weak, anemic, very anemic set-theories.
  22.  Nevertheless they explain clearly the usual misunderstanding  in con-
  23. nection with the  so called Low-Skolem paradox, which is not a paradox.
  24.   
  25.   One can give explicitly tables for countable models  which 
  26. satisfy many of ZF axioms.  For the entire ZF - I have proposed a 
  27. countable model where sets are symbolized by any set-theoretical
  28. formula which starts with the "THERE EXISTS" symbol and which is 
  29. derivable in  ZF.
  30.  In other words, I make a set from any formula which is derivable from
  31. ZF axioms and which asserts the Existence of a set , i.e, a derivable
  32. from  ZF  axioms formal formula starting with an  "Existential Quantifier".
  33.  
  34.  Since there are a countable number of this kind of formulas (since
  35. ZF has countably many axioms) so this model is countable and satisfies
  36. all the axioms of  ZF.   HOWEVER NOTATIONS GET VERY, VERY MESSY  and
  37. they eclipse with dark clouds the crux of the matter.  I love my
  38. meager, anemic  finite set-theoretical models.  Nevermind that they
  39. do not satisfy all the axioms of  ZF !  But they do not kill the
  40. spirit - in fact the spirit glows in them !!
  41.  
  42.    With best and warmest regards,
  43.  
  44.                                           Alexander ABIAN
  45.  
  46. -- 
  47.    The tendency of maintaining the status-quo, Reaction to provocation and
  48.                 The tendency of maintaining again a status-quo.  
  49.     TIME HAS INERTIA  and some energy is lost to move Time forward  
  50.   E = mcc  (Einstein)    must be replaced by    E = m(0) exp(-At) (Abian)
  51.