張尚水，張家龍，張清宇

中國(guó)社會(huì)科學(xué)院哲學(xué)研究所

zhangjialong@hotmail.com

王路

清華大學(xué)哲學(xué)系

wlwl@tsinghua.edu.cn

?

王浩的生平與學(xué)術(shù)成就

張尚水，張家龍，張清宇

中國(guó)社會(huì)科學(xué)院哲學(xué)研究所

zhangjialong@hotmail.com

王路

清華大學(xué)哲學(xué)系

wlwl@tsinghua.edu.cn

王浩（1921—1995）是國(guó)際知名的美籍華裔數(shù)理邏輯學(xué)家、計(jì)算機(jī)科學(xué)家和哲學(xué)家。本文分為三個(gè)部分：（1）介紹他的生平與主要論著；（2）論述他在數(shù)理邏輯、計(jì)算機(jī)科學(xué)領(lǐng)域的開(kāi)創(chuàng)性貢獻(xiàn)，包括：集合論、???和多米諾理論、王氏機(jī)器、定理的計(jì)算機(jī)證明以及邏輯語(yǔ)義學(xué)等5個(gè)方面；（3）評(píng)述他對(duì)哲學(xué)的貢獻(xiàn)。