Hi Stephen P. King
And then there is Leibniz's identity of indiscernibles, identity
there meaning that you only need one of them, throw the rest away.
Roger Clough, rclo...@verizon.net
9/15/2012
Leibniz would say, "If there's no God, we'd have to invent him
so that everything could function."
----- Receiving the following content -----
From: Stephen P. King
Receiver: everything-list
Time: 2012-09-14, 13:29:27
Subject: Re: Simple proof that our intelligence transcends that of computers
On 9/14/2012 11:53 AM, John Clark wrote:
On Thu, Sep 13, 2012 at 7:55 AM, Stephen P. King <stephe...@charter.net> wrote:
> Godel numberings are not unique.
True, there are a infinite number of ways you could do Godel numbering.
Hi John,
Yes, but my point here is that this is the same thing as having an infinite
number of names for one and the same thing. This makes it impossible to be
absolutely sure of what "John Clark" or "Stephen P. King" is.
> Thus there is no a single abslute structure of relations, there is an infinity
And you can use any one of those Godel numbering schemes to show that there is
not a single one of those infinite number of structural relationships that are
powerful enough to do arithmetic and be consistent and complete. The hope is
that the scheme mathematicians are using is consistent but incomplete, if it's
inconsistent that would be a disaster.
Mathematicians get around this problem by defining a unique naming scheme.
My point is that this cannot be done at a meta-theoretical level when we have
to include a multiplicity of names for the same of multiple entities that are
evaluating models of the mathematical scheme.
John K Clark
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
--
Onward!
Stephen
http://webpages.charter.net/stephenk1/Outlaw/Outlaw.html
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
