home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10798 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  1.1 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!uwm.edu!rutgers!ub!galileo.cc.rochester.edu!troi.cc.rochester.edu!landsbur
  2. From: landsbur@troi.cc.rochester.edu (S. Landsburg)
  3. Newsgroups: sci.math
  4. Subject: Unix denies the axiom of choice
  5. Message-ID: <1992Sep1.174532.19663@galileo.cc.rochester.edu>
  6. Date: 1 Sep 92 17:45:32 GMT
  7. References: <17ui6kINNsft@matt.ksu.ksu.edu> <pmanne-010992093107@ma-mac29.uio.no.>
  8. Sender: landsbur@troi.cc.rochester.edu (Steve Landsburg)
  9. Organization: University of Rochester (Rochester, NY)
  10. Lines: 18
  11. Nntp-Posting-Host: troi.cc.rochester.edu
  12.  
  13. In article <pmanne-010992093107@ma-mac29.uio.no.> pmanne@math.uio.no (Per Manne) writes:
  14.  
  15. >The following proof is found in Seven Years of Manifold (1968-1980),
  16. >edited by Ian Stewart and John Jaworski.
  17. >
  18. >THEOREM (due to Anselm, Aquinas, and others.)
  19. >The Axiom of Choice is equivalent to the existence of a unique God.
  20. >
  21. >PROOF:
  22.  
  23.     (Remainder of article deleted.)
  24.  
  25. I tried to save this posting to a file called "god".  I got back the message
  26. that "god does not exist".
  27.  
  28.  
  29. Steve Landsburg
  30. landsbur@troi.cc.rochester.edu
  31.