Re: Overcoming Incompleteness

From: Mohsen Ravanbakhsh <ravanbakhsh.domain.name.hidden>
Date: Sat, 26 May 2007 21:56:59 +0330

Hi everybody,
I need to clarify. When we build this new combined system, we would be
immune to Godelian statements for one of them not for the whole system,
whatever it might be. So Jesse's argument does not hold, and of course the
new system does not contradict the Godel's theorem, it's (was!) just a way
to avoid it.

Bruno:*"...Only if S2 is much more simple than S1, can S1 be complete on
S2." *
And finally this ruins everything...

-

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 Sat May 26 2007 - 14:27:10 PDT

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