Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
Re: Matheology � 197
Posted:
Jan 25, 2013 10:47 AM
|
|
"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.
|
|
|
|
