王浩的生平与学术成就（英文）

发布时间：2019-02-16 03:47

【摘要】：王浩(1921—1995)是国际知名的美籍华裔数理逻辑学家、计算机科学家和哲学家。本文分为三个部分:(1)介绍他的生平与主要论著;(2)论述他在数理逻辑、计算机科学领域的开创性贡献,包括:集合论、和多米诺理论、王氏机器、定理的计算机证明以及逻辑语义学等5个方面;(3)评述他对哲学的贡献。
[Abstract]:Wang Hao (1921-1995) is an internationally renowned Chinese American mathematical logician, computer scientist and philosopher. This paper is divided into three parts: (1) introduction of his life and main works; (2) his pioneering contributions in the fields of mathematical logic and computer science, including: set theory, and dominoes theory, Wang's machine, computer proof of theorems and logical semantics; (3) comment on his contribution to philosophy.
【作者单位】： 中国社会科学院哲学研究所;清华大学哲学系;
【分类号】：B81-092

【相似文献】

相关期刊论文 前6条

1 陈红;计算机科学家——王珊[J];中国人民大学学报;1997年03期

2 李娜;孙雯;;国外逻辑学习软件初探——兼谈国内逻辑学习软件情况[J];逻辑学研究;2011年04期

3 ;小幽默[J];民营科技;2007年06期

4 ;最古老的职业[J];每周电脑报;1998年09期

5 ;剑桥情缘[J];程序员;2004年04期

6 ;[J];;年期

相关重要报纸文章 前8条

1 韩菊　编译;100年后的电脑什么样？[N];计算机世界;2010年

2 ;英计算机科学家认为IT面临七大挑战[N];计算机世界;2005年

3 马文方、贺宏良;灵感：来自与大师同行[N];中国计算机报;2000年

4 吴鹤龄;大器晚成的计算机科学家[N];计算机世界;2000年

5 ;PC：科学与艺术的交融[N];广西日报;2001年

6 张代蕾;谁在跟踪你的“电子足迹”[N];经济参考报;2014年

7 本报记者 陈丹;学术研讨,原来可以这样做[N];科技日报;2010年

8 晶苏传媒首席分析师 财经媒体专栏作家 蔡恩泽;微软也开始“移动”了[N];上海证券报;2014年

，

本文编号：2424010