home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10778 < prev    next >
Encoding:
Text File  |  1992-09-01  |  2.6 KB  |  70 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: <1992Sep1.145207.1@tnclus.tele.nokia.fi>
  6. Followup-To: sci.math
  7. Lines: 56
  8. Sender: usenet@noknic.nokia.fi (USENET at noknic)
  9. Nntp-Posting-Host: tne02.tele.nokia.fi
  10. Organization: Nokia Telecommunications.
  11. References: <17ui6kINNsft@matt.ksu.ksu.edu> <pmanne-010992093107@ma-mac29.uio.no.>
  12. Date: Tue, 1 Sep 1992 12:52:06 GMT
  13.  
  14.  
  15. In article <pmanne-010992093107@ma-mac29.uio.no.>, pmanne@math.uio.no
  16. (Per Manne) writes:
  17. > In article <17ui6kINNsft@matt.ksu.ksu.edu>, bubai@matt.ksu.ksu.edu
  18. > (P.Chatterjee) wrote:
  19. >>
  20. >> I was told by somebody that there is a mathematical proof of God's
  21. >> existence; was wondering if somebody could shed some light on the same.
  22. >>
  23. >> Thanks. Looking forward to the response.
  24. >
  25. > The following proof is found in Seven Years of Manifold (1968-1980),
  26. > edited by Ian Stewart and John Jaworski.
  27. >
  28. > THEOREM (due to Anselm, Aquinas, and others.)
  29. > The Axiom of Choice is equivalent to the existence of a unique God.
  30. >
  31. > PROOF:
  32. > =>   (Assuming the equivalence of the Axiom of Choice and Zorn's Lemma.)
  33. > Partially order the set of subsets of the set of all properties of
  34. > objects by inclusion. This set has maximal elements. God is by
  35. > definition (according to Anselm) one of these maximal elements. Now
  36. >
  37. >     God  c  God u {existence}        [c - subset,  u - union]
  38. >
  39. > hence God = God u {existence}. Therefore God exists.
  40. >   To prove uniqueness, let God and God' be two gods. Then
  41. >
  42. >     God u God'  c  God
  43. >
  44. > (according to Aquinas), therefore God' c God. Similarly God c God'.
  45. > Hence God = God'.
  46. >
  47. > <=   Given a set {A_i : i \in I} of sets, let the unique God pick
  48. > x_i \in A_i for each i \in I. (He can do so by omnipotence, proved as for
  49. > existence above.) Then [in TeX notation, or it will look too awkward!]
  50. >
  51. >     (x_i)_{i\in I}  \in  \prod_{i\in I} A_i
  52. >
  53. > as required. QED
  54.  
  55.  
  56.    You have not defined "existence", which you used above and definition of
  57.  of God is not based on the Holy Bible (second book of Moses 3:14-15 and
  58.  gospel of Johannes 8:28-29), where God says that He is "Existence Himself".
  59.    There may also exist several unknown dimensions in very small scale about
  60.  which we don't know yet anything which are related to "existence". This is
  61.  why I think that definition of true "existence" is and always will be
  62.  impossible for us humans.
  63.  
  64.             Hannu.
  65.  
  66.     "Don't you like your body as 'neutrino cage' for your 'neutrino soul'. ?
  67.      If you don't, then simply ask God to release you."
  68.  
  69.  
  70.