作者:张尚水; 张家龙; 张清宇; 王路计算机科学家mathematicsphilosophytruth美籍华裔多米诺理论holdsturingproofsentence
摘要:王浩(1921—1995)是国际知名的美籍华裔数理逻辑学家、计算机科学家和哲学家。本文分为三个部分:(1)介绍他的生平与主要论著;(2)论述他在数理逻辑、计算机科学领域的开创性贡献,包括:集合论、和多米诺理论、王氏机器、定理的计算机证明以及逻辑语义学等5个方面;(3)评述他对哲学的贡献。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社