home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11025 < prev    next >
Encoding:
Internet Message Format  |  1992-09-07  |  877 b 
  1. Path: sparky!uunet!dtix!darwin.sura.net!zaphod.mps.ohio-state.edu!cs.utexas.edu!sun-barr!olivea!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  2. From: ara@zurich.ai.mit.edu (Allan Adler)
  3. Newsgroups: sci.math
  4. Subject: Re: Proof of God's Existence
  5. Message-ID: <ARA.92Sep4201537@camelot.ai.mit.edu>
  6. Date: 5 Sep 92 01:15:37 GMT
  7. References: <ARA.92Sep3133928@camelot.ai.mit.edu> <87858@netnews.upenn.edu>
  8.     <ARA.92Sep4030328@camelot.ai.mit.edu>
  9.     <1992Sep4.182046.1@tnclus.tele.nokia.fi>
  10. Sender: news@mintaka.lcs.mit.edu
  11. Organization: M.I.T. Artificial Intelligence Lab.
  12. Lines: 11
  13. In-Reply-To: hporopudas@tnclus.tele.nokia.fi's message of 4 Sep 92 16:20:46 GMT
  14.  
  15. Hannu writes:
  16.  
  17. >Definition: God is Existence.
  18. >Theorem: Existence exists.
  19.  
  20.  
  21. This is not a defintion. Even if I knew what "existence" was, I would 
  22. still have to figure out what "Existence" is.
  23.  
  24. Allan Adler
  25. ara@altdorf.ai.mit.edu
  26.