Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem
General Mathematics
2007-05-23 v2
Abstract
If we apply an extension of the Deduction meta-Theorem to Goedel's meta-reasoning of "undecidability", we can conclude that Goedel's formal system of Arithmetic is not omega-consistent. If we then take the standard interpretation "(Ax)(F(x)" of the PA-formula [(Ax)F(x)] to mean "There is a general, x-independent, routine to establish that F(x) holds for all x", instead of "F(x) holds for all x", it follows that a constructively interpreted omega-inconsistent system proves Hilbert's Entscheidungsproblem negatively.
Keywords
Cite
@article{arxiv.math/0206302,
title = {Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0206302},
year = {2007}
}
Comments
v3. Introduced ACI compliant notation for citations. 10 pages. An HTML version is available at http://alixcomsi.com/index01.htm