王浩的生平与学术成就（英文）

王浩(1921—1995)是国际知名的美籍华裔数理逻辑学家、计算机科学家和哲学家。本文分为三个部分:(1)介绍他的生平与主要论著;(2)论述他在数理逻辑、计算机科学领域的开创性贡献,包括:集合论、和多米诺理论、王氏机器、定理的计算机证明以及逻辑语义学等5个方面;(3)评述他对哲学的贡献。