孙光远 孙光远年年月日原名孙鎕男浙江余杭人中国数学家中国近代数学奠基人之一中国微分几何与数理逻辑研究的先行者