home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10806 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  1.2 KB
  1. Path: sparky!uunet!olivea!decwrl!sdd.hp.com!zaphod.mps.ohio-state.edu!darwin.sura.net!ukma!cyeomans
  2. From: cyeomans@ms.uky.edu (Charles Yeomans)
  3. Newsgroups: sci.math
  4. Subject: Re: Unix denies the axiom of choice
  5. Message-ID: <1992Sep1.150520.28833@ms.uky.edu>
  6. Date: 1 Sep 92 19:05:20 GMT
  7. References: <17ui6kINNsft@matt.ksu.ksu.edu> 
  8.     <pmanne-010992093107@ma-mac29.uio.no.> 
  9.     <1992Sep1.174532.19663@galileo.cc.rochester.edu>
  10. Organization: University Of Kentucky, Dept. of Math Sciences
  11. Lines: 25
  12.  
  13. In article <1992Sep1.174532.19663@galileo.cc.rochester.edu> landsbur@troi.cc.rochester.edu (S. Landsburg) writes:
  14. >In article <pmanne-010992093107@ma-mac29.uio.no.> pmanne@math.uio.no (Per Manne) writes:
  15. >
  16. >>The following proof is found in Seven Years of Manifold (1968-1980),
  17. >>edited by Ian Stewart and John Jaworski.
  18. >>
  19. >>THEOREM (due to Anselm, Aquinas, and others.)
  20. >>The Axiom of Choice is equivalent to the existence of a unique God.
  21. >>
  22. >>PROOF:
  23. >
  24. >    (Remainder of article deleted.)
  25. >
  26. >I tried to save this posting to a file called "god".  I got back the message
  27. >that "god does not exist".
  28. >
  29. >
  30. >Steve Landsburg
  31. >landsbur@troi.cc.rochester.edu
  32.  
  33. But UNIX can create god in mailbox format.  
  34.  
  35. CHarles Yeomans
  36. yeomans@austin.onu.edu
  37. cyeomans@ms.uky.edu
  38.