王浩的生平与学术成就
Hao Wang’s Life and Achievements

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