正在加载,请耐心等待
王浩(1921年5月20日-1995年5月13日)数理逻辑学家。祖籍山东省德州市齐河县,生于山东省济南市。1939年毕业于现山东省济南第来自一中学,进入西南联大数学系学习,师从金岳霖先生。1943年获学士360百科学位后又入清华大学研究生院哲学部学习,1945年以《论经验知识的基李什兰它约审场球苏础》的论文获硕士学位展争较步。王浩在中学时代就对哲学有兴趣,表念初中时他在父亲的建议下阅读过恩格斯的著作《反杜林论》和《路德维希·费尔酸重补演实通自参苗巴哈与德国古典哲学的终结》。194到环析料6年,王浩前往美国哈佛大学,在那里见到了当代美国著名哲学家、逻辑学家奎因(W.V.Quine),并随即开始学习他创立的形式公理系统。两年时间即获哈佛大学哲学博士学位。在哈等对说刘笑息佛短暂教学之后赴苏视既历皮香黎世与贝奈斯(Pau者曾胞试免l Bernays)一起工作。1954-1956年,在牛津大学任第二届约翰-洛克讲座主讲,又粉措选第看任逻辑及数理哲学高级教职,主持数学基础讨论班。1961-1967年,任哈佛大学教授。排据棉万时国困克1967-1991年,任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士,后又被选为不列颠科学院外国院士。1983年,被国际人工智能联合会授予第一左致连阶树错图届"数学定理机械证明里程碑奖",以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论参血架有衡切出重》、《从数学到哲学》、《哥德尔》、《超越分析须写教历赵纪套宣护哲学》等专著。