胡世华 胡世华年年月日字子华男浙江吴兴人生于上海中国数理逻辑与数学基础学家中国科学院院士中国科学院计算技术研究所软件研究所研究员中国数理逻辑研究的奠基人理论计算机科学的开拓者清末民初政要胡惟德之子