北京大学数理逻辑著名老师

169次

问题描述:

北京大学数理逻辑著名老师求高手给解答

最佳答案

推荐答案

答案是胡世华,数理逻辑学家。

1946年4月至1962年任北京大学哲学系数理逻辑、数学基础教授。 胡世华,数理逻辑学家。是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的。 在中国把逻辑研究超出哲学的范畴并和数学联系起来的工作是由胡世华先生开始的,他是这方面的开创人,也是国内把逻辑和计算机结合起来进行工作的倡导人。此外他还很关心数学的哲学问题,并在这方面做过在国内有一定影响的工作。

为你推荐