From: jk87377@cc.tut.fi (Juhana Kouhia)
Subject: forwarding
Organization: Tampere University of Technology
Distribution: sfnet
Date: Fri, 4 Sep 92 23:30:27 GMT



From sci.math, etc.

From: hporopudas@tnclus.tele.nokia.fi
Subject: Re: Proof of God's Existence

In article <17ui6kINNsft@matt.ksu.ksu.edu>, bubai@matt.ksu.ksu.edu
(P.Chatterjee) writes:
> I was told by somebody that there is a mathematical proof of God's existence;
> was wondering if somebody could shed some light on the same.
>
> Thanks. Looking forward to the response.

   I think that God's existence is an axiom. He says in the Holy Bible (Second
 book of Moses 3:14-15 in Old Testament and also in Johannes 8:28-29 in New
 Testament) that He is "Existence Himself".
   If someone is arguing that "Existence Himself" does not exist, I think that
 at the same time he/she is arguing that he/she himself/herself does not exist.

              Hannu.


From: hporopudas@tnclus.tele.nokia.fi
Subject: Re: Proof of God's Existence

In article <pmanne-010992093107@ma-mac29.uio.no.>, pmanne@math.uio.no
(Per Manne) writes:
> In article <17ui6kINNsft@matt.ksu.ksu.edu>, bubai@matt.ksu.ksu.edu
> (P.Chatterjee) wrote:
>>
>> I was told by somebody that there is a mathematical proof of God's
>> existence; was wondering if somebody could shed some light on the same.
>>
>> Thanks. Looking forward to the response.
>
> The following proof is found in Seven Years of Manifold (1968-1980),
> edited by Ian Stewart and John Jaworski.
>
> THEOREM (due to Anselm, Aquinas, and others.)
> The Axiom of Choice is equivalent to the existence of a unique God.
>
> PROOF:
> =>   (Assuming the equivalence of the Axiom of Choice and Zorn's Lemma.)
> Partially order the set of subsets of the set of all properties of
> objects by inclusion. This set has maximal elements. God is by
> definition (according to Anselm) one of these maximal elements. Now
>
>     God  c  God u {existence}        [c - subset,  u - union]
>
> hence God = God u {existence}. Therefore God exists.
>   To prove uniqueness, let God and God' be two gods. Then
>
>     God u God'  c  God
>
> (according to Aquinas), therefore God' c God. Similarly God c God'.
> Hence God = God'.
>
> <=   Given a set {A_i : i \in I} of sets, let the unique God pick
> x_i \in A_i for each i \in I. (He can do so by omnipotence, proved as for
> existence above.) Then [in TeX notation, or it will look too awkward!]
>
>     (x_i)_{i\in I}  \in  \prod_{i\in I} A_i
>
> as required. QED


   You have not defined "existence", which you used above and definition of
 of God is not based on the Holy Bible (second book of Moses 3:14-15 and
 gospel of Johannes 8:28-29), where God says that He is "Existence Himself".
   There may also exist several unknown dimensions in very small scale about
 which we don't know yet anything which are related to "existence". This is
 why I think that definition of true "existence" is and always will be
 impossible for us humans.

            Hannu.

    "Don't you like your body as 'neutrino cage' for your 'neutrino soul'. ?
     If you don't, then simply ask God to release you."



From: bwallet@apssgi.nswc.navy.mil (Brad Wallet)
Subject: Re: About my papers (Calendar (NEW), Ancient Times, Surface Algebras, Struc


Mr. Space Potato is now proving the existence of God in sci.math by quoting
the Bible.


===============