王浩是美国艺术与科学学院院士，英国科学院外藉院士和符号逻辑学协会会员.1983年在美国丹佛召开的，由人工智能国际联合会会议(LnternationalJointConfernceonArtificialinteIIigence)和美国数学会共同主办的，自动定理证明(AutomatedTheoremProving)特别年会上，王浩被授予首届"里程碑奖"(MilestonePrize)，以表彰他在数学定理机械证明研究领域中所作的开创性贡献.提名时列举的主要贡献有：强调发展应用逻辑新分支--"推理分析"(inferentialanalysis)，其对于数理逻辑的依赖关系类似于数值分析(numericalanalysis)对于数学分析的依赖关系；坚持谓词演算和埃尔布朗(Herbrand)与根岑(Gentzen)形式化的基本作用；设计了证明程序，有效地证明了罗素与怀特海(Whitehead)的《数学原理》中带集式的谓词演算部分的350多条定理；第一个强调在埃尔布朗序列(Herbrandexpansion)中预先消去无用项的算法的重要性；提出一些深思熟虑的谓词演算定理，可用作挑战性问题来帮助判断新的定理证明程序的效能.

华人数学家——侯振挺

【侯氏定理】数学家侯振挺关于马尔可夫过程的研究成果被国际上命名为“侯氏定理”。

侯振挺，我国著名数学家,全国劳动模范。河南省新密人,1936年3月生。1960年唐山铁道学院毕业后,分配到长沙铁道学院执教。1978年加入中国共产党。他是第五、六、七、八届全国人大代表,全国劳动模范。曾任长沙铁道学院教授、博士生导师、副院长、科研所所长、湖南省科协名誉主席。

他长期从事概率论特别是马尔可夫过程的研究,在齐次可列马尔可夫过程构造论中创造了世界领先水平的成果,在可逆马尔可夫过程元穷粒子系统领域作了开创性的工作。马尔可夫过程,是俄国数学家马尔可夫1907年提出的一种数学模型。它概括了自然界一系列随机现象,既属于数学基础理论范畴,又在自然科学、技术科学和社会科学中有广泛的应用价值。马尔可夫过程成为概率论中十分重要的理论分支。他经过10多年的潜心钻研,1974年在《中国科学》上发表论文《Q过程唯一性准则》,就马尔可夫过程论中具有重要理论价值的中心研究课题,创造了令国内外数学界瞩目的科研成果。英国数学家、剑桥大学统计数学研究所所长惠特尔教授致函中国科学院院长提出:“长沙铁道学院的侯振挺,在所谓‘Q过程的存在问题’’中,建立了唯一性准则。鉴于这一非凡的工作,本基金会决定授予他一项戴维逊奖。”“直到这位天才的年轻人发表他的论文以前,所有努力都失败了。他的杰出论文引起了广泛的注意,这是因为他的答案具有完整性和最终性。”因此,1978年的英国皇家学会戴维逊奖,颁发给这位中国普通教师,他成为中国第一位获此殊荣的数学家。同年,还获得全国科学大会奖。他的研究成果被国际数学界称为“侯氏定理”。