Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Matheology § 197
Replies: 2   Last Post: Jan 25, 2013 10:47 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Scott Berg

Posts: 1,802
Registered: 12/12/04
Re: Matheology � 197
Posted: Jan 25, 2013 10:47 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


"WM" <mueckenh@rz.fh-augsburg.de> wrote in message
news:0a1509c9-0339-4944-a37a-39d048ad4dd0@f25g2000vby.googlegroups.com...



Matheology § 197


"The global unity of mathematics with religion is central in Plato's
work, and in his followers' such as Plotinus and Proclus, but also
much later in modern times."
[Mathematics and the Divine. A Historical Study edited by Teun
Koetsier and Luc Bergmans, Amsterdam, Elsevier, 2005, Hardbound, 716
pp., US $250, ISBN-$3: 978-0-444-50328-2, ISBN-IO: 0-444-50328-5
Rewieved by Jean-Michel Kantor in The Mathematical Intelligencer 30, 4
(2008) 70-71]
Compare Goedel's proof of God and Cantor's arguing in favour of
uncountable numbers and Hilbert's laudatio of Cantor's work. My often
cursed noun matheology does not seem to be really far fetched.

Regards, WM

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<

but you dont have anything like this;

Definition 1: x is God-like if and only if x has as essential properties
those and only those properties which are positive
Definition 2: A is an essence of x if and only if for every property B, x
has B necessarily if and only if A entails B
Definition 3: x necessarily exists if and only if every essence of x is
necessarily exemplified
Axiom 1: Any property entailed by-i.e., strictly implied by-a positive
property is positive
Axiom 2: If a property is positive, then its negation is not positive.
Axiom 3: The property of being God-like is positive
Axiom 4: If a property is positive, then it is necessarily positive
Axiom 5: Necessary existence is positive
Axiom 6: For any property P, if P is positive, then being necessarily P is
positive.
Theorem 1: If a property is positive, then it is consistent, i.e., possibly
exemplified.
Corollary 1: The property of being God-like is consistent.
Theorem 2: If something is God-like, then the property of being God-like is
an essence of that thing.
Theorem 3: Necessarily, the property of being God-like is exemplified.
(T1) = It is not true that if it always has been the case that a God-like
being exists then a God-like being exists and it is always going to be the
case that a God-like being exists in (n).

(T2) = It always has been the case that a God-like being existed in (n).

(T3) = It is not true that a God-like being exists and it is always going to
exist in (n).

(T4) = A God-like being does not exist in (n)

(T4)' = It is not the case that a God-like being will always exist in (n).

(T5) = In sometime in the future it will be the case that a God-like being
will not exist in (n).

(T6) = (n) occurred before (k).

(T7) = A God-like being does not exist in (k).

(T8) = (k) occurred before (n). (Reflexive Rule)

(T9) = A God-like being exists in (k).

The negation of the formula creates a contradiction.

The argument is logically valid, meaning that if the premises are true, then
the conclusion is guaranteed to also be true.





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.