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

  • Authors:

  • W. M. Honig

  • Affiliations:

  • -

  • Venue:
  • IEEE Transactions on Knowledge and Data Engineering
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.