发布网友 发布时间:2024-07-02 05:08
共1个回答
热心网友 时间:2024-07-21 03:15
胡世华于1912年1月28日出生于繁华的上海市,开始了他的学术生涯。
在青少年时期,他先后求学于1929年至1932年的天津南开大学,然后进一步深造,于1932年至1935年进入北京大学哲学系。这段学习期间,他积累了深厚的理论基础。
1936年至1940年,他赴奥地利维也纳大学和德国西威廉敏思特大学,专攻数学系,并在此期间获得了哲学博士学位,展现了他的卓越才华和求知精神。
回国后,胡世华先是在1941年至1943年期间担任广东中山大学数学天文系的副教授,随后在1943年至1946年在重庆中央大学担任数理逻辑和数学基础教授,教授学生并进行学术研究。
从1946年到1962年,他在北京大学哲学系担任教授,同时在中国科学院数学研究所担任研究员和数理逻辑研究室主任,他的学术影响力进一步扩大。
1950年至1962年,他不仅在北大教授,还兼任中国科学院数学研究所的研究员和数理逻辑研究室主任,以及1958年至1963年期间,他担任中国科学技术大学应用数学系工程逻辑教研室主任,教学与科研并重。
1963年至1985年,他在中国科学院计算技术研究所担任研究员和第九研究室主任,继续在计算机科学领域作出贡献。此外,他还曾担任北京计算机学院院长及名誉院长,对高等教育有着深远影响。
晚年,胡世华于1979年当选为中国科学院院士,1980年开始,他的专业领域扩展至软件研究,继续在计算机科学领域发挥重要作用,直至1985年他担任中国科学院软件研究所的研究员。
胡世华,数理逻辑学家。是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。