Why Hilbert Logic?

James Kuodo Huang

http://www.aiuc.org/

jkuodo@gmail.com

 

Motivation：

1．Try to solve Hilbert second problem and Sixth problems.

2．I saw in many fields especially in computer science people “applying”

Gödel’s incompleteness theorems.

3.  Are there a paradox free logic system?

4.  Build a sound, consistent and complete Boolean logic for all sciences and engineering.

5.  Build a sound, consistent and complete Hilbert logic for all sciences and engineering.

6.  Especially can start to solve Hilbert sixth problems.

7.  Try to build a sound,complete, consistent logic system to solve social science problems.

8.  What will be the mathematical structure of this type logics.

9.  Are there a logic system which can describe most of the real world thing (The answer could be Hilbert Universes?).

 

Major Results:

 

1.      Universal consistent Theorem.

2.      Hilbert logic, Hilbert-Huang logic.

3.      Hilbert-Huang Algebras (What are the differences from Boolean algebra?)

4.      New Logics to be developed etc,

5.      Physical universe logic,

6.      Application to Hilbert sixth problem

7.      Application to Supercomputing and supercomputers.

8.      Application to Hilbert second problem.

9.      Application to social science.

10.  Evolution theory of Hilbert logic.

 

Reference.

 

l        http://www.iitcj.org/

l        http://www.jaiuc.org/

l        http://journal.sseia.org/

l        Hilbert Second Problems and Uncertainty Computing,

Journal of Nanchang Institute of Technology, Vol. 25 (2006) No. 2, Page 36-42

l        “SRM Learning Game Theory With Application to Internet Security and Management Systems”, IEEE Proceedings Grc2007, Page 584-587

l        On Systems Software Engineering with Application to Bioinformatics”, IEEE Proceedings Grc2007, Page 628-631.

l        ”Toward a Complete and Perfect Hilbert’s Axiomatic Logic System”, AMS Miami Conference April 1-2? 2006.

l        ”Programming in Hilbert’s Complete Perfect Logic”, Paper presented in AMS San Francisco Conference, April 29-30. (2006)

l         “ Hilbert Logic, Mathematical Logic and Philosophical logic”, International integrated theorectical computer science journal, Vol(1) (1), ISSN 2154-2236 (print),ISSN 2152-1840(online)

l         “A Simple normal Hilbert Logic.”, International integrated theorectical computer science journal, Vol(1) (2), ISSN 2154-2236 (print),ISSN 2152-1840(online)

l         “A Simple Hilbert Logic For Expert Systems.”, International integrated theorectical computer science journal, Aug. 12, 2010 (3), ISSN 2154-1840 (Online),ISSN 2152-2236(print)

l        “Hilbert Logic verses Boolean Logic”, . Logic, Dynamics and Their Interactions, with a Celebration of the Work of Dan Mauldin - June 4-8, 2012.