Author:
Kalimuthu, Sennimalai
Category:
Essays
Sub-Category:
Miscellaneous
Language:
English
Date Published:
August 28, 2012
File:
/Essays-Miscellaneous/Download/4276
Downloads:
1249
Keywords:
Gödel’s incompleteness theorems ; Miles Mathis’s proposition
Abstract:
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!
View Tribute
View Profile