Mathematics self-proves its own Consistency (contra Gödel et. al.)
|Carl Hewitt||International Society for Inconsistency Robustness||[Home Page]|
Notice: Hosted by Richard Waldinger
Date: Tuesday April 24, 2012 at 16:00
Location: EJ228 (SRI E building) (Directions)
The consistency of mathematics has long been of concern. Using self-referential propositions, Gödel et. al. proved that if mathematics is consistent, it does not prove its own consistency. Regardless, this paper presents a simple non-constructive self-proof of consistency:
Of course, the above proof does not show that mathematics is really consistent, i.e., that is impossible to infer an inconsistency using the inference rules because the proof is valid even if mathematics is inconsistent. In fact, self-proving consistency raises that possibility that mathematics could be inconsistent because of contradiction with the result of Gödel et. al. One resolution is not to have self-referential propositions. This can be achieved by carefully arranging the rules for propositions so that self-referential propositions cannot be constructed. Fortunately, self-referential propositions do not seem to have any important practical applications.
The above proof of consistency is carried out in Direct Logic [Hewitt 2011] that is a powerful inconsistency-robust inference system that is its own metasystem. Having such a system is important in computer science because computers must be able to carry out all inferences (including inferences about their own inference processes) without always relying on humans. A tradeoff is that in return for having such a powerful inference system, self-referential propositions are not allowed.
Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.