英文
1921—1995Wáng Hào
简介
美籍华裔数学家.生于山东济南.1943年毕业于西南联大数学系;1945年获清华大学哲学系硕士学位;1948年获美国哈佛大学哲学系博士学位.1949—1953年在哈佛大学做研究工作;1953—1954年任巴勒斯(Burroughs)公司研究工程师;1954年去英国牛津大学，1956—1961年任数理哲学高级讲师;后回哈佛大学任数理逻辑和应用数学麦凯(Mckay)讲座教授;1967年转洛克菲勒大学任逻辑学教授.1953被选为美国艺术与科学学院哲学部院士，1970年当选为英国科学院院士.1985年和1986年被聘为北京大学和清华大学名誉教授.1954年曾应邀在国际数学家大会上作报告.
王浩主要研究数理逻辑、数学基础、计算机科学、哲学等.在形式公理化方面改进了奎因系统，对非直谓集合论进行了研究并做了许多开创性工作.1953年，他提出了更接近于实际数学系统的Σ形式系统，从而使实数理论中的上确界定理、有限覆盖定理、波尔查诺-魏尔斯特拉斯定理等都能得到证明.他还澄清了塔斯基的真理论，提出了“算术翻译”概念等.证明了一阶逻辑中的AEA公式类不可判定性的著名难题.在这过程中他还提出了一种新的铺砖理论，现被称为“王砖”，这一理论已成为研究判定问题、计算复杂性等方面的有力工具.在理论计算机方面，1954年，他提出了与图灵机等价但具有实际计算功能的B机和W机.他是用计算机证明定理的开拓者之一.他在计算机上，证明了罗素(Russell，B.A.W.)和怀特黑德(Whitehead，A.N.)的《数学原理》中的350多条定理.1983年，他曾获人工智能国际联合会和美国数学会的“里程碑(Milestone)”奖.著作有 《数理逻辑综述》(A Survey of Mathematical Logic，1962)、《从数学到哲学》(From Mathematics to Philosophy ，1974)、《计算·逻辑·哲学》(Computation， Logic ，Philosophy ，1990)等.