IncompletenessTheorem

ec2-18-219-63-90.us-east-2.compute.amazonaws.com | ToothyWiki | RecentChanges | Login | Webcomic

Within any powerful enough rigidly logical system (definition?), it is possible to produce a statement that cannot, within the system, be shown to either be true or false.

[The paper]

Actually, it only proves that any logical system based upon any reasonable base axioms that we have so far thought of, is incomplete. It doesn't prevent the development of a 'powerful' system of logic based upon some completely whacked out set of axioms. That such a system would probably not relate to the SiderealUniverse? is something worth pondering upon - do we postulate that a logical system can only be complete within a universe for which it was not designed? --Vitenka (You can get around it, sorta, by saying that any such other universe is 'bigger' than ours)

Logic; Godel?