现代数理逻辑（王浩 近代数理逻辑学家具体什么情况）

每日小编都会为大家带来一些知识类的文章，那么今天小编为大家带来的是王浩 近代数理逻辑学家方面的消息知识，那么如果各位小伙伴感兴趣的话可以，认真的查阅一下下面的内容哦。

1、王浩（1921年5月20日—1995年5月13日）数理逻辑学家。

2、祖籍山东省德州市齐河县，生于山东省济南市。

3、1939年毕业于现山东省济南第一中学，进入西南联大数学系学习，师从金岳霖先生。

4、1943年获学士学位后又入清华大学研究生院哲学部学习，1945年以《论经验知识的基础》的论文获硕士学位。

5、王浩在中学时代就对哲学有兴趣，念初中时他在父亲的建议下阅读过恩格斯的著作《反杜林论》和《路德维希·费尔巴哈与德国古典哲学的终结》。

6、1946年，王浩前往美国哈佛大学，在那里见到了当代美国著名哲学家、逻辑学家奎因（W.V.Quine），并随即开始学习他创立的形式公理系统。

7、两年时间即获哈佛大学哲学博士学位。

8、在哈佛短暂教学之后赴苏黎世与贝奈斯（Paul Bernays）一起工作。

9、1954-1956年，在牛津大学任第二届约翰-洛克讲座主讲，又任逻辑及数理哲学高级教职，主持数学基础讨论班。

10、1961-1967年，任哈佛大学教授。

11、1967-1991年，任洛克菲勒大学逻辑学教授。

12、20世纪50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。

13、1983年，被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”，以表彰他在数学定理机械证明研究领域中所作的开创性贡献。

14、著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。

本文到此结束，希望对大家有所帮助。