%0 Journal Article
%T 王浩的生平与学术成就<br>Hao Wang’s Life and Achievements
%A 张尚水
%A 张家龙
%A 张清宇
%A 王路&lt
%A br&gt
%A Shangshui Zhang
%A Jialong Zhang
%A Qingyu Zhang
%A Lu Wang
%J 逻辑学研究
%D 2016
%X 王浩（1921—1995）是国际知名的美籍华裔数理逻辑学家、计算机科学家和哲学家。本文分为三个部分：(1) 介绍他的生平与主要论著；(2) 论述他在数理逻辑、计算机科学领域的开创性贡献，包括：集合论、898 和多米诺理论、王氏机器、定理的计算机证明以及逻辑语义学等5 个方面；(3) 评述他对哲学的贡献。<br
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract252.shtml