Open Access
2011 An implication of Gödel's incompleteness theorem II: Not referring to the validity of oneself's assertion
Hitoshi Kitada
Commun. Math. Anal. 10(2): 24-52 (2011).

Abstract

In [10] we reviewed Gödel's incompleteness theorem and gave a new proof along with an application which leads to a contradiction when applying the Gödel's discussion to the set theory ZFC itself. We stated a possible solution to avoid contradiction by removing the self-reference by appealing to the axiomatic formulation of a theory with referring to its validity in no explicit ways. We will in this paper give a more specific possible solution that one can avoid the Gödel type self-contradiction by preventing oneself from telling anything definite about the validity of oneself's assertion.

Citation

Download Citation

Hitoshi Kitada . "An implication of Gödel's incompleteness theorem II: Not referring to the validity of oneself's assertion." Commun. Math. Anal. 10 (2) 24 - 52, 2011.

Information

Published: 2011
First available in Project Euclid: 28 November 2011

zbMATH: 1235.03085
MathSciNet: MR2859850

Subjects:
Primary: 03F40
Secondary: 03B25 , 03E99 , 03F15

Keywords: Gödel , Incompleteness , inconsistency , Self-reference , validity

Rights: Copyright © 2011 Mathematical Research Publishers

Vol.10 • No. 2 • 2011
Back to Top