Title: Hilbert Logic and Fundamental Theorem of Software Engineering
Author:James Kuodo Huang

---

Description.

     The author is trying to extend Hilbert logic to software engineering. This paper was improved from [5] which was written in 2005. A version modified from [5] had been submitted in 2006. Software engineering is an art and technology but not a science. If we extend Hilbert logic to software engineering, what are the fundamental theorems. This is also considered to be a paper related to a version of twenty-first century Hilbert sixth problem because almost every field is using computer on its applications now. This could be an easy problem to attack and this also could be a very hard problem to work on it. It depends on which field of the problems we try to work on. Especially it is hard for mathematicians and scientists to agree on the same solutions.

References

(1)J. Kuodo Huang,Toward a Complete and Perfect Hilbert Axiomatic Logic System,
    AMS Miami Conference April 1-3 2006.
(2)J. Kuodo Huang, Hilbert Second Problems and Uncertainty Computing,
    Journal of Nanchang Institute of Technology,
   Vol. 25 (2006) No. 2, Page 36-42
(3)J. Kuodo Huang, Programming in Hilbert Complete Perfect Logic ,
   AMS San Francisco Meeting, April 29-30. (2006)
(4) David Hilbert, "Mathematical Problems", Bulletin of the American Mathematical Society
   vol. 8, no. 10 (1902), pp. 437-479.
(5)J. Kuodo Huang, Fundamental Theorem of Software Engineering, (preprint 2005)
(6)J. Kuodo Huang, On Systems Software Engineering with Application to Bioinformatics,
    IEEE Proceedings Grc2007, Page 628-631.
(7)J. Kuodo Huang, Hilbert Logic and Hilbert Problems, (2006 preprint)
(8)J. Kuodo Huang, Hilbert Logic, Mathematical Logic and Philosophical logic,
    International integrated theorectical computer science journal,
    Issue Aug. 12, 2010, ISSN 2154-2236 (Online),ISSN 2152-1840(printed)