Theoretical Computer Science Journal Series

Editorial of Issue 8-12-2010

James Kuodo Huang, Editor-in-Chief

August 12, 2010

     After my editorial for reforming journal of July 8, 2010 of IITCJ (International Integrated Theoretical Computer Science Journal) appeared on the internet, many academic friends of mine saw the table of content of the test issues of theoretical computer science journals and did not see any of my papers up there. They have one common question “Why didn’t you really support your own journal by submitting your own academic papers?” Therefore I have decided to dedicate my August issue of INTERNATIONAL INTEGRATED THEORETICAL COMPUTER SCIENCE JOURNAL to be a special issue of my publications.  Also I will submit my paper to our journal in the future as well. As Professor John E. Neuberger said one time “It is easier to invite good people to be in your editorial board than to have good papers submitted to your journal.”.  As a matter of fact a good scientific result has to take a long time to prove it. All we can do is to publish it and let time to prove it.

     This special issue will be centered on Hilbert logic which was a term coined by me around 2005 together with my new discovery related to Hilbert second problem. The most well-known of my discovery is the “Universal consistent theorem”, “Fundamental theorem of logic”, “Fundamental theorem of software engineering” and “Fundamental theorem of systems software engineering”.

     I happened to encounter Hilbert problems when I was a first year graduate mathematics student of University of Florida, Gainesville in 1976. Even I have only been staying in UF for two years, but have had wonderful experience there. I passed my Ph.D. qualified written examination in the end of the first year there. In the same year I met great mathematician Paul Erdős there. Professor Erdős was not only a great mathematician but also one of the best mathematicians in the human history.  Besides he is a person with great humanity spirit. Also Paul and I had another common interest in playing a game called “GO”. It is obvious that he had never seriously to learn this game because I can give him two to three stones handicap when I was about only amateur 3 Dan level in 1976. Now I am about amateur (USA) eight Dan or better in GO through my serious doing computerized GO systems research. In UF I had chance to meet professor Stan Ulam who liked to play billiard just like me and he also invented his Ulam’s game of billiard which is very similar to the practice game of the American pool billiard that are playing among those professional pool players in Taiwan and now in whole China as well. Also I got a chance to ask Professor Kazimierz Kuratowski a question how to become a famous mathematician when he gave a talk in the department of mathematics in University of Florida. His answer was if you can live long enough.  In there I also met R. Daniel Mauldin who becomes my academic life time friend. Also I have a chance to meet a very intelligent mathematician, a computer scientist and a software engineer, Edward Horworka. Edward become one of my life time friend and he is the one who told me to solve one of unsolved Hilbert 23 problems can really get one famous in the history. The story goes like this. One day Professor Stan Ulam posed an unsolved problem of his in a seminar.  After the seminar, I was trying 30 minutes and fail to solve that unsolved problem. Then I asked Edward whether I could become famous if I can solve this problem. Edward told me that if you want to be famous by solving one unsolved problem then you can try to solve one of Unsolved Hilbert 23 problems. Afterwards I started to work on Hilbert problems by myself regularly with my free time.  After 1991 I went into industry, I started only work on famous hard unsolved problems which include “NP vs. P problems”. From 1991 to 2005, I have had so many academic results unpublished. In 2005 I have had some break through in Hilbert second problem. Then I began to publish again from 2005 on. I would like to dedicate some of my good papers to our first special issue of August 12, 2010.  Also I would like to dedicate this special issue in memory of the late professor Zuo Xiaoling for his early contribution to this journal. He was also the cofounder of this journal. In the mean time I would like to thank for all the people who have supported us especially for those well-known scientists. Also I would like to thank my brother, my sisters and my mother for their support otherwise this new ISSN version journal might have been delayed their publication.

The scope of the journal could be as follows but not limited to these areas:

     •Algorithms

     •Artificial Intelligence

     •Complexity and Computability

     •Machine Learning

     •Computational Geometry 

     •Cryptography and Security

     •Database Systems and Theory

     •Distributed Computing

     •Logic and Foundation of Computer Science

     •Mathematical Logic and Logic Programming

     •Data Mining

     •Neural Network

     •Game Theory and Economics

     •Fuzzy Sets Theory and Fuzzy Systems

     •Rough Sets Theory

     •Quantum Computing

     •Statistics Computing and Optimization

     •Scientific Computing

•All the good survey papers related to the topics above will be welcome.

 

<<<ENTER TABLE OF CONTENT FROM HERE>>>