W3C home > Mailing lists > Public > www-talk@w3.org > September to October 2000

On Albertus Magnus and Goedl's Theorem: Please share with Colleagues...

From: albert j. pinto <alpinto@bellatlantic.net>
Date: Sat, 28 Oct 2000 02:13:10 -0400
Message-Id: <200010280614.CAA23374@smtp-out1.bellatlantic.net>
To: www-talk@w3.org
On Albertus Magnus and Goedl's Theorem: Please share with Colleagues...


Goedl's Theorem is a modern truth contingently-linked to the necessary
mediaeval
principle of non-contradiction regarding matters on truth and metaphysical
reality.

The mediaeval principle, drawn from Aristotle's Logic, states the a thing
or truth cannot both be and not be at the same time under the same aspect.

Now, with reference to Goedl's Theorem: "This formula is unprovable in the
system"  - There can be no contradiction at the same time under the same
aspect - Hence, the "same time" here is that very moment when you should
like to make the per se "unprovable"..."provable"! And the "same aspect" is
the formula itself (i.e. "This formula is...in the system")! Why is the
formula
the "same aspect"? Because the formula is the very subject of provability or
unprovability. Hence, "non-contradiction" must occur at the very moment of
trying to resolve this "same aspect". And if at that moment you try to posit
"provability" and "unprovability" to the very same aspect - "The
Formula...in
the system" - you are bound here not to be contradictory: precisely because
a contradiction cannot be posited! Thus, the principle of
"non-contradiction" as
a truth about reality and logical truth absolutely guarantees the truth of
Goedl's
Theorem with reference to formal systems of arithmetic and formal logic: and
leads by natural truth to man's superiority over formal systems and machines
-
even as it leads the more reflective thinker to metaphysical certitudes and
to
God's "Sufficient Reason" for Himself! For only God is the Absolute Proof of
His
Own Sufficient Reason, His Own Subsistent Essence...Why? Because God Alone
is
Absolute Perfection in His-Very-Own-Absolute-Simplex-Essenced-Existence! And
this is Perfectly Consistent with the Absolute Definition of "God" as
"Perfect Self-Concept"
subsisting in  "Simplex Existence-Essence"! Saint Anselm's argument may be
fully seen here:
and that's the "Internal Truth"! Goedl is right because Albert the Great was
so right
about all these things in Logic, Physics, Rational Pschology, Metaphysics
and Divine
Revelation to boot... And we have consistently ignored this Universal Wisdom
for over
700 years. Now that is an awfully inconsistent thing to do for those who
would call them-
selves "Futuristic-Formal Thinkers" for our "Global Village"! Try Albert the
Great - "Doctor
Universalis": "His Proofs" are in "The Touring..."!

Al Pinto - Opus Doctorum Foundation
ATG News - http://www.AlbertTheGreat.Com
Received on Saturday, 28 October 2000 02:14:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 27 October 2010 18:14:24 GMT