August 28, 2012
Gödel’s incompleteness theorems ; Miles Mathis’s proposition
Miles Mathis has shown the following equivalent propositions to Gödel’s incompleteness
theorems: [ http://milesmathis.com/godel.html ]
Theorem 1: In any logical system one can construct statements that are neither true nor false (mathematical variations of the liar’s paradox).
Theorem 2: Therefore no consistent system can be used to prove its own consistency. No proof can be proof of itself. In this work , we attempt to prove the first theorem mention above.
Help keep GS Journal progressing to become the most valuable scientific research website on the net!