home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10976 < prev    next >
Encoding:
Text File  |  1992-09-03  |  720 b   |  19 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!wupost!micro-heart-of-gold.mit.edu!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  3. From: ara@zurich.ai.mit.edu (Allan Adler)
  4. Subject: Re: Proof of God's Existence
  5. In-Reply-To: weemba@sagi.wistar.upenn.edu's message of 3 Sep 92 18:58:36 GMT
  6. Message-ID: <ARA.92Sep4030328@camelot.ai.mit.edu>
  7. Sender: news@mintaka.lcs.mit.edu
  8. Organization: M.I.T. Artificial Intelligence Lab.
  9. References: <ARA.92Sep3133928@camelot.ai.mit.edu> <87858@netnews.upenn.edu>
  10. Date: Fri, 4 Sep 1992 08:03:28 GMT
  11. Lines: 6
  12.  
  13. Matt Wiener has apparently missed my point. Without some agreement as
  14. to what one is supposed to be proving, there is no possibility of
  15. mathematical proof.
  16.  
  17. Allan Adler
  18. ara@altdorf.ai.mit.edu
  19.