Subscribe

Issue No.02 - April (1993 vol.5)

pp: 190-203

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.219730

ABSTRACT

<p>In order to consider the organization of knowledge using inconsistent algorithms, a mathematical set-theoretic definition of axioms and undecidability is discussed. Ways in which imaginary numbers, exponentials, and transfinite ordinals can be given logical meanings that result in a new way to definite axioms are presented. This presentation is based on a proposed logical definition for axioms that includes an axiom and its negation as parts of an undecidable statement which is forced to the tautological truth value: true. The logical algebraic expression for this is shown to be isomorphic to the algebraic expression defining the imaginary numbers. This supports a progressive and Hegelian view of theory development, which means that thesis and antithesis axioms that exist in quantum mechanics (QM) and the special theory of relativity (STR) can be carried along at present and might be replaced by a synthesis of a deeper theory prompted by subsequently discovered experimental concept.</p>

INDEX TERMS

transfinite exponential number forms; non-Boolean field; inconsistent algorithms; mathematical set-theoretic definition; undecidability; imaginary numbers; transfinite ordinals; proposed logical definition; undecidable statement; tautological truth value; logical algebraic expression; algebraic expression; Hegelian view; theory development; antithesis axioms; quantum mechanics; QM; STR; formal logic; knowledge based systems; knowledge representation; set theory

CITATION

W.M. Honig, "Logical Organization of Knowledge with Inconsistent and Undecidable Algorithms Using Imaginary and Transfinite Exponential Number Forms in a Non-Boolean Field: Part One— Basic Principles",

*IEEE Transactions on Knowledge & Data Engineering*, vol.5, no. 2, pp. 190-203, April 1993, doi:10.1109/69.219730