• Publication
  • 1993
  • Issue No. 2 - April
  • Abstract - 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
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
April 1993 (vol. 5 no. 2)
pp. 190-203

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.

[1] W. M. Honig, "Godel axiom mappings in special relativity qm- electro-magnetic theory,"Foundations of Physics, vol. 6, pp. 37-57, 1976.
[2] G. Priest,In Contradiction. Amsterdam, The Netherlands: Nijhoff, 1987.
[3] G. Birkhoff and J. von Neumann "The logic of quantum mechanics,"Ann. Math., vol. 37, pp. 823-843, 1936.
[4] B. Despagnat,Foundations of Quantum Mechanics. New York; Academic, 1671.
[5] J. Davis and A. Hersh,Mathematical Experience. New York: Penguin, 1983, pp. 45-50, 237-250.
[6] R. Penrose, "The Emperors new mind (and critiques),"Behavioral Brain Sci., pp. 643-796, 1990.
[7] W. M. Honig,The Quantum and Beyond. New York: Philosophical Library, 1986, ch. 6 and 7.
[8] C. Piron, G. M. Prosperi, and J. M. Jauch, "Foundations of quantum mechanics," inProc. Int. School of Physics-Enrico Fermi, 1971.
[9] S. A. Kiss,Introduction to Algebraic Logic. Westport, CT: Westport, 1961.
[10] R. Sikorski,Boolean Algebras. New York: Springer Verlag, 1969.
[11] P. J. Cohen,Set Theory and the Continuum Hypothesis. New York: Benjamin, 1966, pp. 107-127.
[12] G. S. Brown,Laws of Form. New York: Bantam, 1973.
[13] F. J. Varela,Principles of Biological Autonomy. New York: Elsevier-N. Holland, 1979.
[14] H. R. Maturana and F. J. Varela,Autopoesis and Cognition. Amsterdam, The Netherlands: D. Reidel, 1980.
[15] W. M. Honig, "Transfinite ordinals as axiom number symbols for unification of quantum and electromagnetic wave functions,"Int. Jour. Theor. Phys., vol. 15, pp. 87-90, 1977.
[16] W. M. Honig, "Logical meanings in quantum mechanics for axioms and for imaginary and transfinite numbers and exponentials," inProc. 1986 NATO Conf.: Quantum Uncertainties, Recent and Future Experiments and Interpretations, 1987.
[17] W. M. Honig, "On the logical status of axioms--As applied in QM and STR," inBull. APS, Washington, DC, vol. 31, 1986, pp. 844.
[18] A. Fraenckel,Abstract Set Theory. New York: North-Holland, 1961, ch. II, III, and pp. 202-209.
[19] A. Fraenckel,Abstract Set Theory. New York: North-Holland, 1966, ch, II, III, and pp. 158-159.
[20] A. Robinson,Non-Standard Analysis. New York: North Holland, 1966, ch. 1-3.
[21] G. Frege,Foundations of Arithmetic. Oxford, U.K.: Blackwell pp. 30-60, 1950.
[22] W. Sierpinski,Cardinal and Ordinal Numbers. Warsaw, Poland: PWN, 1958.
[23] E. Kamke,Theory of Set. New York: Dover, 1950, ch. III, IV.
[24] H. Gonshor,Introduction to the Theory of Surreal Numbers. Cambridge, U. K.: Cambridge University, 1986, p. 3.
[25] J. W. Dauber, "C. S. Pierce's philosophy of infinite sets," inMathematics, People, Problems, Results, Vol. II. Belmont, CA: Campbell, Higgins, and Wadsworth, 1984, pp. 233-247.
[26] J. Buchler,The Philosophical Writings of Pierce. New York: Dover, 1955.
[27] E. Kennard,Kinetic Theory of Gases. New York: McGraw-Hill, 1949, pp. 367-372.
[28] C. Shannon,Mathematical Theory of Communication. Urbana, IL: University of Illinois, 1949.
[29] W. M Honig, "Physical models for hidden variables, non-local particles and all that," inProc. 1987 Gdansk Conf. Problems in Quantum Physics World Scientific, 1988.
[30] G. Boole,The Laws of Thought. New York: Dover, 1925.

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 and Data Engineering, vol. 5, no. 2, pp. 190-203, April 1993, doi:10.1109/69.219730
Usage of this product signifies your acceptance of the Terms of Use.