home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10993 < prev    next >
Encoding:
Text File  |  1992-09-04  |  1.1 KB  |  36 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!mcsun!news.funet.fi!ajk.tele.fi!funic!nokia.fi!tnclus.tele.nokia.fi!hporopudas
  3. From: hporopudas@tnclus.tele.nokia.fi
  4. Subject: Re: Proof of God's Existence
  5. Message-ID: <1992Sep4.182046.1@tnclus.tele.nokia.fi>
  6. Lines: 23
  7. Sender: usenet@noknic.nokia.fi (USENET at noknic)
  8. Nntp-Posting-Host: tne02.tele.nokia.fi
  9. Organization: Nokia Telecommunications.
  10. References: <ARA.92Sep3133928@camelot.ai.mit.edu> <87858@netnews.upenn.edu> <ARA.92Sep4030328@camelot.ai.mit.edu>
  11. Date: Fri, 4 Sep 1992 16:20:46 GMT
  12.  
  13.  
  14.  
  15. In article <ARA.92Sep4030328@camelot.ai.mit.edu>,
  16. ara@zurich.ai.mit.edu (Allan Adler) writes:
  17. > Matt Wiener has apparently missed my point. Without some agreement as
  18. > to what one is supposed to be proving, there is no possibility of
  19. > mathematical proof.
  20. >
  21. > Allan Adler
  22. > ara@altdorf.ai.mit.edu
  23.  
  24.  It seems to me that what is supposed to be proving is the following
  25.  theorem below the definition:
  26.  
  27.  Definition:  God is Existence.
  28.  
  29.  Theorem:     Existence exists.
  30.  
  31.  
  32.  I think that Existence can never defined completely and theorem is
  33.  something self-evident.
  34.  
  35.               Hannu.
  36.