
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
W.M. Honig, "Logical Organization of Knowledge with Inconsistent and Undecidable Algorithms Using Imaginary and Transfinite Exponential Number Forms in a NonBoolean Field: Part One— Basic Principles," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 2, pp. 190203, April, 1993.  
BibTex  x  
@article{ 10.1109/69.219730, author = {W.M. Honig}, title = {Logical Organization of Knowledge with Inconsistent and Undecidable Algorithms Using Imaginary and Transfinite Exponential Number Forms in a NonBoolean Field: Part One— Basic Principles}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {5}, number = {2}, issn = {10414347}, year = {1993}, pages = {190203}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.219730}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Logical Organization of Knowledge with Inconsistent and Undecidable Algorithms Using Imaginary and Transfinite Exponential Number Forms in a NonBoolean Field: Part One— Basic Principles IS  2 SN  10414347 SP190 EP203 EPD  190203 A1  W.M. Honig, PY  1993 KW  transfinite exponential number forms; nonBoolean field; inconsistent algorithms; mathematical settheoretic 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 VL  5 JA  IEEE Transactions on Knowledge and Data Engineering ER   
In order to consider the organization of knowledge using inconsistent algorithms, a mathematical settheoretic 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 electromagnetic theory,"Foundations of Physics, vol. 6, pp. 3757, 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. 823843, 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. 4550, 237250.
[6] R. Penrose, "The Emperors new mind (and critiques),"Behavioral Brain Sci., pp. 643796, 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 PhysicsEnrico 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. 107127.
[12] G. S. Brown,Laws of Form. New York: Bantam, 1973.
[13] F. J. Varela,Principles of Biological Autonomy. New York: ElsevierN. 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. 8790, 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 axiomsAs applied in QM and STR," inBull. APS, Washington, DC, vol. 31, 1986, pp. 844.
[18] A. Fraenckel,Abstract Set Theory. New York: NorthHolland, 1961, ch. II, III, and pp. 202209.
[19] A. Fraenckel,Abstract Set Theory. New York: NorthHolland, 1966, ch, II, III, and pp. 158159.
[20] A. Robinson,NonStandard Analysis. New York: North Holland, 1966, ch. 13.
[21] G. Frege,Foundations of Arithmetic. Oxford, U.K.: Blackwell pp. 3060, 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. 233247.
[26] J. Buchler,The Philosophical Writings of Pierce. New York: Dover, 1955.
[27] E. Kennard,Kinetic Theory of Gases. New York: McGrawHill, 1949, pp. 367372.
[28] C. Shannon,Mathematical Theory of Communication. Urbana, IL: University of Illinois, 1949.
[29] W. M Honig, "Physical models for hidden variables, nonlocal 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.