1929 (Republic of China 18)-1932 Republic of China 2 1 year, Hu Shihua entered Tianjin Nankai University for two years of preparatory courses and one year of undergraduate courses, showing his interest in mathematics.
1932 (21 years of the Republic of China), transferred to Peking University, originally intended to study mathematics, but changed to study philosophy because of his father's intervention.
1935 (24 years of the Republic of China) graduated from Peking University and studied mathematics in this school. While studying in Peking University, Hu Shihua made friends with progressive students such as Li and Tu Yuyuan, who took part in the revolution very early. Under their influence, Hu Shihua expressed his intention to ask for progress. But they advised him to continue studying according to his own specific situation, so he embarked on the road of academic research.
1936 (25 years of the Republic of China), Hu Shihua went to Europe with the summer. He has studied and studied mathematical logic and mathematical foundations successively in the University of Vienna, German West William university of westminster, France and Switzerland, among which the main one is his doctoral thesis Pseudo-Boolean Algebra and Topological Foundations. Among them, the concept and theory of "nonholonomic point" in topological space are established, which can be regarded as a prototype of the concept and theory of "nonstandard point" in nonstandard analysis space (which must be related to the topological space of nonstandard point) developed in 1960s. In the same year, Hu Shihua married Ms. Xia and had children with Hu Yongqian.
194 1 year (30 years of the Republic of China), after returning to China, from August of the same year to1February 1943, he served as an associate professor in the Department of Mathematics, Physics and Astronomy of Sun Yat-sen University in Guangdong. Because of his opposition to the corrupt Kuomintang government and the influence of Marxist thought, he sympathized with the revolution, supported the China * * * production party, and sheltered the underground workers of the China * * * production party for many times.
1943 (thirty-two years of the Republic of China), Hu Shihua published On Artificial Language, which introduced and explained the first-order predicate calculus in detail.
1949, join China Democratic League.
1950 was transferred to the position of researcher and director of mathematical logic research office of Institute of Mathematics, China Academy of Sciences until1963; During the period, he also served as the director of the Engineering Logic Teaching and Research Section of the Department of Applied Mathematics of China University of Science and Technology; 1954, joined the China * * * production party.
1956, in the first discipline planning in the history of science in China, Hu Shihua expounded the important role of mathematical logic in computer generation with the case of Turing's deciphering German codes, and became the first scholar in China to emphasize computer research. Since 1956, Hu Shihua has also participated in the formulation of previous national science plans.
1958, Hu Shihua founded a training course on mathematical logic, which was attended by teachers from universities all over the country, laying the foundation for mathematical logic in universities. Mathematicians such as Hao, former president of Northwest University, were all trained in the training class that year.
1961July, Hu Shihua proposed to Xu Kongshi, who was working in the Institute of Computing at that time, that the fourth laboratory of the Institute of Mathematics (Mathematical Logic Laboratory) be placed under the overall calculation.
196310 In June, the Computer Professional Committee of the Chinese Institute of Electronics held the third national experience exchange meeting on computing technology. Hu Shihua made a summary report at the meeting and presided over the meeting of mathematical logic group. This conference marks the beginning and efforts of domestic researchers to combine mathematical logic with computer science and technology.
1980 was elected as a member (academician) of the Chinese academy of sciences and served as the head of the computer science group.
1985, researcher of Institute of Software, Chinese Academy of Sciences, concurrently dean and honorary dean of Beijing Computer Institute.
1990, Hu Shihua published "Recursive Structure-Solvability Theory I" and "Formal System of Recursive Structure Theory and Determinism of Sentences-Solvability Theory II" in China Science.
1April 1998 1 1, Hu Shihua died in Beijing at the age of 86.