July 11th Wednesday (七月 十一日 水曜日)

 No sooner had I gone into the office than Qianjin who is one of my mates told me that
the testing data of control kind of messages must be modified again.  Oh, my gold!

  Today my task it to test all point types of messages again.  The point types of messages
includes six sub-types AI, AO, DI, DI-sec, DO, DO-sec.  So, there are almost over 100 testing
cases.

  What is mathematics?  Nowadays mathematics is not just from our experiences, it is
not only to describe entities in our reality but also it be made of our minds.  More and more
mathematics conceptions can not map to entities in our real world.

  The ancient greek thought mathematics from intuition thinking.  However, through about
two throunds year, it is not enough that people found intuition as the base of mathematics
building.  The three mathematics crisis in mathematical history proved the actual case.

  I remembered a mathematician said, logic can produce monster.