数理逻辑学家、计算机科学家、哲学家王浩
数理逻辑学家、计算机科学家、哲学家王浩
复制标题
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
王天志
中科院分区：
文献类型：
--
作者：
施睿;王天志
王浩（1921.5.20~1995.5.13）,20世纪著名的美籍华裔数理逻辑学家、计算机科学家、哲学家。在数学、哲学以及计算机等领域都有很高的成就，最著名的就是“王机”和“王砖”。先后出版了《从数学到哲学》《超越分析哲学》《哥德尔》等哲学著作。1953年当选为美国文理学院哲学部院士，1970年当选为英国社会科学院外籍院士。1983年，由于王浩在数学定理机械证明领域中的开创性贡献，获得首届“里程碑奖”。