王浩的生平与学术成就

张尚水，张家龙，张清宇

中国社会科学院哲学研究所

zhangjialong@hotmail.com

王路

清华大学哲学系

wlwl@tsinghua.edu.cn



王浩的生平与学术成就

张尚水，张家龙，张清宇

中国社会科学院哲学研究所

zhangjialong@hotmail.com

王路

清华大学哲学系

wlwl@tsinghua.edu.cn

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