Re: Overcoming Incompleteness

From: Mohsen Ravanbakhsh <ravanbakhsh.domain.name.hidden>
Date: Thu, 24 May 2007 10:32:29 -0700

Thanks for your patience! , I know that my arguments are somehow
raw and immature in your view, but I'm just at the beginning.

*S1 can simulate S2, but S1 has no reason to believe whatever S2 says.
There is no problem.
**Hofstadter "strange loop" are more related to arithmetical
self-reference or general fixed point of recursive operator*

OK then it, becomes my own idea!
Suppose S1 and S2 are the same systems, and both KNOW that the other one is
a similar system. Then both have the reason to believe in each others
statements, with the improvement that the new system is COMPLETE. We've not
exploited any more powerful system to overcome the incompleteness in our
system.
I think this is a great achievement!
It's actually like this: YOU believe in ME. THEY give
you a godelian statement (You theoretically can not prove this
statement) you give it to ME and then see that I can neither prove it
nor disprove it, so you tell
THEM that their statement is true.
But the wonder is in what we do just by ourselves. We have a THEORY OF MIND.
You actually do not need to ask me about the truth of that statement, you
just simulate me and that's why I can see the a godelian statement is at
last
true. But in the logical sense ONE system wont be able to overcome the
incompleteness,
so I might conclude:
I'M NOT ONE LOGICAL SYSTEM!
This is how we might rich a theory of self. A loopy(!) and multi(!) self.



*

*Mohsen Ravanbakhsh

--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu May 24 2007 - 13:32:37 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST