胡适华笔下人物的一生
1929(民国18年)-1932民国21年，胡适华进入天津南开大学读了两年预科和一年本科，表现出对数学的兴趣。
1932(民国二十一年)，转到北京大学，原本打算学数学，却因为父亲的干预而改为学哲学。
1935(民国二十四年)北京大学毕业，后在该校学习数学。在北京大学学习期间，胡适华与进步学生李、杜聿元等交了朋友，后二人很早就参加了革命。在他们的影响下，胡适华表达了要求进步的意向。但是他们建议他根据自己的具体情况继续学习，于是他走上了学术研究的道路。
1936年(民国二十五年)，胡适华随夏赴欧洲。先后在奥地利维也纳大学、德国西威廉·威斯敏斯特大学、法国和瑞士学习和研究数理逻辑和数学基础，其中主要的是博士论文《伪布尔代数与拓扑基础》。其中建立了拓扑空间中“非完整点”的概念和理论，可以看作是60年代发展起来的非标准分析空间(必然与非标准点的拓扑空间有关)中“非标准点”概念和理论的一个原型。同年，胡世华与夏女士结婚，育有和胡永前。
1941年(民国30年)，回国后，同年8月至1943年2月在广东中山大学数理天文系任副教授。由于他反对腐败的国民党政府和马克思主义思想的影响，他同情革命，支持中国* * *产党，多次包庇中国* * *产党的地下工作者。
1943年(民国三十二年)，胡适华发表《论人造语言》，对一阶谓词演算进行了细致的介绍和解释。
1949，加入中国民主同盟。
1950调任中国科学院数学研究所研究员兼数理逻辑研究室主任，直至1963；期间还担任中国科学技术大学应用数学系工程逻辑教研室主任；1954，加入中国* * *产党。
1956年，在中国科学史上第一个学科规划中，胡适华以图灵破译德国密码的案例阐述了数理逻辑在计算机产生中的重要作用，成为中国第一个强调计算机研究的学者。从1956开始，胡世华也参与了历次国家科学计划的制定。
1958年，胡世华创办了数理逻辑培训班，全国各高校的老师都参加，奠定了高校数理逻辑的基础。西北大学前校长郝等数学家都是当年培训班培养出来的。
1961 7月，胡世华向当时在中科院计算所工作的徐孔石提出，将数学所第四实验室(数理逻辑实验室)整体划归计算所。
1963 10 6月，中国电子学会计算机专业委员会召开第三次全国计算技术经验交流会。胡世华在会上做了总结报告，并主持了数理逻辑组会议。本次大会标志着国内研究人员将数理逻辑与计算机科学技术相结合的开始和努力。
1980当选中国科学院学部委员(院士)，担任计算机科学组组长。
1985，中国科学院软件研究所研究员，兼任北京计算机学院院长、名誉院长。
1990，胡世华在《中国科学》发表了《递归结构-可解论I》和《递归结构论的形式系统与句子的确定性-可解论II》。
1998年4月11，胡适华在北京逝世，享年86岁。